agg.xt_basis
Class LayeredGraTraImpl

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

public class LayeredGraTraImpl
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
LayeredGraTraImpl()
           
 
Method Summary
 boolean apply()
           
 Pair<Morphism,Morphism> derivation(Match m)
          not implemented yet!
 void dispose()
           
 int getCurrentLayer()
           
 java.lang.String getProtocolName()
           
 boolean isWaitingAfterLayer()
           
 void nextLayer()
           
 void setBreakAllLayer(boolean b)
           
 void setBreakLayer(boolean b)
           
 void setGraTraOptions(java.util.Vector<java.lang.String> newOptions)
           
 void setLayeredLoop(boolean b)
           
 void setLayerToStop(int l)
           
 void setResetGraphBeforeLoop(boolean b)
           
 void setStartTransform(boolean b)
           
 void setStopLayerAndWait(boolean b)
           
 void stop()
           
 void transform()
           
 void transform(java.util.List<Rule> ruleSet)
           
 void transform(java.util.Vector<Rule> ruleSet)
           
 boolean transformationDone()
           
 void transformContinue()
           
 void transformContinueWithNextLayer()
           
 void transformContinueWithNextStep()
           
 void unsetStop()
           
 void waitAfterLayer(boolean b)
           
 
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
 

Constructor Detail

LayeredGraTraImpl

public LayeredGraTraImpl()
Method Detail

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()