All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class jkp.YYtokentypes

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

public abstract class YYtokentypes
extends Object

Variable Index

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

Constructor Index

 o YYtokentypes()

Method Index

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

Variables

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

Constructors

 o YYtokentypes
 public YYtokentypes()

Methods

 o
 static void ()
 o tokenname
 public static String tokenname(Integer t)
 o tokenname
 public static String tokenname(int t)
 o nontermname
 public static String nontermname(int t)

All Packages  Class Hierarchy  This Package  Previous  Next  Index