View Javadoc
1   package org.andromda.translation.ocl;
2   
3   /**
4    * Contains the possible Expression Kinds.
5    *
6    * @author Chad Brandon
7    */
8   public class ExpressionKinds
9   {
10      /**
11       * Signafies a <code>&lt;&lt;postcondition&gt;&gt;</code> expression.
12       */
13      public static final String POST = "post";
14  
15      /**
16       * Signafies an <code>&lt;&lt;invariant&gt;&gt;</code> expression.
17       */
18      public static final String INV = "inv";
19  
20      /**
21       * Signafies a <code>&lt;&lt;precondition&gt;&gt;</code> expression.
22       */
23      public static final String PRE = "pre";
24  
25      /**
26       * Signafies a <code>&lt;&lt;definition&gt;&gt;</code> expression
27       */
28      public static final String DEF = "def";
29  
30      /**
31       * Signafies a <code>&lt;&lt;body&gt;&gt;</code> expression
32       */
33      public static final String BODY = "body";
34  }