|
Dresden OCL Toolkit | |||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
Injects code fragments checking OCL contraints into user java code.
The tool is started by java tudresden.ocl.injection.Main
.
|
Dresden OCL Toolkit | |||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |