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
-
public class EnvironmentFrameWithDerivation extends EnvironmentFrame
Extension of the normal AND-stack environment frame to support incremental derivation logging.
-
-
Constructor Summary
Constructors Constructor Description EnvironmentFrameWithDerivation(RuleClauseCode clause)
Constructor
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.List<Triple>
getMatchList()
Return a safe copy of the list of matched subgoals in this subderivation.Triple
getResult()
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 subgoal-
Methods 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 Detail
-
EnvironmentFrameWithDerivation
public EnvironmentFrameWithDerivation(RuleClauseCode clause)
Constructor- Parameters:
clause
- the compiled code being interpreted by this env frame
-
-
Method Detail
-
noteMatch
public void noteMatch(TriplePattern pattern, int pc)
Instantiate and record a matched subgoal
-
getResult
public Triple getResult()
Return the final instantiated goal given the current binding state.
-
getMatchList
public java.util.List<Triple> getMatchList()
Return a safe copy of the list of matched subgoals in this subderivation.
-
initDerivationRecord
public void initDerivationRecord(Node[] args)
Create an initial derivation record for this frame, based on the given argument registers.
-
-