tudresden.ocl.normalize
Class TypeInformationInsertion
java.lang.Object
tudresden.ocl.normalize.TypeInformationInsertion
- All Implemented Interfaces:
- NodeNormalizer
- public class TypeInformationInsertion
- extends Object
- implements NodeNormalizer
- Author:
- Frank Finger
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
setOfAllIteratingMethodNames
static HashSet setOfAllIteratingMethodNames
TypeInformationInsertion
public TypeInformationInsertion()
normalize
public void normalize(Node n,
OclTree tree)
- Description copied from interface:
NodeNormalizer
- normalize a single node
- Specified by:
normalize
in interface NodeNormalizer
getPathTypeName
public APathTypeName getPathTypeName(Type t)
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
Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.