agg.ruleappl
Class RuleSequence
java.lang.Object
agg.ruleappl.RuleSequence
public class RuleSequence
- extends java.lang.Object
Method Summary |
void |
addRule(Rule r)
|
boolean |
addRule(java.lang.String rname)
|
boolean |
check()
|
void |
clear()
|
void |
clearResult()
|
void |
dispose()
|
ApplicabilityChecker |
getApplicabilityChecker()
|
Pair<java.lang.Boolean,java.lang.String> |
getApplicabilityResult()
|
java.util.List<ConcurrentRule> |
getApplicableConcurrentRules()
|
boolean |
getCompleteConcurrency()
|
boolean |
getCompleteCPAOfConcurrency()
|
java.util.Iterator<java.util.List<java.util.List<ConcurrentRule>>> |
getConcurrentRules()
|
protected java.util.Map<java.lang.String,java.util.List<java.util.List<ConcurrentRule>>> |
getConcurrentRulesContainer()
|
RuleSequence |
getCopy()
|
int |
getDepthOfConcurrentRule()
|
Graph |
getGraph()
|
int |
getIndexOf(Rule r)
|
protected java.util.List<java.util.List<ConcurrentRule>> |
getListsOfConcurrentRules(Rule r,
int indx)
|
Pair<java.lang.Boolean,java.lang.String> |
getNonApplicabilityResult()
|
Rule |
getRule(int indx)
|
java.util.List<java.lang.String> |
getRuleNames()
|
Pair<java.lang.Boolean,java.util.List<java.lang.String>> |
getRuleResult(int indx,
java.lang.String ruleName,
java.lang.String criterion)
|
java.util.Hashtable<java.lang.String,Pair<java.lang.Boolean,java.util.List<java.lang.String>>> |
getRuleResults()
|
java.util.List<Rule> |
getRules()
|
java.lang.String |
getText()
|
boolean |
isChecked()
|
void |
moveRule(int from,
int to)
|
protected void |
putListsOfConcurrentRules(Rule r,
int indx,
java.util.List<java.util.List<ConcurrentRule>> lists)
|
void |
removeResult()
|
void |
removeRule(int indx)
|
void |
removeRule(Rule r)
|
protected void |
saveConcurrentRules()
|
void |
setApplicabilityResult(boolean result,
java.lang.String criterion)
|
void |
setCompleteConcurrency(boolean b)
|
void |
setCompleteCPAOfConcurrency(boolean b)
|
void |
setDepthOfConcurrentRule(int d)
|
void |
setGraph(Graph g)
|
void |
setNonApplicabilityResult(boolean result,
java.lang.String criterion)
|
void |
setRuleResult(int indx,
java.lang.String ruleName,
boolean result,
java.lang.String criterion,
java.lang.String otherRuleName)
|
void |
setRules(java.util.List<java.lang.String> sequence)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
RuleSequence
public RuleSequence(GraGra gra,
CriticalPairOption cpOption)
dispose
public void dispose()
getApplicabilityChecker
public ApplicabilityChecker getApplicabilityChecker()
getConcurrentRulesContainer
protected java.util.Map<java.lang.String,java.util.List<java.util.List<ConcurrentRule>>> getConcurrentRulesContainer()
getListsOfConcurrentRules
protected java.util.List<java.util.List<ConcurrentRule>> getListsOfConcurrentRules(Rule r,
int indx)
putListsOfConcurrentRules
protected void putListsOfConcurrentRules(Rule r,
int indx,
java.util.List<java.util.List<ConcurrentRule>> lists)
getApplicableConcurrentRules
public java.util.List<ConcurrentRule> getApplicableConcurrentRules()
getConcurrentRules
public java.util.Iterator<java.util.List<java.util.List<ConcurrentRule>>> getConcurrentRules()
clear
public void clear()
clearResult
public void clearResult()
setGraph
public void setGraph(Graph g)
getGraph
public Graph getGraph()
addRule
public void addRule(Rule r)
addRule
public boolean addRule(java.lang.String rname)
setRules
public void setRules(java.util.List<java.lang.String> sequence)
getRule
public Rule getRule(int indx)
getIndexOf
public int getIndexOf(Rule r)
getRules
public java.util.List<Rule> getRules()
getRuleNames
public java.util.List<java.lang.String> getRuleNames()
getText
public java.lang.String getText()
getApplicabilityResult
public Pair<java.lang.Boolean,java.lang.String> getApplicabilityResult()
getNonApplicabilityResult
public Pair<java.lang.Boolean,java.lang.String> getNonApplicabilityResult()
removeResult
public void removeResult()
removeRule
public void removeRule(int indx)
removeRule
public void removeRule(Rule r)
getCopy
public RuleSequence getCopy()
moveRule
public void moveRule(int from,
int to)
isChecked
public boolean isChecked()
setDepthOfConcurrentRule
public void setDepthOfConcurrentRule(int d)
getDepthOfConcurrentRule
public int getDepthOfConcurrentRule()
setCompleteConcurrency
public void setCompleteConcurrency(boolean b)
getCompleteConcurrency
public boolean getCompleteConcurrency()
getCompleteCPAOfConcurrency
public boolean getCompleteCPAOfConcurrency()
setCompleteCPAOfConcurrency
public void setCompleteCPAOfConcurrency(boolean b)
check
public boolean check()
saveConcurrentRules
protected void saveConcurrentRules()
getRuleResults
public java.util.Hashtable<java.lang.String,Pair<java.lang.Boolean,java.util.List<java.lang.String>>> getRuleResults()
getRuleResult
public Pair<java.lang.Boolean,java.util.List<java.lang.String>> getRuleResult(int indx,
java.lang.String ruleName,
java.lang.String criterion)
setRuleResult
public void setRuleResult(int indx,
java.lang.String ruleName,
boolean result,
java.lang.String criterion,
java.lang.String otherRuleName)
setApplicabilityResult
public void setApplicabilityResult(boolean result,
java.lang.String criterion)
setNonApplicabilityResult
public void setNonApplicabilityResult(boolean result,
java.lang.String criterion)