jml2b.structure.statement
Interface MyToken

All Known Implementing Classes:

ClassResolver, Goal, Statement, Theorem

public interface MyToken

This class defines tokens that are used to create expressions and statement that does not exist as an output of the JML parser.

Author:

L. Burdy

Field Summary

static int	BTRUE Token correspoding to an obvious expression
static int	FIRST_TOKEN The first token indice
static int	METHOD_CALL Token correspoding to a method call
static int	NEWARRAY Token correspoding to an array creation
static java.lang.String[]	nodeString Array associating a string to a token
static int	SEQUENCE Token correspoding to a sequence of two statements
static int	SKIP Token correspoding to a skip
static int	T_CALLED_OLD Token correspoding to a called old
static int	T_FRESH_CALLED_OLD Token correspoding to a fresh called old
static int	T_VARIANT_OLD

Field Detail

FIRST_TOKEN

public static final int FIRST_TOKEN

The first token indice

See Also:

Constant Field Values

SEQUENCE

public static final int SEQUENCE

Token correspoding to a sequence of two statements

See Also:

Constant Field Values

SKIP

public static final int SKIP

Token correspoding to a skip

See Also:

Constant Field Values

BTRUE

public static final int BTRUE

Token correspoding to an obvious expression

See Also:

Constant Field Values

METHOD_CALL

public static final int METHOD_CALL

Token correspoding to a method call

See Also:

Constant Field Values

NEWARRAY

public static final int NEWARRAY

Token correspoding to an array creation

See Also:

Constant Field Values

T_CALLED_OLD

public static final int T_CALLED_OLD

Token correspoding to a called old

See Also:

Constant Field Values

T_FRESH_CALLED_OLD

public static final int T_FRESH_CALLED_OLD

Token correspoding to a fresh called old

See Also:

Constant Field Values

T_VARIANT_OLD

public static final int T_VARIANT_OLD

See Also:

Constant Field Values

nodeString

public static final java.lang.String[] nodeString

Array associating a string to a token