agg.ruleappl
Class ApplRuleSequence

java.lang.Object
  extended by agg.ruleappl.ApplRuleSequence
All Implemented Interfaces:
XMLObject

public class ApplRuleSequence
extends java.lang.Object
implements XMLObject


Constructor Summary
ApplRuleSequence(CriticalPairOption cpOption)
           
 
Method Summary
 void addRuleSequence(RuleSequence sequence)
           
 void addRuleSequenceAt(int indx, RuleSequence sequence)
           
 boolean check(int seqIndx)
           
 boolean check(RuleSequence sequence)
           
 void clear()
           
 RuleSequence copyRuleSequence(int seqIndx)
           
 void dispose()
           
 Pair<java.lang.Boolean,java.lang.String> getApplicabilityResult(int indx)
           
 GraGra getGraGra()
           
 int getIndexOf(RuleSequence sequence)
           
 Pair<java.lang.Boolean,java.lang.String> getNonApplicabilityResult(int indx)
           
 Pair<java.lang.Boolean,java.util.List<java.lang.String>> getRuleResult(int seqIndx, int indx, java.lang.String ruleName, java.lang.String criterion)
           
 RuleSequence getRuleSequence(int indx)
           
 java.util.List<RuleSequence> getRuleSequences()
           
 boolean hasChecked(int seqIndx)
           
 boolean isEmpty()
           
 GraGra load(java.lang.String filename)
           
 GraGra load(java.lang.String filename, XMLHelper h)
           
 void moveRuleInsideSequence(int seqIndx, int from, int to)
           
 void moveRuleSequence(int from, int to)
           
 boolean removeResult(int indx)
           
 boolean removeRuleSequence(int indx)
           
 void save(java.lang.String filename)
           
 void setGraGra(GraGra gra)
           
 void setGraphOfRuleSequence(int indx, Graph g)
           
 void XreadObject(XMLHelper h)
           
 void XwriteObject(XMLHelper h)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ApplRuleSequence

public ApplRuleSequence(CriticalPairOption cpOption)
Method Detail

dispose

public void dispose()

clear

public void clear()

setGraGra

public void setGraGra(GraGra gra)

getGraGra

public GraGra getGraGra()

isEmpty

public boolean isEmpty()

getRuleSequences

public java.util.List<RuleSequence> getRuleSequences()

getRuleSequence

public RuleSequence getRuleSequence(int indx)

getApplicabilityResult

public Pair<java.lang.Boolean,java.lang.String> getApplicabilityResult(int indx)

getNonApplicabilityResult

public Pair<java.lang.Boolean,java.lang.String> getNonApplicabilityResult(int indx)

removeResult

public boolean removeResult(int indx)

addRuleSequence

public void addRuleSequence(RuleSequence sequence)

addRuleSequenceAt

public void addRuleSequenceAt(int indx,
                              RuleSequence sequence)

setGraphOfRuleSequence

public void setGraphOfRuleSequence(int indx,
                                   Graph g)

removeRuleSequence

public boolean removeRuleSequence(int indx)

copyRuleSequence

public RuleSequence copyRuleSequence(int seqIndx)

moveRuleSequence

public void moveRuleSequence(int from,
                             int to)

moveRuleInsideSequence

public void moveRuleInsideSequence(int seqIndx,
                                   int from,
                                   int to)

hasChecked

public boolean hasChecked(int seqIndx)

getRuleResult

public Pair<java.lang.Boolean,java.util.List<java.lang.String>> getRuleResult(int seqIndx,
                                                                              int indx,
                                                                              java.lang.String ruleName,
                                                                              java.lang.String criterion)

check

public boolean check(int seqIndx)

check

public boolean check(RuleSequence sequence)

getIndexOf

public int getIndexOf(RuleSequence sequence)

save

public void save(java.lang.String filename)

load

public GraGra load(java.lang.String filename)
            throws java.lang.Exception
Throws:
java.lang.Exception

load

public GraGra load(java.lang.String filename,
                   XMLHelper h)
            throws java.lang.Exception
Throws:
java.lang.Exception

XwriteObject

public void XwriteObject(XMLHelper h)
Specified by:
XwriteObject in interface XMLObject

XreadObject

public void XreadObject(XMLHelper h)
Specified by:
XreadObject in interface XMLObject