Dresden OCL Toolkit

tudresden.ocl.normalize
Class CollectShorthandExpansion

java.lang.Object
  extended bytudresden.ocl.normalize.CollectShorthandExpansion
All Implemented Interfaces:
NodeNormalizer

public class CollectShorthandExpansion
extends Object
implements NodeNormalizer

breaks default context insertion and iterator insertion


Constructor Summary
CollectShorthandExpansion()
           
 
Method Summary
 void close(OclTree tree, NormalizerPass pass)
          This method notifies the NodeNormalizer of the end of a tree normalization.
protected  void expandCollect(APostfixExpression pe, APostfixExpressionTail pet, OclTree tree)
           
 void normalize(Node n, OclTree tree)
          normalize a single node
 void open(OclTree tree, NormalizerPass pass)
          allows the NodeNormalizers to initialize itself.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CollectShorthandExpansion

public CollectShorthandExpansion()
Method Detail

normalize

public void normalize(Node n,
                      OclTree tree)
Description copied from interface: NodeNormalizer
normalize a single node

Specified by:
normalize in interface NodeNormalizer

expandCollect

protected void expandCollect(APostfixExpression pe,
                             APostfixExpressionTail pet,
                             OclTree tree)

open

public void open(OclTree tree,
                 NormalizerPass pass)
Description copied from interface: NodeNormalizer
allows the NodeNormalizers to initialize itself. In this method, a NodeNormalizer typically makes sure that the AST fulfills the preconditions it requires and then registers its own postconditions.

Specified by:
open in interface NodeNormalizer

close

public void close(OclTree tree,
                  NormalizerPass pass)
Description copied from interface: NodeNormalizer
This method notifies the NodeNormalizer of the end of a tree normalization. Here new invariants on the tree can be registered that were not registered in open() already

Specified by:
close in interface NodeNormalizer

Dresden OCL Toolkit

Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.