Dresden OCL Toolkit

tudresden.ocl.injection
Class TypeCheckConfig

java.lang.Object
  extended bytudresden.ocl.injection.TypeCheckConfig
All Implemented Interfaces:
TaskConfig

public final class TypeCheckConfig
extends Object
implements TaskConfig


Field Summary
private  String violationmacro
           
 
Constructor Summary
TypeCheckConfig(String violationmacro)
           
 
Method Summary
 TaskInstrumentor createTaskInstrumentor()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

violationmacro

private String violationmacro
Constructor Detail

TypeCheckConfig

public TypeCheckConfig(String violationmacro)
Method Detail

createTaskInstrumentor

public TaskInstrumentor createTaskInstrumentor()
Specified by:
createTaskInstrumentor in interface TaskConfig

Dresden OCL Toolkit

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