Module org.apache.jena.core
Class EnvironmentFrameWithDerivation
java.lang.Object
org.apache.jena.reasoner.rulesys.impl.FrameObject
org.apache.jena.reasoner.rulesys.impl.EnvironmentFrame
org.apache.jena.reasoner.rulesys.impl.EnvironmentFrameWithDerivation
Extension of the normal AND-stack environment frame to support
incremental derivation logging.
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionReturn a safe copy of the list of matched subgoals in this subderivation.Return the final instantiated goal given the current binding state.void
initDerivationRecord
(Node[] args) Create an initial derivation record for this frame, based on the given argument registers.void
noteMatch
(TriplePattern pattern, int pc) Instantiate and record a matched subgoalMethods inherited from class org.apache.jena.reasoner.rulesys.impl.EnvironmentFrame
allocate, getRule, toString
Methods inherited from class org.apache.jena.reasoner.rulesys.impl.FrameObject
close, fastLinkTo, getLink, linkTo
-
Constructor Details
-
EnvironmentFrameWithDerivation
Constructor- Parameters:
clause
- the compiled code being interpreted by this env frame
-
-
Method Details
-
noteMatch
Instantiate and record a matched subgoal -
getResult
Return the final instantiated goal given the current binding state. -
getMatchList
Return a safe copy of the list of matched subgoals in this subderivation. -
initDerivationRecord
Create an initial derivation record for this frame, based on the given argument registers.
-