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.jmlspecs.jml4.fspv.simpl.ast
Class SimplConstants

java.lang.Object
  extended by org.jmlspecs.jml4.fspv.simpl.ast.SimplConstants

public class SimplConstants
extends java.lang.Object

Field Summary
static java.lang.String ACUTE
           
static java.lang.String ALL
           
static java.lang.String AND
           
static java.lang.String AND_AND
           
static java.lang.String ARROW
           
static java.lang.String BEGIN
           
static java.lang.String BOOL
           
static java.lang.String BSUP
           
static java.lang.String CALL
           
static java.lang.String COLUMN
           
static java.lang.String COLUMN_COLUMN
           
static java.lang.String COLUMN_EQUAL_EQUAL
           
static java.lang.String COMMA
           
static java.lang.String DECLARE
           
static java.lang.String DEF
           
static java.lang.String DEFINITION
           
static java.lang.String DIVIDE
           
static java.lang.String DO
           
static java.lang.String DONE
           
static java.lang.String DQUOTE
           
static java.lang.String EMPTY
           
static java.lang.String END
           
static java.lang.String EQUAL
           
static java.lang.String EQUAL_EQUAL
           
static java.lang.String ESUP
           
static java.lang.String FALSE
           
static java.lang.String GAMMA
           
static java.lang.String GLOBALS
           
static java.lang.String GREATER
           
static java.lang.String GREATER_EQUAL
           
static java.lang.String HOARESTATE
           
static java.lang.String IMPL
           
static java.lang.String IMPORT_LIST
           
static java.lang.String IMPORTS
           
static java.lang.String IN
           
static java.lang.String INT
           
static java.lang.String INV
           
static java.lang.String LBRACE
           
static java.lang.String LBRACKET
           
static java.lang.String LEMMA
           
static java.lang.String LESS
           
static java.lang.String LESS_EQUAL
           
static java.lang.String LIST
           
static java.lang.String LPAR
           
static java.lang.String MAP
           
static java.lang.String MEASURE
           
static java.lang.String MINUS
           
static java.lang.String MULTIPLY
           
static java.lang.String NAT
           
static java.lang.String NEW
           
static java.lang.String NEWLINE
           
static java.lang.String NOT_EQUAL
           
static java.lang.String NULL
           
static java.lang.String OD
           
static java.lang.String PERIOD
           
static java.lang.String PIPE
           
static java.lang.String PLUS
           
static java.lang.String PROC
           
static java.lang.String PROCEDURES
           
static java.lang.String RBRACE
           
static java.lang.String RBRACKET
           
static java.lang.String REF
           
static java.lang.String RESULT
           
static java.lang.String RPAR
           
static java.lang.String SARROW
           
static java.lang.String SEMI_SEMI
           
static java.lang.String SIGMA
           
static java.lang.String SIMP
           
static java.lang.String SIZE
           
static java.lang.String SPACE
           
static java.lang.String SPEC
           
static java.lang.String TAB
           
static java.lang.String TACTICS
           
static java.lang.String THEORY
           
static java.lang.String THIS
           
static java.lang.String TOTAL_CORRECTNESS
           
static java.lang.String TRUE
           
static java.lang.String TURNSTILE
           
static java.lang.String VAR
           
static java.lang.String WHERE
           
static java.lang.String WHILE
           
 
Constructor Summary
SimplConstants()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

TRUE

public static final java.lang.String TRUE
See Also:
Constant Field Values

FALSE

public static final java.lang.String FALSE
See Also:
Constant Field Values

THIS

public static final java.lang.String THIS
See Also:
Constant Field Values

BOOL

public static final java.lang.String BOOL
See Also:
Constant Field Values

INT

public static final java.lang.String INT
See Also:
Constant Field Values

DQUOTE

public static final java.lang.String DQUOTE
See Also:
Constant Field Values

SPACE

public static final java.lang.String SPACE
See Also:
Constant Field Values

LIST

public static final java.lang.String LIST
See Also:
Constant Field Values

MAP

public static final java.lang.String MAP
See Also:
Constant Field Values

NAT

public static final java.lang.String NAT
See Also:
Constant Field Values

REF

public static final java.lang.String REF
See Also:
Constant Field Values

EMPTY

public static final java.lang.String EMPTY
See Also:
Constant Field Values

ACUTE

public static final java.lang.String ACUTE
See Also:
Constant Field Values

ARROW

public static final java.lang.String ARROW
See Also:
Constant Field Values

IMPORT_LIST

public static final java.lang.String IMPORT_LIST
See Also:
Constant Field Values

THEORY

public static final java.lang.String THEORY
See Also:
Constant Field Values

IMPORTS

public static final java.lang.String IMPORTS
See Also:
Constant Field Values

BEGIN

public static final java.lang.String BEGIN
See Also:
Constant Field Values

NEWLINE

public static final java.lang.String NEWLINE
See Also:
Constant Field Values

HOARESTATE

public static final java.lang.String HOARESTATE
See Also:
Constant Field Values

EQUAL

public static final java.lang.String EQUAL
See Also:
Constant Field Values

TAB

public static final java.lang.String TAB
See Also:
Constant Field Values

GLOBALS

public static final java.lang.String GLOBALS
See Also:
Constant Field Values

PROCEDURES

public static final java.lang.String PROCEDURES
See Also:
Constant Field Values

LPAR

public static final java.lang.String LPAR
See Also:
Constant Field Values

RPAR

public static final java.lang.String RPAR
See Also:
Constant Field Values

WHERE

public static final java.lang.String WHERE
See Also:
Constant Field Values

SEMI_SEMI

public static final java.lang.String SEMI_SEMI
See Also:
Constant Field Values

PLUS

public static final java.lang.String PLUS
See Also:
Constant Field Values

COMMA

public static final java.lang.String COMMA
See Also:
Constant Field Values

SARROW

public static final java.lang.String SARROW
See Also:
Constant Field Values

LEMMA

public static final java.lang.String LEMMA
See Also:
Constant Field Values

IN

public static final java.lang.String IN
See Also:
Constant Field Values

SPEC

public static final java.lang.String SPEC
See Also:
Constant Field Values

COLUMN_COLUMN

public static final java.lang.String COLUMN_COLUMN
See Also:
Constant Field Values

COLUMN_EQUAL_EQUAL

public static final java.lang.String COLUMN_EQUAL_EQUAL
See Also:
Constant Field Values

IMPL

public static final java.lang.String IMPL
See Also:
Constant Field Values

COLUMN

public static final java.lang.String COLUMN
See Also:
Constant Field Values

DONE

public static final java.lang.String DONE
See Also:
Constant Field Values

PIPE

public static final java.lang.String PIPE
See Also:
Constant Field Values

ALL

public static final java.lang.String ALL
See Also:
Constant Field Values

SIGMA

public static final java.lang.String SIGMA
See Also:
Constant Field Values

PERIOD

public static final java.lang.String PERIOD
See Also:
Constant Field Values

TURNSTILE

public static final java.lang.String TURNSTILE
See Also:
Constant Field Values

GAMMA

public static final java.lang.String GAMMA
See Also:
Constant Field Values

TOTAL_CORRECTNESS

public static final java.lang.String TOTAL_CORRECTNESS
See Also:
Constant Field Values

LBRACE

public static final java.lang.String LBRACE
See Also:
Constant Field Values

RBRACE

public static final java.lang.String RBRACE
See Also:
Constant Field Values

PROC

public static final java.lang.String PROC
See Also:
Constant Field Values

AND

public static final java.lang.String AND
See Also:
Constant Field Values

NOT_EQUAL

public static final java.lang.String NOT_EQUAL
See Also:
Constant Field Values

NULL

public static final java.lang.String NULL
See Also:
Constant Field Values

AND_AND

public static final java.lang.String AND_AND
See Also:
Constant Field Values

GREATER_EQUAL

public static final java.lang.String GREATER_EQUAL
See Also:
Constant Field Values

GREATER

public static final java.lang.String GREATER
See Also:
Constant Field Values

LESS_EQUAL

public static final java.lang.String LESS_EQUAL
See Also:
Constant Field Values

TACTICS

public static final java.lang.String TACTICS
See Also:
Constant Field Values

LESS

public static final java.lang.String LESS
See Also:
Constant Field Values

SIZE

public static final java.lang.String SIZE
See Also:
Constant Field Values

DEFINITION

public static final java.lang.String DEFINITION
See Also:
Constant Field Values

EQUAL_EQUAL

public static final java.lang.String EQUAL_EQUAL
See Also:
Constant Field Values

LBRACKET

public static final java.lang.String LBRACKET
See Also:
Constant Field Values

RBRACKET

public static final java.lang.String RBRACKET
See Also:
Constant Field Values

NEW

public static final java.lang.String NEW
See Also:
Constant Field Values

END

public static final java.lang.String END
See Also:
Constant Field Values

MINUS

public static final java.lang.String MINUS
See Also:
Constant Field Values

MULTIPLY

public static final java.lang.String MULTIPLY
See Also:
Constant Field Values

DIVIDE

public static final java.lang.String DIVIDE
See Also:
Constant Field Values

RESULT

public static final java.lang.String RESULT
See Also:
Constant Field Values

CALL

public static final java.lang.String CALL
See Also:
Constant Field Values

DECLARE

public static final java.lang.String DECLARE
See Also:
Constant Field Values

SIMP

public static final java.lang.String SIMP
See Also:
Constant Field Values

DEF

public static final java.lang.String DEF
See Also:
Constant Field Values

WHILE

public static final java.lang.String WHILE
See Also:
Constant Field Values

DO

public static final java.lang.String DO
See Also:
Constant Field Values

OD

public static final java.lang.String OD
See Also:
Constant Field Values

INV

public static final java.lang.String INV
See Also:
Constant Field Values

VAR

public static final java.lang.String VAR
See Also:
Constant Field Values

MEASURE

public static final java.lang.String MEASURE
See Also:
Constant Field Values

BSUP

public static final java.lang.String BSUP
See Also:
Constant Field Values

ESUP

public static final java.lang.String ESUP
See Also:
Constant Field Values
Constructor Detail

SimplConstants

public SimplConstants()
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD