Class Expression
- java.lang.Object
-
- org.biscuitsec.biscuit.datalog.expressions.Expression
-
public class Expression extends Object
-
-
Constructor Summary
Constructors Constructor Description Expression(ArrayList<Op> ops)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static io.vavr.control.Either<Error.FormatError,Expression>deserializeV2(Schema.ExpressionV2 e)Termevaluate(Map<Long,Term> variables, TemporarySymbolTable symbols)ArrayList<Op>getOps()io.vavr.control.Option<String>print(SymbolTable symbols)Schema.ExpressionV2serialize()
-
-
-
Method Detail
-
evaluate
public Term evaluate(Map<Long,Term> variables, TemporarySymbolTable symbols) throws Error.Execution
- Throws:
Error.Execution
-
print
public io.vavr.control.Option<String> print(SymbolTable symbols)
-
serialize
public Schema.ExpressionV2 serialize()
-
deserializeV2
public static io.vavr.control.Either<Error.FormatError,Expression> deserializeV2(Schema.ExpressionV2 e)
-
-