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

Packages that use Term

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

Uses of Term in org.biscuitsec.biscuit.datalog

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

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

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

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

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

Fields in org.biscuitsec.biscuit.token.builder declared as Term

Modifier and Type	Field	Description
Term	Expression.Value.value

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

Modifier and Type	Method	Description
static Term	Term.convert_from(Term id, SymbolTable symbols)
static Term	Utils.date(Date d)
static Term	Utils.integer(long i)
static Term	Utils.s(String str)
static Term	Utils.set(HashSet<Term> s)
static Term	Utils.string(String s)
static Term	Utils.var(String name)

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

Modifier and Type	Method	Description
List<Term>	Predicate.getTerms()
Set<Term>	Term.Set.getValue()
List<Term>	Fact.terms()

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

Modifier and Type	Method	Description
Fact	Fact.set(String name, Term term)
void	Rule.set(String name, Term term)

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

Modifier and Type	Method	Description
static Rule	Utils.constrained_rule(String head_name, List<Term> head_ids, List<Predicate> predicates, List<Expression> expressions)
static Fact	Utils.fact(String name, List<Term> ids)
static Predicate	Utils.pred(String name, List<Term> ids)
static Rule	Utils.rule(String head_name, List<Term> head_ids, List<Predicate> predicates)
static Term	Utils.set(HashSet<Term> s)

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

Constructor	Description
Value(Term value)

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

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

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

Methods in org.biscuitsec.biscuit.token.builder.parser that return types with arguments of type Term

Modifier and Type	Method	Description
static io.vavr.control.Either<Error,io.vavr.Tuple2<String,Term>>	Parser.fact_term(String s)
static io.vavr.control.Either<Error,io.vavr.Tuple2<String,Term>>	Parser.term(String s)