org.provarules.reference2

Class ProvaRuleImpl

java.lang.Object

org.provarules.reference2.ProvaRuleImpl

All Implemented Interfaces:

ProvaRule

public class ProvaRuleImpl
extends java.lang.Object
implements ProvaRule

Constructor Summary

Constructors

Constructor and Description
ProvaRuleImpl(long ruleId, ProvaLiteral head, ProvaLiteral[] body)
ProvaRuleImpl(long ruleId, ProvaLiteral head, ProvaLiteral[] body, boolean addInFront)
ProvaRuleImpl(long ruleId, ProvaLiteral head, ProvaLiteral[] body, java.util.List<ProvaVariable> variables)
ProvaRuleImpl(ProvaLiteral[] body)

Method Summary

Modifier and Type	Method and Description
void	addBodyLiteral(ProvaLiteral literal)
void	addMetadata(java.util.Map<java.lang.String,java.util.List<java.lang.Object>> m)
boolean	advance() Advance the goal to the next query
ProvaRule	cloneRule()
ProvaRule	cloneRule(boolean cloneVariables)
java.util.List<ProvaVariable>	cloneVariables()
void	collectVariables()
void	collectVariables(int offset)
void	computeSourceCode()
static ProvaRule	createVirtualRule(long ruleId, ProvaLiteral head, ProvaLiteral[] body)
long	getAbsRuleId()
ProvaLiteral[]	getBody()
java.lang.Object	getFirstArg()
ProvaLiteral[]	getGuardedBody(ProvaLiteral sourceLiteral) Get body with a prefix containing guard literals if sourceLiteral is ProvaGuardedLiteralImpl
ProvaLiteral	getHead()
int	getLine()
java.util.Map<java.lang.String,java.util.List<java.lang.Object>>	getMetadata()
java.util.List<java.lang.Object>	getMetadata(java.lang.String property)
int	getOffset()
long	getRuleId()
java.lang.String	getSourceCode()
ProvaLiteral	getTop()
java.util.List<ProvaVariable>	getVariables()
boolean	isCut()
boolean	isRemoved()
void	removeAt(int index)
void	replaceTopBodyLiteral(java.util.List<ProvaLiteral> literals)
void	setBody(ProvaLiteral[] body)
void	setHead(ProvaLiteral head)
void	setLine(int line)
void	setMetadata(java.lang.String property, java.util.List<java.lang.Object> value)
void	setRemoved()
void	setRuleId(long ruleId)
void	setSrc(java.util.List<java.lang.Object> value)
void	setVariables(java.util.List<ProvaVariable> variables)
void	substituteVariables(ProvaVariablePtr[] varsMap)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ProvaRuleImpl

public ProvaRuleImpl(long ruleId,
                     ProvaLiteral head,
                     ProvaLiteral[] body)

ProvaRuleImpl

public ProvaRuleImpl(long ruleId,
                     ProvaLiteral head,
                     ProvaLiteral[] body,
                     boolean addInFront)

ProvaRuleImpl

public ProvaRuleImpl(ProvaLiteral[] body)

ProvaRuleImpl

public ProvaRuleImpl(long ruleId,
                     ProvaLiteral head,
                     ProvaLiteral[] body,
                     java.util.List<ProvaVariable> variables)

Method Detail

createVirtualRule

public static ProvaRule createVirtualRule(long ruleId,
                                          ProvaLiteral head,
                                          ProvaLiteral[] body)

collectVariables

public void collectVariables()

Specified by:

collectVariables in interface ProvaRule

collectVariables

public void collectVariables(int offset)

Specified by:

collectVariables in interface ProvaRule

substituteVariables

public void substituteVariables(ProvaVariablePtr[] varsMap)

Specified by:

substituteVariables in interface ProvaRule

setVariables

public void setVariables(java.util.List<ProvaVariable> variables)

Specified by:

setVariables in interface ProvaRule

getVariables

public java.util.List<ProvaVariable> getVariables()

Specified by:

getVariables in interface ProvaRule

setHead

public void setHead(ProvaLiteral head)

getHead

public ProvaLiteral getHead()

Specified by:

getHead in interface ProvaRule

setBody

public void setBody(ProvaLiteral[] body)

getBody

public ProvaLiteral[] getBody()

Specified by:

getBody in interface ProvaRule

getGuardedBody

public ProvaLiteral[] getGuardedBody(ProvaLiteral sourceLiteral)

Get body with a prefix containing guard literals if sourceLiteral is ProvaGuardedLiteralImpl

Specified by:

getGuardedBody in interface ProvaRule

setRuleId

public void setRuleId(long ruleId)

Specified by:

setRuleId in interface ProvaRule

getRuleId

public long getRuleId()

Specified by:

getRuleId in interface ProvaRule

getAbsRuleId

public long getAbsRuleId()

Specified by:

getAbsRuleId in interface ProvaRule

cloneRule

public ProvaRule cloneRule()

Specified by:

cloneRule in interface ProvaRule

cloneRule

public ProvaRule cloneRule(boolean cloneVariables)

Specified by:

cloneRule in interface ProvaRule

cloneVariables

public java.util.List<ProvaVariable> cloneVariables()

Specified by:

cloneVariables in interface ProvaRule

advance

public boolean advance()

Advance the goal to the next query

Specified by:

advance in interface ProvaRule

Returns:

True if the next query is fail

getTop

public ProvaLiteral getTop()

Specified by:

getTop in interface ProvaRule

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getOffset

public int getOffset()

Specified by:

getOffset in interface ProvaRule

addBodyLiteral

public void addBodyLiteral(ProvaLiteral literal)

Specified by:

addBodyLiteral in interface ProvaRule

replaceTopBodyLiteral

public void replaceTopBodyLiteral(java.util.List<ProvaLiteral> literals)

Specified by:

replaceTopBodyLiteral in interface ProvaRule

getFirstArg

public java.lang.Object getFirstArg()

Specified by:

getFirstArg in interface ProvaRule

removeAt

public void removeAt(int index)

Specified by:

removeAt in interface ProvaRule

isRemoved

public boolean isRemoved()

Specified by:

isRemoved in interface ProvaRule

setRemoved

public void setRemoved()

Specified by:

setRemoved in interface ProvaRule

isCut

public boolean isCut()

Specified by:

isCut in interface ProvaRule

getSourceCode

public java.lang.String getSourceCode()

Specified by:

getSourceCode in interface ProvaRule

computeSourceCode

public void computeSourceCode()

Specified by:

computeSourceCode in interface ProvaRule

setMetadata

public void setMetadata(java.lang.String property,
                        java.util.List<java.lang.Object> value)

Specified by:

setMetadata in interface ProvaRule

setSrc

public void setSrc(java.util.List<java.lang.Object> value)

Specified by:

setSrc in interface ProvaRule

getMetadata

public java.util.List<java.lang.Object> getMetadata(java.lang.String property)

Specified by:

getMetadata in interface ProvaRule

addMetadata

public void addMetadata(java.util.Map<java.lang.String,java.util.List<java.lang.Object>> m)

Specified by:

addMetadata in interface ProvaRule

getMetadata

public java.util.Map<java.lang.String,java.util.List<java.lang.Object>> getMetadata()

Specified by:

getMetadata in interface ProvaRule

setLine

public void setLine(int line)

Specified by:

setLine in interface ProvaRule

getLine

public int getLine()

Specified by:

getLine in interface ProvaRule