agg.xt_basis
Class LayeredGraTraImpl
java.lang.Object
agg.xt_basis.GraTra
agg.xt_basis.LayeredGraTraImpl
public class LayeredGraTraImpl
- 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, setGraGra, setGraTraOptions, setHostGraph, setName, setRuleSet, step, stopRule, waitAfterStep |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
LayeredGraTraImpl
public LayeredGraTraImpl()
dispose
public void dispose()
- Overrides:
dispose
in class GraTra
setGraTraOptions
public void setGraTraOptions(java.util.Vector<java.lang.String> newOptions)
- Overrides:
setGraTraOptions
in class GraTra
stop
public void stop()
- Overrides:
stop
in class GraTra
unsetStop
public void unsetStop()
- Overrides:
unsetStop
in class GraTra
nextLayer
public void nextLayer()
getCurrentLayer
public int getCurrentLayer()
waitAfterLayer
public void waitAfterLayer(boolean b)
isWaitingAfterLayer
public boolean isWaitingAfterLayer()
derivation
public Pair<Morphism,Morphism> derivation(Match m)
- not implemented yet! *
- Specified by:
derivation
in class GraTra
apply
public boolean apply()
- Specified by:
apply
in class GraTra
transform
public void transform(java.util.Vector<Rule> ruleSet)
- Specified by:
transform
in class GraTra
transform
public void transform(java.util.List<Rule> ruleSet)
- Specified by:
transform
in class GraTra
transformContinue
public void transformContinue()
transformContinueWithNextLayer
public void transformContinueWithNextLayer()
transformContinueWithNextStep
public void transformContinueWithNextStep()
setStartTransform
public void setStartTransform(boolean b)
transform
public void transform()
- Specified by:
transform
in class GraTra
setLayeredLoop
public void setLayeredLoop(boolean b)
setResetGraphBeforeLoop
public void setResetGraphBeforeLoop(boolean b)
setStopLayerAndWait
public void setStopLayerAndWait(boolean b)
setLayerToStop
public void setLayerToStop(int l)
setBreakLayer
public void setBreakLayer(boolean b)
setBreakAllLayer
public void setBreakAllLayer(boolean b)
transformationDone
public boolean transformationDone()
- Specified by:
transformationDone
in class GraTra
getProtocolName
public java.lang.String getProtocolName()