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