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 CciContractElementDispatcher(CciContractTraverser traverser)
{
this.traverser = traverser;
}