    All Packages  Class Hierarchy  This Package  Previous  Next  Index

# Class jkp.YYtokentypes

    java.lang.Object
       |
       +----jkp.YYtokentypes

public class YYtokentypes
extends Object

##

AND
COND
CONSTANT
DEFFUNCTION
DEFLOGICAL
DEFOBJECT
DEFRELATION
EOF
EQ
EQGREATER
EQLESS
EQUIV
EXISTS
FALSE
FORALL
GREATER
IF
IMPLIED
IMPLIES
INDVAR
INTEGER
LESS
LISTOF
NOT
NOTEQ
OR
PLACEHOLDER
QUOTE
REAL
SEQVAR
STRING
TRUE
Tokentype
YYEOF
nontermmax
nontermmin
nontermnames
nt_form
nt_funterm
nt_logconst
nt_logsent
nt_relconst
nt_relop
nt_relsent
nt_sentence
nt_sentseq
nt_tAND
nt_tCONSTANT
nt_tEQ
nt_tEQGREATER
nt_tEQLESS
nt_tEQUIV
nt_tGREATER
nt_tIMPLIED
nt_tIMPLIES
nt_tINDVAR
nt_tINTEGER
nt_tLESS
nt_tLPAREN
nt_tNOT
nt_tNOTEQ
nt_tOR
nt_tREAL
nt_tRPAREN
nt_tSEQVAR
nt_tSTRING
nt_term
nt_termseq
tokenmax
tokenmin
tokennames

##

YYtokentypes()

##

nontermname(int)
tokenname(Integer)
tokenname(int)

##

EOF

      public final static int EOF

tokenmin

      public final static int tokenmin

tokenmax

      public final static int tokenmax

Tokentype

      public static Integer Tokentype[]

YYEOF

      public final static Integer YYEOF

INDVAR

      public final static Integer INDVAR

SEQVAR

      public final static Integer SEQVAR

TRUE

      public final static Integer TRUE

FALSE

      public final static Integer FALSE

STRING

      public final static Integer STRING

INTEGER

      public final static Integer INTEGER

REAL

      public final static Integer REAL

EQ

      public final static Integer EQ

NOTEQ

      public final static Integer NOTEQ

IMPLIES

      public final static Integer IMPLIES

IMPLIED

      public final static Integer IMPLIED

EQUIV

      public final static Integer EQUIV

EQLESS

      public final static Integer EQLESS

LESS

      public final static Integer LESS

EQGREATER

      public final static Integer EQGREATER

GREATER

      public final static Integer GREATER

QUOTE

      public final static Integer QUOTE

FORALL

      public final static Integer FORALL

EXISTS

      public final static Integer EXISTS

AND

      public final static Integer AND

OR

      public final static Integer OR

NOT

      public final static Integer NOT

IF

      public final static Integer IF

COND

      public final static Integer COND

LISTOF

      public final static Integer LISTOF

DEFOBJECT

      public final static Integer DEFOBJECT

DEFFUNCTION

      public final static Integer DEFFUNCTION

DEFRELATION

      public final static Integer DEFRELATION

DEFLOGICAL

      public final static Integer DEFLOGICAL

CONSTANT

      public final static Integer CONSTANT

PLACEHOLDER

      public final static Integer PLACEHOLDER

tokennames

      public final static String tokennames[]

nontermmin

      public final static int nontermmin

nontermmax

      public final static int nontermmax

nt_form

      public final static int nt_form

nt_sentence

      public final static int nt_sentence

nt_logconst

      public final static int nt_logconst

nt_relsent

      public final static int nt_relsent

nt_relconst

      public final static int nt_relconst

nt_relop

      public final static int nt_relop

nt_logsent

      public final static int nt_logsent

nt_sentseq

      public final static int nt_sentseq

nt_term

      public final static int nt_term

nt_termseq

      public final static int nt_termseq

nt_funterm

      public final static int nt_funterm

nt_tLPAREN

      public final static int nt_tLPAREN

nt_tRPAREN

      public final static int nt_tRPAREN

nt_tINDVAR

      public final static int nt_tINDVAR

nt_tSEQVAR

      public final static int nt_tSEQVAR

nt_tSTRING

      public final static int nt_tSTRING

nt_tINTEGER

      public final static int nt_tINTEGER

nt_tREAL

      public final static int nt_tREAL

nt_tEQ

      public final static int nt_tEQ

nt_tNOTEQ

      public final static int nt_tNOTEQ

nt_tIMPLIES

      public final static int nt_tIMPLIES

nt_tIMPLIED

      public final static int nt_tIMPLIED

nt_tEQUIV

      public final static int nt_tEQUIV

nt_tEQLESS

      public final static int nt_tEQLESS

nt_tLESS

      public final static int nt_tLESS

nt_tEQGREATER

      public final static int nt_tEQGREATER

nt_tGREATER

      public final static int nt_tGREATER

nt_tAND

      public final static int nt_tAND

nt_tOR

      public final static int nt_tOR

nt_tNOT

      public final static int nt_tNOT

nt_tCONSTANT

      public final static int nt_tCONSTANT

nontermnames

      public final static String nontermnames[]

##

YYtokentypes

      public YYtokentypes()

##

tokenname

      public static String tokenname(Integer t)

tokenname

      public static String tokenname(int t)

nontermname

      public static String nontermname(int t)

    All Packages  Class Hierarchy  This Package  Previous  Next  Index