Uses of Class
com.clevercloud.biscuit.datalog.Rule

Packages that use Rule

Package	Description
com.clevercloud.biscuit.datalog	Implementation of the Datalog engine for the check language
com.clevercloud.biscuit.token.builder	Builder interface to create tokens and caveats

Uses of Rule in com.clevercloud.biscuit.datalog

Methods in com.clevercloud.biscuit.datalog that return types with arguments of type Rule

Modifier and Type	Method	Description
static io.vavr.control.Either<Error.FormatError,Rule>	Rule.deserializeV2(Schema.RuleV2 rule)
List<Rule>	Check.queries()
List<Rule>	World.rules()

Methods in com.clevercloud.biscuit.datalog with parameters of type Rule

Modifier and Type	Method	Description
void	World.add_rule(Rule rule)
String	SymbolTable.print_rule(Rule r)
String	SymbolTable.print_rule_body(Rule r)
boolean	World.query_match(Rule rule, SymbolTable symbols)
Set<Fact>	World.query_rule(Rule rule, SymbolTable symbols)
Set<Fact>	AuthorizedWorld.queryAll(Rule rule, SymbolTable symbols)

Constructor parameters in com.clevercloud.biscuit.datalog with type arguments of type Rule

Constructor	Description
Check(List<Rule> queries)
World(Set<Fact> facts, List<Rule> rules)
World(Set<Fact> facts, List<Rule> rules, List<Check> checks)

Uses of Rule in com.clevercloud.biscuit.token.builder

Methods in com.clevercloud.biscuit.token.builder that return Rule

Modifier and Type	Method	Description
Rule	Rule.convert(SymbolTable symbols)

Methods in com.clevercloud.biscuit.token.builder with parameters of type Rule

Modifier and Type	Method	Description
static Rule	Rule.convert_from(Rule r, SymbolTable symbols)