Dresden OCL Toolkit

Dresden OCL Toolkit

Packages
tudresden.ocl The package tudresden.ocl contains some utility classes that are needed for several compiler modules, such as NameCreator, and some classes for the visualization of abstract synatx trees (ASTs).
tudresden.ocl.check This package contains classes for checking the semantical correctness of OCL expressions.
tudresden.ocl.check.types The classes and interfaces in this package are used to access model information and represent OCL types.
tudresden.ocl.check.types.testfacade TestModelFacade is a implementation of ModelFacade, the interface used to access model information sources, that is used for testing.
tudresden.ocl.check.types.xmifacade  
tudresden.ocl.codegen This package contains interfaces that the class tudresden.ocl.OclTree uses to access code generators, some classes to support the implementation of code generators especially for procedural languages, and a code generator for Java.
tudresden.ocl.codegen.decl  
tudresden.ocl.gui  
tudresden.ocl.gui.events  
tudresden.ocl.injection Injects code fragments checking OCL contraints into user java code.
tudresden.ocl.injection.lib The runtime library for the injection utility.
tudresden.ocl.injection.ocl  
tudresden.ocl.injection.ocl.lib  
tudresden.ocl.injection.reverseeng  
tudresden.ocl.injection.reverseeng.propertypages  
tudresden.ocl.injection.reverseeng.propertypages.events  
tudresden.ocl.injection.test  
tudresden.ocl.lib This package constitutes the OCL Class Library.
tudresden.ocl.lib.test This package is used to test the OCL class library of package tudresden.ocl.
tudresden.ocl.normalize The two interfaces TreeNormalizer and NodeNormalizer can be implemented to introduce custom normalization steps.
tudresden.ocl.parser The OCL parser was generated with the tool SableCC and is found in this package and it's subpackages.
tudresden.ocl.parser.analysis  
tudresden.ocl.parser.lexer  
tudresden.ocl.parser.node  
tudresden.ocl.parser.parser  
tudresden.ocl.sql  
tudresden.ocl.sql.gui  
tudresden.ocl.sql.orstrategy  
tudresden.ocl.test In this package, the JUnit 1.0 component testing framework is used to test the OCL compiler.
tudresden.ocl.test.royloy classes in this package are used only as an example for tests
tudresden.ocl.test.sql  

 


Dresden OCL Toolkit

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