agg.xt_basis
Class RuleSequencesGraTraImpl
java.lang.Object
agg.xt_basis.GraTra
agg.xt_basis.RuleSequencesGraTraImpl
public class RuleSequencesGraTraImpl
- extends GraTra
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 |
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 |
RuleSequencesGraTraImpl
public RuleSequencesGraTraImpl()
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