agg.xt_basis
Class RuleSequencesGraTraImpl

java.lang.Object
  extended by agg.xt_basis.GraTra
      extended by agg.xt_basis.RuleSequencesGraTraImpl

public class RuleSequencesGraTraImpl
extends GraTra


Field Summary
 
Fields inherited from class agg.xt_basis.GraTra
consistentGraph, currentMatch, currentRule, currentRuleSet, errorMsg, grammar, graTraListeners, hostgraph, name, options, pauseRule, stopping, stoppingRule, strategy, updateTypeObjectsMapAfterStep, wait, waitAfterStep, writeLogFile
 
Constructor Summary
RuleSequencesGraTraImpl()
           
 
Method Summary
 boolean apply()
           
 Pair<Morphism,Morphism> derivation(Match m)
           
 void dispose()
           
 java.lang.String getProtocolName()
           
 boolean setGraGra(GraGra gg)
           
 void setRuleSequence(java.util.Vector<Pair<java.util.Vector<Pair<java.lang.String,java.lang.String>>,java.lang.String>> sequence)
           
 void transform()
           
 void transform(java.util.List<Rule> rules)
           
 void transform(java.util.Vector<Rule> rules)
           
 boolean transformationDone()
           
 
Methods inherited from class agg.xt_basis.GraTra
addGraTraListener, apply, apply, apply, checkGraphConsistency, checkGraphConsistency, checkGraphConsistency, checkGraphConsistencyForLayer, checkGraphConsistencyForPriority, createMatch, destroyMatch, doUpdateTypeObjectsMapAfterStep, enableWriteLogFile, fireGraTra, getCompletionStrategy, getCurrentMatch, getCurrentRule, getErrorMsg, getGraGra, getGraTraOptions, getHostGraph, getMatches, getName, isGraphConsistent, isPaused, pauseRule, pauseRule, removeGraTraListener, setCompletionStrategy, setGraTraOptions, setGraTraOptions, setHostGraph, setName, setRuleSet, step, stop, stopRule, unsetStop, waitAfterStep
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RuleSequencesGraTraImpl

public RuleSequencesGraTraImpl()
Method Detail

dispose

public void dispose()
Overrides:
dispose in class GraTra

setGraGra

public boolean setGraGra(GraGra gg)
Overrides:
setGraGra in class GraTra

apply

public boolean apply()
Specified by:
apply in class GraTra

setRuleSequence

public void setRuleSequence(java.util.Vector<Pair<java.util.Vector<Pair<java.lang.String,java.lang.String>>,java.lang.String>> sequence)

transform

public void transform(java.util.Vector<Rule> rules)
Specified by:
transform in class GraTra

transform

public void transform(java.util.List<Rule> rules)
Specified by:
transform in class GraTra

transform

public void transform()
Specified by:
transform in class GraTra

transformationDone

public boolean transformationDone()
Specified by:
transformationDone in class GraTra

getProtocolName

public java.lang.String getProtocolName()

derivation

public Pair<Morphism,Morphism> derivation(Match m)
Specified by:
derivation in class GraTra