com.veromodo.tempo.parser
Interface TIOAParserTokenTypes

All Known Implementing Classes:
TIOALexer, TIOAParser

public interface TIOAParserTokenTypes


Field Summary
static int ADD
           
static int ALL
           
static int AND
           
static int ARROW
           
static int BANG
           
static int CMT
           
static int COLON
           
static int COLONEQ
           
static int COMMA
           
static int DIGITS
           
static int DIGITS0
           
static int DIV
           
static int DOT
           
static int DSUB
           
static int EOF
           
static int EQUAL
           
static int EQUIV
           
static int EXISTS
           
static int FLOATLIT
           
static int FUNNY_OP
           
static int GEQ
           
static int GT
           
static int ID
           
static int IMPLY
           
static int INTLIT
           
static int LBRACKET
           
static int LCURLY
           
static int LEQ
           
static int LITERAL
           
static int LITERAL_automaton
           
static int LITERAL_backward
           
static int LITERAL_case
           
static int LITERAL_choose
           
static int LITERAL_components
           
static int LITERAL_const
           
static int LITERAL_defines
           
static int LITERAL_det
           
static int LITERAL_do
           
static int LITERAL_duration
           
static int LITERAL_eff
           
static int LITERAL_else
           
static int LITERAL_elseif
           
static int LITERAL_end
           
static int LITERAL_ensuring
           
static int LITERAL_enumeration
           
static int LITERAL_evolve
           
static int LITERAL_fi
           
static int LITERAL_fire
           
static int LITERAL_follow
           
static int LITERAL_for
           
static int LITERAL_forward
           
static int LITERAL_from
           
static int LITERAL_hidden
           
static int LITERAL_if
           
static int LITERAL_ignore
           
static int LITERAL_imports
           
static int LITERAL_in
           
static int LITERAL_initially
           
static int LITERAL_input
           
static int LITERAL_internal
           
static int LITERAL_invariant
           
static int LITERAL_let
           
static int LITERAL_local
           
static int LITERAL_od
           
static int LITERAL_of
           
static int LITERAL_operators
           
static int LITERAL_output
           
static int LITERAL_pre
           
static int LITERAL_proof
           
static int LITERAL_schedule
           
static int LITERAL_signature
           
static int LITERAL_simulation
           
static int LITERAL_start
           
static int LITERAL_states
           
static int LITERAL_stop
           
static int LITERAL_tasks
           
static int LITERAL_then
           
static int LITERAL_to
           
static int LITERAL_trajdef
           
static int LITERAL_trajectories
           
static int LITERAL_trajectory
           
static int LITERAL_transitions
           
static int LITERAL_tuple
           
static int LITERAL_type
           
static int LITERAL_types
           
static int LITERAL_union
           
static int LITERAL_urgent
           
static int LITERAL_using
           
static int LITERAL_vocabulary
           
static int LITERAL_when
           
static int LITERAL_where
           
static int LITERAL_while
           
static int LITERAL_with
           
static int LITERAL_yield
           
static int LPAREN
           
static int LT
           
static int MUL
           
static int NEQUAL
           
static int NOT
           
static int NULL_TREE_LOOKAHEAD
           
static int OPCHAR
           
static int OPCHAR1
           
static int OPERATOR
           
static int OR
           
static int POW
           
static int RBRACKET
           
static int RCURLY
           
static int RPAREN
           
static int SCOLON
           
static int SUB
           
static int WS
           
 

Field Detail

EOF

static final int EOF
See Also:
Constant Field Values

NULL_TREE_LOOKAHEAD

static final int NULL_TREE_LOOKAHEAD
See Also:
Constant Field Values

LITERAL_types

static final int LITERAL_types
See Also:
Constant Field Values

COMMA

static final int COMMA
See Also:
Constant Field Values

LITERAL_imports

static final int LITERAL_imports
See Also:
Constant Field Values

LITERAL_vocabulary

static final int LITERAL_vocabulary
See Also:
Constant Field Values

LITERAL_end

static final int LITERAL_end
See Also:
Constant Field Values

ID

static final int ID
See Also:
Constant Field Values

LITERAL_defines

static final int LITERAL_defines
See Also:
Constant Field Values

LITERAL_operators

static final int LITERAL_operators
See Also:
Constant Field Values

COLON

static final int COLON
See Also:
Constant Field Values

LITERAL_if

static final int LITERAL_if
See Also:
Constant Field Values

DSUB

static final int DSUB
See Also:
Constant Field Values

LITERAL_then

static final int LITERAL_then
See Also:
Constant Field Values

LITERAL_else

static final int LITERAL_else
See Also:
Constant Field Values

DOT

static final int DOT
See Also:
Constant Field Values

NOT

static final int NOT
See Also:
Constant Field Values

LCURLY

static final int LCURLY
See Also:
Constant Field Values

RCURLY

static final int RCURLY
See Also:
Constant Field Values

LBRACKET

static final int LBRACKET
See Also:
Constant Field Values

RBRACKET

static final int RBRACKET
See Also:
Constant Field Values

OPERATOR

static final int OPERATOR
See Also:
Constant Field Values

EQUIV

static final int EQUIV
See Also:
Constant Field Values

IMPLY

static final int IMPLY
See Also:
Constant Field Values

OR

static final int OR
See Also:
Constant Field Values

AND

static final int AND
See Also:
Constant Field Values

EQUAL

static final int EQUAL
See Also:
Constant Field Values

NEQUAL

static final int NEQUAL
See Also:
Constant Field Values

ADD

static final int ADD
See Also:
Constant Field Values

SUB

static final int SUB
See Also:
Constant Field Values

LT

static final int LT
See Also:
Constant Field Values

LEQ

static final int LEQ
See Also:
Constant Field Values

GT

static final int GT
See Also:
Constant Field Values

GEQ

static final int GEQ
See Also:
Constant Field Values

MUL

static final int MUL
See Also:
Constant Field Values

DIV

static final int DIV
See Also:
Constant Field Values

POW

static final int POW
See Also:
Constant Field Values

BANG

static final int BANG
See Also:
Constant Field Values

INTLIT

static final int INTLIT
See Also:
Constant Field Values

LPAREN

static final int LPAREN
See Also:
Constant Field Values

RPAREN

static final int RPAREN
See Also:
Constant Field Values

LITERAL_type

static final int LITERAL_type
See Also:
Constant Field Values

ARROW

static final int ARROW
See Also:
Constant Field Values

LITERAL_enumeration

static final int LITERAL_enumeration
See Also:
Constant Field Values

LITERAL_tuple

static final int LITERAL_tuple
See Also:
Constant Field Values

LITERAL_union

static final int LITERAL_union
See Also:
Constant Field Values

FLOATLIT

static final int FLOATLIT
See Also:
Constant Field Values

ALL

static final int ALL
See Also:
Constant Field Values

EXISTS

static final int EXISTS
See Also:
Constant Field Values

LITERAL_let

static final int LITERAL_let
See Also:
Constant Field Values

SCOLON

static final int SCOLON
See Also:
Constant Field Values

LITERAL_automaton

static final int LITERAL_automaton
See Also:
Constant Field Values

LITERAL_signature

static final int LITERAL_signature
See Also:
Constant Field Values

LITERAL_input

static final int LITERAL_input
See Also:
Constant Field Values

LITERAL_output

static final int LITERAL_output
See Also:
Constant Field Values

LITERAL_internal

static final int LITERAL_internal
See Also:
Constant Field Values

LITERAL_const

static final int LITERAL_const
See Also:
Constant Field Values

LITERAL_where

static final int LITERAL_where
See Also:
Constant Field Values

LITERAL_case

static final int LITERAL_case
See Also:
Constant Field Values

LITERAL_states

static final int LITERAL_states
See Also:
Constant Field Values

COLONEQ

static final int COLONEQ
See Also:
Constant Field Values

LITERAL_choose

static final int LITERAL_choose
See Also:
Constant Field Values

LITERAL_det

static final int LITERAL_det
See Also:
Constant Field Values

LITERAL_do

static final int LITERAL_do
See Also:
Constant Field Values

LITERAL_od

static final int LITERAL_od
See Also:
Constant Field Values

LITERAL_initially

static final int LITERAL_initially
See Also:
Constant Field Values

LITERAL_transitions

static final int LITERAL_transitions
See Also:
Constant Field Values

LITERAL_local

static final int LITERAL_local
See Also:
Constant Field Values

LITERAL_pre

static final int LITERAL_pre
See Also:
Constant Field Values

LITERAL_urgent

static final int LITERAL_urgent
See Also:
Constant Field Values

LITERAL_when

static final int LITERAL_when
See Also:
Constant Field Values

LITERAL_eff

static final int LITERAL_eff
See Also:
Constant Field Values

LITERAL_ensuring

static final int LITERAL_ensuring
See Also:
Constant Field Values

LITERAL_fi

static final int LITERAL_fi
See Also:
Constant Field Values

LITERAL_elseif

static final int LITERAL_elseif
See Also:
Constant Field Values

LITERAL_for

static final int LITERAL_for
See Also:
Constant Field Values

LITERAL_in

static final int LITERAL_in
See Also:
Constant Field Values

LITERAL_while

static final int LITERAL_while
See Also:
Constant Field Values

LITERAL_follow

static final int LITERAL_follow
See Also:
Constant Field Values

LITERAL_duration

static final int LITERAL_duration
See Also:
Constant Field Values

LITERAL_fire

static final int LITERAL_fire
See Also:
Constant Field Values

LITERAL_yield

static final int LITERAL_yield
See Also:
Constant Field Values

LITERAL_tasks

static final int LITERAL_tasks
See Also:
Constant Field Values

LITERAL_trajectories

static final int LITERAL_trajectories
See Also:
Constant Field Values

LITERAL_trajdef

static final int LITERAL_trajdef
See Also:
Constant Field Values

LITERAL_invariant

static final int LITERAL_invariant
See Also:
Constant Field Values

LITERAL_stop

static final int LITERAL_stop
See Also:
Constant Field Values

LITERAL_evolve

static final int LITERAL_evolve
See Also:
Constant Field Values

LITERAL_schedule

static final int LITERAL_schedule
See Also:
Constant Field Values

LITERAL_components

static final int LITERAL_components
See Also:
Constant Field Values

LITERAL_hidden

static final int LITERAL_hidden
See Also:
Constant Field Values

LITERAL_with

static final int LITERAL_with
See Also:
Constant Field Values

LITERAL_of

static final int LITERAL_of
See Also:
Constant Field Values

LITERAL_forward

static final int LITERAL_forward
See Also:
Constant Field Values

LITERAL_simulation

static final int LITERAL_simulation
See Also:
Constant Field Values

LITERAL_from

static final int LITERAL_from
See Also:
Constant Field Values

LITERAL_to

static final int LITERAL_to
See Also:
Constant Field Values

LITERAL_backward

static final int LITERAL_backward
See Also:
Constant Field Values

LITERAL_proof

static final int LITERAL_proof
See Also:
Constant Field Values

LITERAL_start

static final int LITERAL_start
See Also:
Constant Field Values

LITERAL_trajectory

static final int LITERAL_trajectory
See Also:
Constant Field Values

LITERAL_ignore

static final int LITERAL_ignore
See Also:
Constant Field Values

LITERAL_using

static final int LITERAL_using
See Also:
Constant Field Values

OPCHAR

static final int OPCHAR
See Also:
Constant Field Values

OPCHAR1

static final int OPCHAR1
See Also:
Constant Field Values

FUNNY_OP

static final int FUNNY_OP
See Also:
Constant Field Values

DIGITS0

static final int DIGITS0
See Also:
Constant Field Values

DIGITS

static final int DIGITS
See Also:
Constant Field Values

LITERAL

static final int LITERAL
See Also:
Constant Field Values

WS

static final int WS
See Also:
Constant Field Values

CMT

static final int CMT
See Also:
Constant Field Values