public CondThenPair(Element cond, NormalStatement stmt) { Contract.Requires <ArgumentNullException>(cond != null); Contract.Requires <ArgumentNullException>(stmt != null); this.Condition = cond; this.Statement = stmt; }
private ExprParamPair GenNormalStmt(NormalStatement stmt, ParamList overlapCandidate) { Contract.Requires <ArgumentNullException>(stmt != null); Contract.Ensures(Contract.Result <ExprParamPair>() != null); if (stmt is Return) { return(GenReturn((Return)stmt, overlapCandidate)); } if (stmt is PhraseChain) { return(GenChain((PhraseChain)stmt, overlapCandidate)); } if (stmt is BlockExecute) { return(GenBlockExec((BlockExecute)stmt, overlapCandidate)); } Contract.Assert(false); throw new InvalidOperationException(); }
private ExprParamPair GenNormalStmt(NormalStatement stmt, ParamList overlapCandidate) { Contract.Requires<ArgumentNullException>(stmt != null); Contract.Ensures(Contract.Result<ExprParamPair>() != null); if (stmt is Return) return GenReturn((Return)stmt, overlapCandidate); if (stmt is PhraseChain) return GenChain((PhraseChain)stmt, overlapCandidate); if (stmt is BlockExecute) return GenBlockExec((BlockExecute)stmt, overlapCandidate); Contract.Assert(false); throw new InvalidOperationException(); }
public CondThenPair(Element cond, NormalStatement stmt) { Contract.Requires<ArgumentNullException>(cond != null); Contract.Requires<ArgumentNullException>(stmt != null); this.Condition = cond; this.Statement = stmt; }