agg.xt_basis
Class GraTra

java.lang.Object
  extended by agg.xt_basis.GraTra
Direct Known Subclasses:
DefaultGraTraImpl, LayeredGraTraImpl, PriorityGraTraImpl, RuleSequencesGraTraImpl

public abstract class GraTra
extends java.lang.Object


Field Summary
protected  boolean consistentGraph
           
protected  Match currentMatch
           
protected  Rule currentRule
           
protected  java.util.Vector<Rule> currentRuleSet
           
protected  java.lang.String errorMsg
           
protected  GraGra grammar
           
protected  java.util.Vector<GraTraEventListener> graTraListeners
           
protected  Graph hostgraph
           
protected  java.lang.String name
           
protected  GraTraOptions options
           
protected  boolean pauseRule
           
protected  boolean stopping
           
protected  boolean stoppingRule
           
protected  MorphCompletionStrategy strategy
           
protected  boolean updateTypeObjectsMapAfterStep
           
protected  boolean wait
           
protected  boolean waitAfterStep
           
protected  boolean writeLogFile
           
 
Constructor Summary
GraTra()
           
 
Method Summary
 void addGraTraListener(GraTraEventListener l)
           
abstract  boolean apply()
           
 Morphism apply(Match m)
          The match m has to be valid.
 boolean apply(Rule r)
           
 boolean apply(agg.xt_agt.RuleScheme r)
          Development stage only.
protected  boolean checkGraphConsistency()
           
protected  boolean checkGraphConsistency(Match m)
           
protected  boolean checkGraphConsistency(Rule r, Graph g)
           
protected  boolean checkGraphConsistencyForLayer(int layer)
           
protected  boolean checkGraphConsistencyForPriority(int priority)
           
 Match createMatch(Rule r)
           
abstract  Pair<Morphism,Morphism> derivation(Match m)
           
 void destroyMatch(Match m)
           
 void dispose()
           
 void doUpdateTypeObjectsMapAfterStep(boolean b)
           
 void enableWriteLogFile(boolean b)
           
protected  void fireGraTra(GraTraEvent e)
           
 MorphCompletionStrategy getCompletionStrategy()
           
 Match getCurrentMatch()
           
 Rule getCurrentRule()
           
 java.lang.String getErrorMsg()
           
 GraGra getGraGra()
           
 GraTraOptions getGraTraOptions()
           
 Graph getHostGraph()
           
 java.util.Enumeration<Match> getMatches(Rule r)
           
 java.lang.String getName()
           
 boolean isGraphConsistent()
           
 boolean isPaused()
           
 void pauseRule()
          Deprecated. replaced by pauseRule(boolean pause)
 void pauseRule(boolean pause)
           
 void removeGraTraListener(GraTraEventListener l)
           
 void setCompletionStrategy(MorphCompletionStrategy strat)
           
 boolean setGraGra(GraGra gg)
           
 void setGraTraOptions(GraTraOptions newOptions)
           
 void setGraTraOptions(java.util.Vector<java.lang.String> newOptions)
           
 boolean setHostGraph(Graph g)
           
 boolean setName(java.lang.String n)
           
protected  void setRuleSet()
           
 boolean step(Match m)
           
 void stop()
           
 void stopRule()
           
abstract  void transform()
           
abstract  void transform(java.util.List<Rule> ruleSet)
           
abstract  void transform(java.util.Vector<Rule> ruleSet)
           
abstract  boolean transformationDone()
           
 void unsetStop()
           
 void waitAfterStep(boolean b)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

name

protected java.lang.String name

grammar

protected GraGra grammar

hostgraph

protected Graph hostgraph

currentRule

protected Rule currentRule

currentRuleSet

protected java.util.Vector<Rule> currentRuleSet

currentMatch

protected Match currentMatch

updateTypeObjectsMapAfterStep

protected boolean updateTypeObjectsMapAfterStep

strategy

protected MorphCompletionStrategy strategy

graTraListeners

protected final java.util.Vector<GraTraEventListener> graTraListeners

stopping

protected boolean stopping

stoppingRule

protected boolean stoppingRule

pauseRule

protected boolean pauseRule

waitAfterStep

protected boolean waitAfterStep

consistentGraph

protected boolean consistentGraph

writeLogFile

protected boolean writeLogFile

options

protected GraTraOptions options

errorMsg

protected java.lang.String errorMsg

wait

protected boolean wait
Constructor Detail

GraTra

public GraTra()
Method Detail

dispose

public void dispose()

setName

public boolean setName(java.lang.String n)

getName

public java.lang.String getName()

setGraGra

public boolean setGraGra(GraGra gg)

getGraGra

public GraGra getGraGra()

getCurrentRule

public Rule getCurrentRule()

getCurrentMatch

public Match getCurrentMatch()

setHostGraph

public boolean setHostGraph(Graph g)

getHostGraph

public Graph getHostGraph()

getGraTraOptions

public GraTraOptions getGraTraOptions()

setGraTraOptions

public void setGraTraOptions(GraTraOptions newOptions)

setGraTraOptions

public void setGraTraOptions(java.util.Vector<java.lang.String> newOptions)

setCompletionStrategy

public void setCompletionStrategy(MorphCompletionStrategy strat)

getCompletionStrategy

public MorphCompletionStrategy getCompletionStrategy()

getMatches

public java.util.Enumeration<Match> getMatches(Rule r)

createMatch

public Match createMatch(Rule r)

destroyMatch

public void destroyMatch(Match m)

apply

public Morphism apply(Match m)
The match m has to be valid. Returns a co-morphism.


step

public boolean step(Match m)

apply

public boolean apply(Rule r)

enableWriteLogFile

public void enableWriteLogFile(boolean b)

apply

public abstract boolean apply()

derivation

public abstract Pair<Morphism,Morphism> derivation(Match m)

transform

public abstract void transform(java.util.Vector<Rule> ruleSet)

transform

public abstract void transform(java.util.List<Rule> ruleSet)

transform

public abstract void transform()

transformationDone

public abstract boolean transformationDone()

isGraphConsistent

public boolean isGraphConsistent()

stop

public void stop()

unsetStop

public void unsetStop()

stopRule

public void stopRule()

pauseRule

public void pauseRule(boolean pause)

pauseRule

public void pauseRule()
Deprecated. replaced by pauseRule(boolean pause)


isPaused

public boolean isPaused()

waitAfterStep

public void waitAfterStep(boolean b)

getErrorMsg

public java.lang.String getErrorMsg()

doUpdateTypeObjectsMapAfterStep

public void doUpdateTypeObjectsMapAfterStep(boolean b)

removeGraTraListener

public void removeGraTraListener(GraTraEventListener l)

addGraTraListener

public void addGraTraListener(GraTraEventListener l)

fireGraTra

protected void fireGraTra(GraTraEvent e)

setRuleSet

protected void setRuleSet()

checkGraphConsistency

protected boolean checkGraphConsistency(Rule r,
                                        Graph g)

checkGraphConsistency

protected boolean checkGraphConsistency(Match m)

checkGraphConsistency

protected boolean checkGraphConsistency()

checkGraphConsistencyForLayer

protected boolean checkGraphConsistencyForLayer(int layer)

checkGraphConsistencyForPriority

protected boolean checkGraphConsistencyForPriority(int priority)

apply

public boolean apply(agg.xt_agt.RuleScheme r)
Development stage only.