Package org.biscuitsec.biscuit.datalog

Class World

java.lang.Object

org.biscuitsec.biscuit.datalog.World

All Implemented Interfaces:

Serializable

public class World
extends Object
implements Serializable

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
World()
World(FactSet facts)
World(FactSet facts, RuleSet rules)
World(World w)

Method Summary

Modifier and Type	Method	Description
void	add_fact(Origin origin, Fact fact)
void	add_rule(Long origin, TrustedOrigins scope, Rule rule)
void	clearRules()
FactSet	facts()
String	print(SymbolTable symbol_table)
boolean	query_match(Rule rule, Long origin, TrustedOrigins scope, SymbolTable symbols)
boolean	query_match_all(Rule rule, TrustedOrigins scope, SymbolTable symbols)
FactSet	query_rule(Rule rule, Long origin, TrustedOrigins scope, SymbolTable symbols)
RuleSet	rules()
void	run(RunLimits limits, SymbolTable symbols)
void	run(SymbolTable symbols)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

World

public World()

World

public World(FactSet facts)

World

public World(FactSet facts,
             RuleSet rules)

World

public World(World w)

Method Detail

add_fact

public void add_fact(Origin origin,
                     Fact fact)

add_rule

public void add_rule(Long origin,
                     TrustedOrigins scope,
                     Rule rule)

clearRules

public void clearRules()

run

public void run(SymbolTable symbols)
         throws Error

Throws:

Error

run

public void run(RunLimits limits,
                SymbolTable symbols)
         throws Error

Throws:

Error

facts

public final FactSet facts()

rules

public RuleSet rules()

query_rule

public final FactSet query_rule(Rule rule,
                                Long origin,
                                TrustedOrigins scope,
                                SymbolTable symbols)
                         throws Error

Throws:

Error

query_match

public final boolean query_match(Rule rule,
                                 Long origin,
                                 TrustedOrigins scope,
                                 SymbolTable symbols)
                          throws Error

Throws:

Error

query_match_all

public final boolean query_match_all(Rule rule,
                                     TrustedOrigins scope,
                                     SymbolTable symbols)
                              throws Error

Throws:

Error

print

public String print(SymbolTable symbol_table)