01: package org.andromda.translation.ocl;
02:
03: /**
04: * Contains the possible Expression Kinds.
05: *
06: * @author Chad Brandon
07: */
08: public class ExpressionKinds {
09: /**
10: * Signafies a <code><<postcondition>></code> expression.
11: */
12: public static final String POST = "post";
13:
14: /**
15: * Signafies an <code><<invariant>></code> expression.
16: */
17: public static final String INV = "inv";
18:
19: /**
20: * Signafies a <code><<precondition>></code> expression.
21: */
22: public static final String PRE = "pre";
23:
24: /**
25: * Signafies a <code><<definition>></code> expression
26: */
27: public static final String DEF = "def";
28:
29: /**
30: * Signafies a <code><<body>></code> expression
31: */
32: public static final String BODY = "body";
33: }
|