Dresden OCL Toolkit

tudresden.ocl.injection.ocl
Class OclConfig

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

public final class OclConfig
extends Object
implements TaskConfig


Field Summary
 HashMap codefragments
          Type names are keys, SortedFragments values.
static int INVARIANT_SCOPE_EXPLICIT
           
static int INVARIANT_SCOPE_PACKAGE
           
static int INVARIANT_SCOPE_PRIVATE
           
static int INVARIANT_SCOPE_PROTECTED
           
static int INVARIANT_SCOPE_PUBLIC
           
 int invariantScope
           
 JavaCodeGenerator jcg
           
 boolean logclass
           
 ModelFacade modelfacade
           
 NameCreator namecreator
           
 boolean tracechecking
           
 String violationmacro
           
 
Constructor Summary
OclConfig()
           
 
Method Summary
 TaskInstrumentor createTaskInstrumentor()
           
 void makeConstraint(String constraintString)
           
 void makeConstraint(String text, String kind, String context)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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

OclConfig

public OclConfig()
Method Detail

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

Dresden OCL Toolkit

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