|
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 | |||||||||