org.provarules.kernel2

Interface ProvaRule

All Known Implementing Classes:

ProvaRuleImpl

public interface ProvaRule

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()
ProvaRule	cloneRule()
ProvaRule	cloneRule(boolean cloneVariables)
java.util.List<ProvaVariable>	cloneVariables()
void	collectVariables()
void	collectVariables(int offset)
void	computeSourceCode()
long	getAbsRuleId()
ProvaLiteral[]	getBody()
java.lang.Object	getFirstArg()
ProvaLiteral[]	getGuardedBody(ProvaLiteral sourceLiteral)
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> newLiterals)
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)

Method Detail

collectVariables

void collectVariables()

getVariables

java.util.List<ProvaVariable> getVariables()

cloneVariables

java.util.List<ProvaVariable> cloneVariables()

getHead

ProvaLiteral getHead()

getBody

ProvaLiteral[] getBody()

getRuleId

long getRuleId()

cloneRule

ProvaRule cloneRule()

advance

boolean advance()

getTop

ProvaLiteral getTop()

setVariables

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

substituteVariables

void substituteVariables(ProvaVariablePtr[] varsMap)

setRuleId

void setRuleId(long ruleId)

getOffset

int getOffset()

addBodyLiteral

void addBodyLiteral(ProvaLiteral literal)

replaceTopBodyLiteral

void replaceTopBodyLiteral(java.util.List<ProvaLiteral> newLiterals)

cloneRule

ProvaRule cloneRule(boolean cloneVariables)

collectVariables

void collectVariables(int offset)

getFirstArg

java.lang.Object getFirstArg()

removeAt

void removeAt(int index)

setRemoved

void setRemoved()

isRemoved

boolean isRemoved()

isCut

boolean isCut()

getSourceCode

java.lang.String getSourceCode()

computeSourceCode

void computeSourceCode()

setMetadata

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

getMetadata

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

addMetadata

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

getMetadata

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

setLine

void setLine(int line)

getLine

int getLine()

getGuardedBody

ProvaLiteral[] getGuardedBody(ProvaLiteral sourceLiteral)

setSrc

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

getAbsRuleId

long getAbsRuleId()