Esempio n. 1
0
            private ExprParamPair GenBlockExec(BlockExecute stmt, ParamList overlapCandidate)
            {
                Contract.Requires <ArgumentNullException>(stmt != null);
                Contract.Ensures(Contract.Result <ExprParamPair>() != null);
                var gen   = new BlockGen(this);
                var block = gen.Generate(stmt.Block);

                return(new ExprParamPair(block, null));
            }
Esempio n. 2
0
 private ExprParamPair GenBlockExec(BlockExecute stmt, ParamList overlapCandidate)
 {
     Contract.Requires<ArgumentNullException>(stmt != null);
     Contract.Ensures(Contract.Result<ExprParamPair>() != null);
     var gen = new BlockGen(this);
     var block = gen.Generate(stmt.Block);
     return new ExprParamPair(block, null);
 }