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 |
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
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
Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.