ExpressionKinds (OCLTF Core 1.0-SNAPSHOT API)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.ocltf
Class ExpressionKinds

java.lang.Object
  org.ocltf.ExpressionKinds

public class ExpressionKinds
extends java.lang.Object

Contains the possible Expression Kinds.

Author:: Chad Brandon

Field Summary
`static java.lang.String`	`BODY` Signafies a `<<body>>` expression
`static java.lang.String`	`DEF` Signafies a `<<definition>>` expression
`static java.lang.String`	`INV` Signafies a `<<invariant>>` expression.
`static java.lang.String`	`POST` Signafies a `<<postcondition>>` expression.
`static java.lang.String`	`PRE` Signafies a `<<precondition>>` expression.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

POST

public static final java.lang.String POST

Signafies a <<postcondition>> expression.

See Also:: Constant Field Values

INV

public static final java.lang.String INV

Signafies a <<invariant>> expression.

See Also:: Constant Field Values

PRE

public static final java.lang.String PRE

Signafies a <<precondition>> expression.

See Also:: Constant Field Values

DEF

public static final java.lang.String DEF

Signafies a <<definition>> expression

See Also:: Constant Field Values

BODY

public static final java.lang.String BODY

Signafies a <<body>> expression

See Also:: Constant Field Values