tudresden.ocl.injection
Class TypeCheckConfig
java.lang.Object
tudresden.ocl.injection.TypeCheckConfig
- All Implemented Interfaces:
- TaskConfig
- public final class TypeCheckConfig
- extends Object
- implements TaskConfig
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
violationmacro
private String violationmacro
TypeCheckConfig
public TypeCheckConfig(String violationmacro)
createTaskInstrumentor
public TaskInstrumentor createTaskInstrumentor()
- Specified by:
createTaskInstrumentor
in interface TaskConfig
Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.