agg.ruleappl
Class RuleSequence

java.lang.Object
  extended by agg.ruleappl.RuleSequence

public class RuleSequence
extends java.lang.Object


Constructor Summary
RuleSequence(GraGra gra, CriticalPairOption cpOption)
           
 
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
 

Constructor Detail

RuleSequence

public RuleSequence(GraGra gra,
                    CriticalPairOption cpOption)
Method Detail

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)