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