public class ExpressionKinds extends Object
| Modifier and Type | Field and Description |
|---|---|
static String |
BODY
Signafies a
<<body>> expression |
static String |
DEF
Signafies a
<<definition>> expression |
static String |
INV
Signafies an
<<invariant>> expression. |
static String |
POST
Signafies a
<<postcondition>> expression. |
static String |
PRE
Signafies a
<<precondition>> expression. |
| Constructor and Description |
|---|
ExpressionKinds() |
public static final String POST
<<postcondition>> expression.public static final String INV
<<invariant>> expression.public static final String PRE
<<precondition>> expression.public static final String DEF
<<definition>> expressionpublic static final String BODY
<<body>> expressionpublic ExpressionKinds()
Copyright © 2003–2014 AndroMDA.org. All rights reserved.