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

Packages that use SymbolTable

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

Uses of SymbolTable in com.clevercloud.biscuit.datalog

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

Modifier and Type	Method	Description
void	Rule.apply(Set<Fact> facts, Set<Fact> new_facts, SymbolTable symbols)
io.vavr.control.Option<Map<Long,Term>>	MatchedVariables.check_expressions(List<Expression> expressions, SymbolTable symbols)
boolean	Rule.find_match(Set<Fact> facts, SymbolTable symbols)
String	World.print(SymbolTable symbol_table)
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)
void	World.run(RunLimits limits, SymbolTable symbols)
void	World.run(SymbolTable symbols)
Term	Term.Bool.toTerm(SymbolTable symbols)
Term	Term.Bytes.toTerm(SymbolTable symbols)
Term	Term.Date.toTerm(SymbolTable symbols)
Term	Term.Integer.toTerm(SymbolTable symbols)
Term	Term.Set.toTerm(SymbolTable symbols)
Term	Term.Str.toTerm(SymbolTable symbols)
abstract Term	Term.toTerm(SymbolTable symbols)
Term	Term.Variable.toTerm(SymbolTable symbols)

Constructors in com.clevercloud.biscuit.datalog with parameters of type SymbolTable

Constructor	Description
Combinator(MatchedVariables variables, List<Predicate> predicates, List<Expression> expressions, Set<Fact> all_facts, SymbolTable symbols)
SymbolTable(SymbolTable s)

Uses of SymbolTable in com.clevercloud.biscuit.datalog.expressions

Methods in com.clevercloud.biscuit.datalog.expressions with parameters of type SymbolTable

Modifier and Type	Method	Description
io.vavr.control.Option<Term>	Expression.evaluate(Map<Long,Term> variables, SymbolTable symbols)
boolean	Op.Binary.evaluate(Deque<Term> stack, Map<Long,Term> variables, SymbolTable symbols)
abstract boolean	Op.evaluate(Deque<Term> stack, Map<Long,Term> variables, SymbolTable symbols)
boolean	Op.Unary.evaluate(Deque<Term> stack, Map<Long,Term> variables, SymbolTable symbols)
boolean	Op.Value.evaluate(Deque<Term> stack, Map<Long,Term> variables, SymbolTable symbols)
io.vavr.control.Option<String>	Expression.print(SymbolTable symbols)
String	Op.Binary.print(Deque<String> stack, SymbolTable symbols)
abstract String	Op.print(Deque<String> stack, SymbolTable symbols)
String	Op.Unary.print(Deque<String> stack, SymbolTable symbols)
String	Op.Value.print(Deque<String> stack, SymbolTable symbols)

Uses of SymbolTable in com.clevercloud.biscuit.token

Methods in com.clevercloud.biscuit.token that return SymbolTable

Modifier and Type	Method	Description
static SymbolTable	UnverifiedBiscuit.default_symbol_table()	Default symbols list

Methods in com.clevercloud.biscuit.token with parameters of type SymbolTable

Modifier and Type	Method	Description
static Biscuit	Biscuit.builder(SecureRandom rng, KeyPair root, SymbolTable symbols)	Creates a token builder
static Biscuit	Biscuit.builder(SecureRandom rng, KeyPair root, io.vavr.control.Option<Integer> root_key_id, SymbolTable symbols)	Creates a token builder
Check	Policy.convert(SymbolTable symbols)
static Biscuit	Biscuit.from_bytes_with_symbols(byte[] data, KeyDelegate delegate, SymbolTable symbols)	Deserializes a Biscuit token from a byte array
static Biscuit	Biscuit.from_bytes_with_symbols(byte[] data, PublicKey root, SymbolTable symbols)	Deserializes a Biscuit token from a byte array
static UnverifiedBiscuit	UnverifiedBiscuit.from_bytes_with_symbols(byte[] data, SymbolTable symbols)	Deserializes a UnverifiedBiscuit from a byte array
static Biscuit	Biscuit.make(SecureRandom rng, KeyPair root, SymbolTable symbols, Block authority)	Deprecated.
static Biscuit	Biscuit.make(SecureRandom rng, KeyPair root, io.vavr.control.Option<Integer> root_key_id, SymbolTable symbols, Block authority)	Creates a token
String	Block.print(SymbolTable symbol_table)	pretty printing for a block

Constructors in com.clevercloud.biscuit.token with parameters of type SymbolTable

Constructor	Description
Block(SymbolTable base_symbols)	creates a new block
Block(SymbolTable base_symbols, String context, List<Fact> facts, List<Rule> rules, List<Check> checks)	creates a new block

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

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

Modifier and Type	Method	Description
Check	Check.convert(SymbolTable symbols)
Expression	Expression.convert(SymbolTable symbols)
Fact	Fact.convert(SymbolTable symbols)
Predicate	Predicate.convert(SymbolTable symbols)
Rule	Rule.convert(SymbolTable symbols)
Term	Term.Bool.convert(SymbolTable symbols)
Term	Term.Bytes.convert(SymbolTable symbols)
abstract Term	Term.convert(SymbolTable symbols)
Term	Term.Date.convert(SymbolTable symbols)
Term	Term.Integer.convert(SymbolTable symbols)
Term	Term.Set.convert(SymbolTable symbols)
Term	Term.Str.convert(SymbolTable symbols)
Term	Term.Variable.convert(SymbolTable symbols)
static Check	Check.convert_from(Check r, SymbolTable symbols)
static Expression	Expression.convert_from(Expression e, SymbolTable symbols)
static Fact	Fact.convert_from(Fact f, SymbolTable symbols)
static Predicate	Predicate.convert_from(Predicate p, SymbolTable symbols)
static Rule	Rule.convert_from(Rule r, SymbolTable symbols)
static Term	Term.convert_from(Term id, SymbolTable symbols)
void	Expression.Binary.toOpcodes(SymbolTable symbols, List<Op> ops)
abstract void	Expression.toOpcodes(SymbolTable symbols, List<Op> ops)
void	Expression.Unary.toOpcodes(SymbolTable symbols, List<Op> ops)
void	Expression.Value.toOpcodes(SymbolTable symbols, List<Op> ops)

Constructors in com.clevercloud.biscuit.token.builder with parameters of type SymbolTable

Constructor	Description
Biscuit(SecureRandom rng, KeyPair root, SymbolTable base_symbols)
Biscuit(SecureRandom rng, KeyPair root, io.vavr.control.Option<Integer> root_key_id, SymbolTable base_symbols)
Block(long index, SymbolTable base_symbols)