public bool PredicatesAboutInstance(IContractElement postcondition)
{
var instanceVisitor = new CciContractVisitor(contractProvider);
var expressionTraverser = new CciContractTraverser(contractProvider, instanceVisitor);
expressionTraverser.Traverse(postcondition);
return(instanceVisitor.InstanceIsUsed);
}
public bool PredicatesAboutParameter(IContractElement postcondition)
{
var parameterVisitor = new CciContractParameterVisitor(contractProvider);
var expressionTraverser = new CciContractTraverser(contractProvider, parameterVisitor);
expressionTraverser.Traverse(postcondition);
return(parameterVisitor.UsesAParameter);
}
public void Visit(ILoopInvariant loopInvariant)
{
traverser.Traverse(loopInvariant);
}