Package org.apache.jena.reasoner.rulesys.impl

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

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

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.