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)); }
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); }