agg.xt_basis
Class PriorityGraTraImpl

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

public class PriorityGraTraImpl
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
PriorityGraTraImpl()
           
 
Method Summary
 boolean apply()
           
 boolean atLeastOneRuleHasPriority()
           
 Pair<Morphism,Morphism> derivation(Match m)
          not implemented yet!
 void dispose()
           
 java.lang.String getProtocolName()
           
 void transform()
           
 void transform(java.util.List<Rule> ruleSet)
           
 void transform(java.util.Vector<Rule> ruleSet)
           
 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, setGraGra, 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

PriorityGraTraImpl

public PriorityGraTraImpl()
Method Detail

dispose

public void dispose()
Overrides:
dispose in class GraTra

derivation

public Pair<Morphism,Morphism> derivation(Match m)
not implemented yet! *

Specified by:
derivation in class GraTra

atLeastOneRuleHasPriority

public boolean atLeastOneRuleHasPriority()

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

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