def __init__(self, name=None, abbr=None, schema=None, theories=None, desc=None, owner=None): super(NonrecursiveRuleTheory, self).__init__(name=name, abbr=abbr, theories=theories, schema=schema, desc=desc, owner=owner) # dictionary from table name to list of rules with that table in head self.rules = ruleset.RuleSet() self.kind = base.NONRECURSIVE_POLICY_TYPE if schema is None: self.schema = compile.Schema()
def __init__(self, name=None, abbr=None, schema=None, theories=None, desc=None, owner=None): super(Z3Theory, self).__init__(name=name, abbr=abbr, theories=theories, schema=ast.Schema() if schema is None else schema, desc=desc, owner=owner) LOG.info('z3theory: create %s', name) self.kind = base.Z3_POLICY_TYPE self.rules = ruleset.RuleSet() self.dirty = False self.z3context = None Z3Context.get_context().register(self)
def __init__(self, name=None, abbr=None, schema=None, theories=None, desc=None, owner=None): super(NonrecursiveRuleTheory, self).__init__(name=name, abbr=abbr, theories=theories, schema=schema, desc=desc, owner=owner) # dictionary from table name to list of rules with that table in head self.rules = ruleset.RuleSet() self.kind = base.NONRECURSIVE_POLICY_TYPE if schema is None: self.schema = compile.Schema() # Indicates that a rule was added/removed # Used by the compiler to know if a theory should be recompiled. self.dirty = False
def __init__(self, name, theories): super(MinTheory, self).__init__(name=name, theories=theories) self.rules = ruleset.RuleSet() self.schema = ast.Schema()
def setUp(self): super(TestRuleSet, self).setUp() self.ruleset = ruleset.RuleSet()