Dresden OCL Toolkit

tudresden.ocl.codegen
Interface CodeFragment

All Known Implementing Classes:
DeclarativeCodeFragment, ProceduralCodeFragment

public interface CodeFragment


Field Summary
static int INV
           
static int POST
           
static int PRE
           
static int PREPARATION
           
static int TRANSFER
          variable declararions that make @pre variables available in post fragments
 
Method Summary
 String getCode()
           
 String getConstrainedOperation()
           
 String getConstrainedType()
           
 int getKind()
           
 String getName()
           
 String getResultVariable()
           
 

Field Detail

PRE

public static final int PRE
See Also:
Constant Field Values

POST

public static final int POST
See Also:
Constant Field Values

INV

public static final int INV
See Also:
Constant Field Values

PREPARATION

public static final int PREPARATION
See Also:
Constant Field Values

TRANSFER

public static final int TRANSFER
variable declararions that make @pre variables available in post fragments

See Also:
Constant Field Values
Method Detail

getConstrainedType

public String getConstrainedType()

getConstrainedOperation

public String getConstrainedOperation()
Returns:
null for invariants

getCode

public String getCode()

getName

public String getName()

getKind

public int getKind()

getResultVariable

public String getResultVariable()
Returns:
the variable that holds the evaluation result

Dresden OCL Toolkit

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