Uses of Class
org.biscuitsec.biscuit.datalog.SymbolTable

Packages that use SymbolTable

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

Uses of SymbolTable in org.biscuitsec.biscuit.datalog

Methods in org.biscuitsec.biscuit.datalog with parameters of type SymbolTable

Modifier and Type	Method	Description
java.util.stream.Stream<io.vavr.control.Either<Error,io.vavr.Tuple2<Origin,Fact>>>	Rule.apply(java.util.function.Supplier<java.util.stream.Stream<io.vavr.Tuple2<Origin,Fact>>> factsSupplier, Long ruleOrigin, SymbolTable symbols)
io.vavr.control.Option<Map<Long,Term>>	MatchedVariables.check_expressions(List<Expression> expressions, SymbolTable symbols)
boolean	Rule.check_match_all(FactSet facts, TrustedOrigins scope, SymbolTable symbols)
boolean	Rule.find_match(FactSet facts, Long origin, TrustedOrigins scope, SymbolTable symbols)
String	World.print(SymbolTable symbol_table)
boolean	World.query_match(Rule rule, Long origin, TrustedOrigins scope, SymbolTable symbols)
boolean	World.query_match_all(Rule rule, TrustedOrigins scope, SymbolTable symbols)
FactSet	World.query_rule(Rule rule, Long origin, TrustedOrigins scope, 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 org.biscuitsec.biscuit.datalog with parameters of type SymbolTable

Constructor	Description
Combinator(MatchedVariables variables, List<Predicate> predicates, java.util.function.Supplier<java.util.stream.Stream<io.vavr.Tuple2<Origin,Fact>>> all_facts, SymbolTable symbols)
SymbolTable(SymbolTable s)
TemporarySymbolTable(SymbolTable base)

Uses of SymbolTable in org.biscuitsec.biscuit.datalog.expressions

Methods in org.biscuitsec.biscuit.datalog.expressions with parameters of type SymbolTable

Modifier and Type	Method	Description
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 org.biscuitsec.biscuit.token

Methods in org.biscuitsec.biscuit.token that return SymbolTable

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

Methods in org.biscuitsec.biscuit.token with parameters of type SymbolTable

Modifier and Type	Method	Description
static Biscuit	Biscuit.builder(SecureRandom rng, KeyPair root, io.vavr.control.Option<Integer> root_key_id, SymbolTable symbols)	Creates a token builder
static Biscuit	Biscuit.builder(SecureRandom rng, KeyPair root, SymbolTable symbols)	Creates a token builder
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, Integer root_key_id, SymbolTable symbols, Block authority)	Creates a token
static Biscuit	Biscuit.make(SecureRandom rng, KeyPair root, SymbolTable symbols, Block authority)	Creates a token
String	Block.print(SymbolTable symbol_table)	pretty printing for a block

Constructors in org.biscuitsec.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, List<Scope> scopes, List<PublicKey> publicKeys, io.vavr.control.Option<PublicKey> externalKey, int version)	creates a new block

Uses of SymbolTable in org.biscuitsec.biscuit.token.builder

Methods in org.biscuitsec.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)
Scope	Scope.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 Scope	Scope.convert_from(Scope scope, 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 org.biscuitsec.biscuit.token.builder with parameters of type SymbolTable

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

Uses of SymbolTable in org.biscuitsec.biscuit.token.format

Methods in org.biscuitsec.biscuit.token.format with parameters of type SymbolTable

Modifier and Type	Method	Description
io.vavr.Tuple3<Block,ArrayList<Block>,HashMap<Long,List<Long>>>	SerializedBiscuit.extractBlocks(SymbolTable symbols)