Uses of Class
com.clevercloud.biscuit.token.builder.Term

Packages that use Term

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
com.clevercloud.biscuit.token.builder.parser

Uses of Term in com.clevercloud.biscuit.datalog

Methods in com.clevercloud.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 com.clevercloud.biscuit.token.builder

Subclasses of Term in com.clevercloud.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 com.clevercloud.biscuit.token.builder declared as Term

Modifier and Type	Field	Description
Term	Expression.Value.value

Methods in com.clevercloud.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 com.clevercloud.biscuit.token.builder that return types with arguments of type Term

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

Methods in com.clevercloud.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 com.clevercloud.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 com.clevercloud.biscuit.token.builder with parameters of type Term

Constructor	Description
Value(Term value)

Constructor parameters in com.clevercloud.biscuit.token.builder with type arguments of type Term

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

Uses of Term in com.clevercloud.biscuit.token.builder.parser

Methods in com.clevercloud.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)