Uses of Class
org.biscuitsec.biscuit.datalog.Origin
-
Packages that use Origin Package Description org.biscuitsec.biscuit.datalog Implementation of the Datalog engine for the check language -
-
Uses of Origin in org.biscuitsec.biscuit.datalog
Methods in org.biscuitsec.biscuit.datalog that return Origin Modifier and Type Method Description static OriginOrigin. authorizer()OriginOrigin. clone()OriginOrigin. union(Origin other)Methods in org.biscuitsec.biscuit.datalog that return types with arguments of type Origin Modifier and Type Method Description java.util.stream.Stream<io.vavr.control.Either<Error,io.vavr.Tuple2<Origin,Fact>>>Rule. apply(java.util.function.Supplier<java.util.stream.Stream<io.vavr.Tuple2<Origin,Fact>>> factsSupplier, Long ruleOrigin, SymbolTable symbols)HashMap<Origin,HashSet<Fact>>FactSet. facts()io.vavr.control.Option<io.vavr.Tuple2<Origin,Map<Long,Term>>>Combinator. getNext()io.vavr.Tuple2<Origin,Map<Long,Term>>Combinator. next()Methods in org.biscuitsec.biscuit.datalog with parameters of type Origin Modifier and Type Method Description voidFactSet. add(Origin origin, Fact fact)voidWorld. add_fact(Origin origin, Fact fact)booleanTrustedOrigins. contains(Origin factOrigin)OriginOrigin. union(Origin other)Method parameters in org.biscuitsec.biscuit.datalog with type arguments of type Origin Modifier and Type Method Description java.util.stream.Stream<io.vavr.control.Either<Error,io.vavr.Tuple2<Origin,Fact>>>Rule. apply(java.util.function.Supplier<java.util.stream.Stream<io.vavr.Tuple2<Origin,Fact>>> factsSupplier, Long ruleOrigin, SymbolTable symbols)Constructors in org.biscuitsec.biscuit.datalog with parameters of type Origin Constructor Description FactSet(Origin o, HashSet<Fact> factSet)Constructor parameters in org.biscuitsec.biscuit.datalog with type arguments of type Origin Constructor Description Combinator(MatchedVariables variables, List<Predicate> predicates, java.util.function.Supplier<java.util.stream.Stream<io.vavr.Tuple2<Origin,Fact>>> all_facts, SymbolTable symbols)
-