001package org.andromda.translation.ocl;
002
003/**
004 * Contains the possible Expression Kinds.
005 *
006 * @author Chad Brandon
007 */
008public class ExpressionKinds
009{
010    /**
011     * Signafies a <code>&lt;&lt;postcondition&gt;&gt;</code> expression.
012     */
013    public static final String POST = "post";
014
015    /**
016     * Signafies an <code>&lt;&lt;invariant&gt;&gt;</code> expression.
017     */
018    public static final String INV = "inv";
019
020    /**
021     * Signafies a <code>&lt;&lt;precondition&gt;&gt;</code> expression.
022     */
023    public static final String PRE = "pre";
024
025    /**
026     * Signafies a <code>&lt;&lt;definition&gt;&gt;</code> expression
027     */
028    public static final String DEF = "def";
029
030    /**
031     * Signafies a <code>&lt;&lt;body&gt;&gt;</code> expression
032     */
033    public static final String BODY = "body";
034}