public static bool UsesModel(Node node, ContractNodes contractNodes)
 {
     CodeInspector ifrv = new CodeInspector(ContractNodes.ModelAttributeName, contractNodes, null, false);
     
     ifrv.Visit(node);
     
     return ifrv.foundAttribute;
 }
Beispiel #2
0
        public static bool UsesModel(Node node, ContractNodes contractNodes)
        {
            CodeInspector ifrv = new CodeInspector(ContractNodes.ModelAttributeName, contractNodes, null, false);

            ifrv.Visit(node);

            return(ifrv.foundAttribute);
        }
        public static bool IsRuntimeIgnored(Node node, ContractNodes contractNodes, TypeNode referencingType, bool skipQuantifiers)
        {
            CodeInspector ifrv = new CodeInspector(
                ContractNodes.RuntimeIgnoredAttributeName, contractNodes, referencingType, skipQuantifiers);
            
            ifrv.Visit(node);

            return ifrv.foundAttribute;
        }
Beispiel #4
0
        public static bool IsRuntimeIgnored(Node node, ContractNodes contractNodes, TypeNode referencingType, bool skipQuantifiers)
        {
            CodeInspector ifrv = new CodeInspector(
                ContractNodes.RuntimeIgnoredAttributeName, contractNodes, referencingType, skipQuantifiers);

            ifrv.Visit(node);

            return(ifrv.foundAttribute);
        }