Package com.clevercloud.biscuit.datalog

Class Term.Set

java.lang.Object

com.clevercloud.biscuit.datalog.Term

com.clevercloud.biscuit.datalog.Term.Set

All Implemented Interfaces:

Serializable

Enclosing class:

Term

public static final class Term.Set
extends Term
implements Serializable

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class com.clevercloud.biscuit.datalog.Term

Term.Bool, Term.Bytes, Term.Date, Term.Integer, Term.Set, Term.Str, Term.Variable

Constructor Summary

Constructors

Constructor	Description
Set(HashSet<Term> value)

Method Summary

Modifier and Type	Method	Description
static io.vavr.control.Either<Error.FormatError,Term>	deserializeV2(Schema.TermV2 term)
boolean	equals(Object o)
int	hashCode()
boolean	match(Term other)
Schema.TermV2	serialize()
String	toString()
Term	toTerm(SymbolTable symbols)
HashSet<Term>	value()

Methods inherited from class com.clevercloud.biscuit.datalog.Term

deserialize_enumV2

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Set

public Set(HashSet<Term> value)

Method Detail

value

public HashSet<Term> value()

match

public boolean match(Term other)

Specified by:

match in class Term

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

serialize

public Schema.TermV2 serialize()

Specified by:

serialize in class Term

deserializeV2

public static io.vavr.control.Either<Error.FormatError,Term> deserializeV2(Schema.TermV2 term)

toTerm

public Term toTerm(SymbolTable symbols)

Specified by:

toTerm in class Term