tudresden.ocl.codegen
Class ProceduralCodeFragment
java.lang.Object
tudresden.ocl.codegen.ProceduralCodeFragment
- All Implemented Interfaces:
- CodeFragment
- public class ProceduralCodeFragment
- extends Object
- implements CodeFragment
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
constraintName
protected String constraintName
constrainedType
protected String constrainedType
constrainedOperation
protected String constrainedOperation
constraintKind
protected int constraintKind
- one of CodeFragment.PRE, CodeFragment.POST, CodeFragement.INV,
CodeFragment.PREPARATION, CodeFragment.TRANSFER
code
protected String code
resultVariable
protected String resultVariable
ProceduralCodeFragment
public ProceduralCodeFragment(String constraintName,
String constrainedType,
String constrainedOperation,
int constraintKind,
String resultVariable)
- Parameters:
constrainedOperation
- is null
for invariantsconstraintKind
- one of CodeFragment.PRE, CodeFragment.POST,
CodeFragement.INV, CodeFragment.PREPARATION, CodeFragment.TRANSFER
getConstrainedType
public String getConstrainedType()
- Specified by:
getConstrainedType
in interface CodeFragment
getConstrainedOperation
public String getConstrainedOperation()
- Specified by:
getConstrainedOperation
in interface CodeFragment
- Returns:
null
for invariants
getCode
public String getCode()
- Specified by:
getCode
in interface CodeFragment
setCode
public void setCode(String code)
getName
public String getName()
- Specified by:
getName
in interface CodeFragment
getType
public String getType()
getOperation
public String getOperation()
getKind
public int getKind()
- Specified by:
getKind
in interface CodeFragment
getResultVariable
public String getResultVariable()
- Specified by:
getResultVariable
in interface CodeFragment
- Returns:
- the variable that holds the evaluation result
setResultVariable
public void setResultVariable(String var)
Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.