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