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

Packages that use Term

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

Uses of Term in org.biscuitsec.biscuit.datalog

Subclasses of Term in org.biscuitsec.biscuit.datalog

Modifier and Type	Class	Description
static class	Term.Bool
static class	Term.Bytes
static class	Term.Date
static class	Term.Integer
static class	Term.Set
static class	Term.Str
static class	Term.Variable

Methods in org.biscuitsec.biscuit.datalog that return Term

Modifier and Type	Method	Description
Term	SymbolTable.add(String symbol)

Methods in org.biscuitsec.biscuit.datalog that return types with arguments of type Term

Modifier and Type	Method	Description
io.vavr.control.Option<Map<Long,Term>>	MatchedVariables.check_expressions(List<Expression> expressions, SymbolTable symbols)
io.vavr.control.Option<Map<Long,Term>>	MatchedVariables.complete()
static io.vavr.control.Either<Error.FormatError,Term>	Term.deserialize_enumV2(Schema.TermV2 term)
static io.vavr.control.Either<Error.FormatError,Term>	Term.Bool.deserializeV2(Schema.TermV2 term)
static io.vavr.control.Either<Error.FormatError,Term>	Term.Bytes.deserializeV2(Schema.TermV2 term)
static io.vavr.control.Either<Error.FormatError,Term>	Term.Date.deserializeV2(Schema.TermV2 term)
static io.vavr.control.Either<Error.FormatError,Term>	Term.Integer.deserializeV2(Schema.TermV2 term)
static io.vavr.control.Either<Error.FormatError,Term>	Term.Set.deserializeV2(Schema.TermV2 term)
static io.vavr.control.Either<Error.FormatError,Term>	Term.Str.deserializeV2(Schema.TermV2 term)
static io.vavr.control.Either<Error.FormatError,Term>	Term.Variable.deserializeV2(Schema.TermV2 term)
Optional<Term>	MatchedVariables.get(long key)
io.vavr.control.Option<io.vavr.Tuple2<Origin,Map<Long,Term>>>	Combinator.getNext()
ListIterator<Term>	Predicate.ids_iterator()
io.vavr.Tuple2<Origin,Map<Long,Term>>	Combinator.next()
List<Term>	Predicate.terms()
HashSet<Term>	Term.Set.value()

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

Modifier and Type	Method	Description
boolean	MatchedVariables.insert(long key, Term value)
boolean	Term.Bool.match(Term other)
boolean	Term.Bytes.match(Term other)
boolean	Term.Date.match(Term other)
boolean	Term.Integer.match(Term other)
abstract boolean	Term.match(Term other)
boolean	Term.Set.match(Term other)
boolean	Term.Str.match(Term other)
boolean	Term.Variable.match(Term other)
String	SymbolTable.print_term(Term i)

Constructor parameters in org.biscuitsec.biscuit.datalog with type arguments of type Term

Constructor	Description
Fact(long name, List<Term> terms)
Predicate(long name, List<Term> terms)
Set(HashSet<Term> value)

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

Methods in org.biscuitsec.biscuit.datalog.expressions that return Term

Modifier and Type	Method	Description
Term	Expression.evaluate(Map<Long,Term> variables, TemporarySymbolTable symbols)
Term	Op.Value.getValue()

Method parameters in org.biscuitsec.biscuit.datalog.expressions with type arguments of type Term

Modifier and Type	Method	Description
Term	Expression.evaluate(Map<Long,Term> variables, TemporarySymbolTable symbols)
void	Op.Binary.evaluate(Deque<Term> stack, Map<Long,Term> variables, TemporarySymbolTable symbols)
void	Op.Binary.evaluate(Deque<Term> stack, Map<Long,Term> variables, TemporarySymbolTable symbols)
abstract void	Op.evaluate(Deque<Term> stack, Map<Long,Term> variables, TemporarySymbolTable symbols)
abstract void	Op.evaluate(Deque<Term> stack, Map<Long,Term> variables, TemporarySymbolTable symbols)
void	Op.Unary.evaluate(Deque<Term> stack, Map<Long,Term> variables, TemporarySymbolTable symbols)
void	Op.Unary.evaluate(Deque<Term> stack, Map<Long,Term> variables, TemporarySymbolTable symbols)
void	Op.Value.evaluate(Deque<Term> stack, Map<Long,Term> variables, TemporarySymbolTable symbols)
void	Op.Value.evaluate(Deque<Term> stack, Map<Long,Term> variables, TemporarySymbolTable symbols)

Constructors in org.biscuitsec.biscuit.datalog.expressions with parameters of type Term

Constructor	Description
Value(Term value)

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

Methods in org.biscuitsec.biscuit.token.builder that return Term

Modifier and Type	Method	Description
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)

Methods in org.biscuitsec.biscuit.token.builder with parameters of type Term

Modifier and Type	Method	Description
static Term	Term.convert_from(Term id, SymbolTable symbols)