Exemplo n.º 1
0
            private ExprParamPair GenDefun(Defun stmt)
            {
                Contract.Requires <ArgumentNullException>(stmt != null);
                Contract.Ensures(Contract.Result <ExprParamPair>() != null);
                var gen = new DefunGen(this);

                return(gen.Generate(stmt));
            }
Exemplo n.º 2
0
 private ExprParamPair GenDefun(Defun stmt)
 {
     Contract.Requires<ArgumentNullException>(stmt != null);
     Contract.Ensures(Contract.Result<ExprParamPair>() != null);
     var gen = new DefunGen(this);
     return gen.Generate(stmt);
 }