tudresden.ocl.injection.ocl
Class OclConfig
java.lang.Object
tudresden.ocl.injection.ocl.OclConfig
- All Implemented Interfaces:
- TaskConfig
- public final class OclConfig
- extends Object
- implements TaskConfig
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
codefragments
public final HashMap codefragments
- Type names are keys, SortedFragments values.
tracechecking
public boolean tracechecking
violationmacro
public String violationmacro
logclass
public boolean logclass
INVARIANT_SCOPE_PRIVATE
public static final int INVARIANT_SCOPE_PRIVATE
- See Also:
- Constant Field Values
INVARIANT_SCOPE_PROTECTED
public static final int INVARIANT_SCOPE_PROTECTED
- See Also:
- Constant Field Values
INVARIANT_SCOPE_PACKAGE
public static final int INVARIANT_SCOPE_PACKAGE
- See Also:
- Constant Field Values
INVARIANT_SCOPE_PUBLIC
public static final int INVARIANT_SCOPE_PUBLIC
- See Also:
- Constant Field Values
INVARIANT_SCOPE_EXPLICIT
public static final int INVARIANT_SCOPE_EXPLICIT
- See Also:
- Constant Field Values
invariantScope
public int invariantScope
jcg
public JavaCodeGenerator jcg
modelfacade
public ModelFacade modelfacade
namecreator
public final NameCreator namecreator
OclConfig
public OclConfig()
createTaskInstrumentor
public TaskInstrumentor createTaskInstrumentor()
- Specified by:
createTaskInstrumentor
in interface TaskConfig
makeConstraint
public void makeConstraint(String text,
String kind,
String context)
throws OclParserException,
OclTypeException
- Throws:
OclParserException
OclTypeException
makeConstraint
public void makeConstraint(String constraintString)
throws OclParserException,
OclTypeException,
IOException
- Throws:
OclParserException
OclTypeException
IOException
Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.