agg.xt_basis
Class Step

java.lang.Object
  extended by agg.xt_basis.Step

public class Step
extends java.lang.Object

This class implements a direct graph transformation step in the single pushout (SPO) approach to algebraic graph transformation. The transformation is performed in place, i.e. the host graph is modified according to the rule's instructions.


Constructor Summary
Step()
           
 
Method Summary
 void dispose()
           
 Morphism execute(Match match)
          Perform an inplace graph transformation step: apply the rule given by match.getRule() via match on the host graph given by match.getImage().
 Morphism execute(Match match, boolean allowVariables)
          Perform an in-place graph transformation step is like Morphism execute(Match match), additionally, allow using of variables for values of attributes of graph objects in a graph to be transformed.
 Morphism execute(Match match, boolean allowVariables, boolean equalVariableName)
          Perform an in-place graph transformation step is like Morphism execute(Match match).
 java.util.Vector<GraphObject> getCreatedNodes()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Step

public Step()
Method Detail

execute

public final Morphism execute(Match match)
                       throws TypeException
Perform an inplace graph transformation step: apply the rule given by match.getRule() via match on the host graph given by match.getImage(). The host graph is modified to represent the result of the rule application.

Returns:
the co-match morphism from the right side of the rule into the result graph.
Throws:
TypeException
See Also:
Return NULL if execute of the step is failed.

execute

public final Morphism execute(Match match,
                              boolean allowVariables)
                       throws TypeException
Perform an in-place graph transformation step is like Morphism execute(Match match), additionally, allow using of variables for values of attributes of graph objects in a graph to be transformed.

Throws:
TypeException

execute

public final Morphism execute(Match match,
                              boolean allowVariables,
                              boolean equalVariableName)
                       throws TypeException
Perform an in-place graph transformation step is like Morphism execute(Match match). if allowVariables is TRUE, allow using of variables for values of attributes of graph objects in a graph to be transformed. If equalVariableName is TRUE, then the name of the variable from rightSide must be equal to the name of the current variable. The equalVariableName option is only used when allowVariables is TRUE.

Throws:
TypeException

dispose

public void dispose()

getCreatedNodes

public java.util.Vector<GraphObject> getCreatedNodes()