public override Statement VisitAssumption(Assumption assumption) {
bool savedInsideAssertion = this.insideAssertion;
this.insideAssertion = true;
try {
return base.VisitAssumption(assumption);
} finally {
this.insideAssertion = savedInsideAssertion;
}
}
public virtual Statement VisitAssumption(Assumption assumption)
{
if (assumption == null) return null;
assumption.Condition = this.VisitExpression(assumption.Condition);
return assumption;
}
private Assumption ParseAssumption(TokenSet followers){
Debug.Assert(this.currentToken == Token.Assume);
Assumption result = new Assumption();
result.SourceContext = this.scanner.CurrentSourceContext;
this.GetNextToken();
result.Condition = this.ParseExpression(followers|Token.Semicolon);
this.SkipSemiColon(followers);
return result;
}
public override Statement VisitAssumption(Assumption Assumption)
{
if (Assumption == null) return null;
return base.VisitAssumption((Assumption)Assumption.Clone());
}
public EventingVisitor(Action<Assumption> visitAssumption) { VisitedAssumption += visitAssumption; } public event Action<Assumption> VisitedAssumption; public override Statement VisitAssumption(Assumption assumption) { if (VisitedAssumption != null) VisitedAssumption(assumption); return base.VisitAssumption(assumption); }