Dresden OCL Toolkit

Package tudresden.ocl.injection

Injects code fragments checking OCL contraints into user java code.

See:
          Description

Interface Summary
InjectionConsumer Implementors of this interface get the results of the java parser.
TaskConfig  
TaskInstrumentor  
 

Class Summary
Injector Implements a modifying java parser.
Instrumentor  
InstrumentorClass  
InstrumentorConfig  
JavaAttribute Represents an attribute of a class parsed by the java parser.
JavaBehaviour Represents a behavioral feature of a class parsed by the java parser.
JavaClass Represents a class parsed by the java parser.
JavaConstructor Represents a constructor of a class parsed by the java parser.
JavaFeature Represents a java feature.
JavaFile Represents a parsed java file.
JavaMethod Represents a method of a class parsed by the java parser.
Main  
TypeCheckConfig  
TypeCheckInstrumentor  
TypeTraceConfig  
TypeTraceInstrumentor  
 

Exception Summary
IllegalParameterException Is thrown for invalid command line parameters
InjectorParseException Thrown by the java parser, if the input stream is not valid java language.
 

Package tudresden.ocl.injection Description

Injects code fragments checking OCL contraints into user java code. The tool is started by java tudresden.ocl.injection.Main.


Dresden OCL Toolkit

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