Ejemplos de Analysis.Cci CciContractTraverser.Traverse en C# (CSharp)

Ejemplo n.º 1

        public bool PredicatesAboutInstance(IContractElement postcondition)
        {
            var instanceVisitor     = new CciContractVisitor(contractProvider);
            var expressionTraverser = new CciContractTraverser(contractProvider, instanceVisitor);

            expressionTraverser.Traverse(postcondition);
            return(instanceVisitor.InstanceIsUsed);
        }

Ejemplo n.º 2

        public bool PredicatesAboutParameter(IContractElement postcondition)
        {
            var parameterVisitor    = new CciContractParameterVisitor(contractProvider);
            var expressionTraverser = new CciContractTraverser(contractProvider, parameterVisitor);

            expressionTraverser.Traverse(postcondition);
            return(parameterVisitor.UsesAParameter);
        }

Ejemplo n.º 3

 public void Visit(ILoopInvariant loopInvariant)
 {
     traverser.Traverse(loopInvariant);
 }