View Javadoc

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