Пример #1
0
        public bool PredicatesAboutInstance(IContractElement postcondition)
        {
            var instanceVisitor     = new CciContractVisitor(contractProvider);
            var expressionTraverser = new CciContractTraverser(contractProvider, instanceVisitor);

            expressionTraverser.Traverse(postcondition);
            return(instanceVisitor.InstanceIsUsed);
        }
Пример #2
0
        public bool PredicatesAboutParameter(IContractElement postcondition)
        {
            var parameterVisitor    = new CciContractParameterVisitor(contractProvider);
            var expressionTraverser = new CciContractTraverser(contractProvider, parameterVisitor);

            expressionTraverser.Traverse(postcondition);
            return(parameterVisitor.UsesAParameter);
        }
Пример #3
0
 public CciContractElementDispatcher(CciContractTraverser traverser)
 {
     this.traverser = traverser;
 }