Package org.biscuitsec.biscuit.datalog

Class Rule

java.lang.Object

org.biscuitsec.biscuit.datalog.Rule

All Implemented Interfaces:

Serializable

public final class Rule
extends Object
implements Serializable

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
Rule(Predicate head, List<Predicate> body, List<Expression> expressions)
Rule(Predicate head, List<Predicate> body, List<Expression> expressions, List<Scope> scopes)

Method Summary

Modifier and Type	Method	Description
java.util.stream.Stream<io.vavr.control.Either<Error,io.vavr.Tuple2<Origin,Fact>>>	apply(java.util.function.Supplier<java.util.stream.Stream<io.vavr.Tuple2<Origin,Fact>>> factsSupplier, Long ruleOrigin, SymbolTable symbols)
List<Predicate>	body()
boolean	check_match_all(FactSet facts, TrustedOrigins scope, SymbolTable symbols)
static io.vavr.control.Either<Error.FormatError,Rule>	deserializeV2(Schema.RuleV2 rule)
List<Expression>	expressions()
boolean	find_match(FactSet facts, Long origin, TrustedOrigins scope, SymbolTable symbols)
Predicate	head()
List<Scope>	scopes()
Schema.RuleV2	serialize()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Rule

public Rule(Predicate head,
            List<Predicate> body,
            List<Expression> expressions)

Rule

public Rule(Predicate head,
            List<Predicate> body,
            List<Expression> expressions,
            List<Scope> scopes)

Method Detail

head

public final Predicate head()

body

public final List<Predicate> body()

expressions

public final List<Expression> expressions()

scopes

public List<Scope> scopes()

apply

public java.util.stream.Stream<io.vavr.control.Either<Error,io.vavr.Tuple2<Origin,Fact>>> apply(java.util.function.Supplier<java.util.stream.Stream<io.vavr.Tuple2<Origin,Fact>>> factsSupplier,
                                                                                                            Long ruleOrigin,
                                                                                                            SymbolTable symbols)

find_match

public boolean find_match(FactSet facts,
                          Long origin,
                          TrustedOrigins scope,
                          SymbolTable symbols)
                   throws Error

Throws:

Error

check_match_all

public boolean check_match_all(FactSet facts,
                               TrustedOrigins scope,
                               SymbolTable symbols)
                        throws Error

Throws:

Error

serialize

public Schema.RuleV2 serialize()

deserializeV2

public static io.vavr.control.Either<Error.FormatError,Rule> deserializeV2(Schema.RuleV2 rule)