All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class JavaAgent.resource.fopl.YYlex 

java.lang.Object
   |
   +----JavaAgent.resource.fopl.YYlex
public class YYlex
extends Object

Variable Index

o AND
o CLAUSE
o CLAUSESET
o CONSTANT
o do_action
o EOB_ACT_CONTINUE_SCAN
o EOB_ACT_END_OF_FILE
o EOB_ACT_LAST_MATCH
o EOF
o EXISTS
o FORALL
o FORMS
o FORMULA
o Goto
o IFF
o IMPLIES
o INITIAL
o lexeme
o LIST
o LITERAL
o NOT
o OR
o TERM
o VARIABLE
o XOR
o yy_accept
o yy_base
o YY_BUF_SIZE
o YY_BUFFER_EOF_PENDING
o YY_BUFFER_NEW
o YY_BUFFER_NORMAL
o yy_chk
o yy_def
o yy_ec
o YY_END_OF_BUFFER
o YY_END_OF_BUFFER_CHAR
o yy_find_action
o YY_FLEX_MAJOR_VERSION
o YY_FLEX_MINOR_VERSION
o yy_match
o yy_meta
o YY_MORE_ADJ
o YY_NULL
o YY_NUM_RULES
o yy_nxt
o YY_READ_BUF_SIZE
o YY_SPECIAL
o YY_START_STACK_INCR
o yydebug
o yynobranch

Constructor Index

o YYlex()
o YYlex(InputStream)
o YYlex(InputStream, PrintStream)

Method Index

o BEGIN(int)
o charno()
o charno0()
o lineno()
o setdebug(boolean)
o setdebug(int)
o YY_AT_BOL()
o yy_pop_state()
o yy_push_state(int)
o YY_SC_TO_UI(char)
o yy_set_bol(boolean)
o yy_set_interactive(boolean)
o YY_START()
o YY_STATE_EOF(int)
o yy_top_state()
o yybegin(int)
o yyfatalerror(String)
o yylex()
o yylexerror(String)
o yyreport(YYtoken)
o yyreturn(int)
o yyreturn(Integer)
o yytext()

Variables

o Goto 
 protected int Goto
o yynobranch 
 protected static final int yynobranch
o yy_find_action 
 protected static final int yy_find_action
o yy_match 
 protected static final int yy_match
o do_action 
 protected static final int do_action
o YY_FLEX_MAJOR_VERSION 
 public static final int YY_FLEX_MAJOR_VERSION
o YY_FLEX_MINOR_VERSION 
 public static final int YY_FLEX_MINOR_VERSION
o YY_NULL 
 public static final int YY_NULL
o YY_MORE_ADJ 
 public static final int YY_MORE_ADJ
o YY_END_OF_BUFFER_CHAR 
 public static final int YY_END_OF_BUFFER_CHAR
o YY_BUF_SIZE 
 public static final int YY_BUF_SIZE
o YY_READ_BUF_SIZE 
 public static final int YY_READ_BUF_SIZE
o EOB_ACT_CONTINUE_SCAN 
 public static final int EOB_ACT_CONTINUE_SCAN
o EOB_ACT_END_OF_FILE 
 public static final int EOB_ACT_END_OF_FILE
o EOB_ACT_LAST_MATCH 
 public static final int EOB_ACT_LAST_MATCH
o YY_START_STACK_INCR 
 public static final int YY_START_STACK_INCR
o YY_BUFFER_NEW 
 public static final int YY_BUFFER_NEW
o YY_BUFFER_NORMAL 
 public static final int YY_BUFFER_NORMAL
o YY_BUFFER_EOF_PENDING 
 public static final int YY_BUFFER_EOF_PENDING
o YY_NUM_RULES 
 public static final int YY_NUM_RULES
o YY_END_OF_BUFFER 
 public static final int YY_END_OF_BUFFER
o YY_SPECIAL 
 public static final int YY_SPECIAL
o INITIAL 
 public static final int INITIAL
o EOF 
 protected static final int EOF
o lexeme 
 protected StringBuffer lexeme
o yydebug 
 public int yydebug
o yy_accept 
 public static final short yy_accept[]
o yy_ec 
 public static final int yy_ec[]
o yy_nxt 
 public static final short yy_nxt[]
o yy_meta 
 public static final int yy_meta[]
o yy_base 
 public static final short yy_base[]
o yy_def 
 public static final short yy_def[]
o yy_chk 
 public static final short yy_chk[]
o CONSTANT 
 public static final Integer CONSTANT
o VARIABLE 
 public static final Integer VARIABLE
o NOT 
 public static final Integer NOT
o IMPLIES 
 public static final Integer IMPLIES
o IFF 
 public static final Integer IFF
o XOR 
 public static final Integer XOR
o AND 
 public static final Integer AND
o OR 
 public static final Integer OR
o FORALL 
 public static final Integer FORALL
o EXISTS 
 public static final Integer EXISTS
o LIST 
 public static final Integer LIST
o TERM 
 public static final Integer TERM
o LITERAL 
 public static final Integer LITERAL
o FORMULA 
 public static final Integer FORMULA
o CLAUSE 
 public static final Integer CLAUSE
o CLAUSESET 
 public static final Integer CLAUSESET
o FORMS 
 public static final Integer FORMS

Constructors

o YYlex 
 public YYlex(InputStream fin)
o YYlex 
 public YYlex()
o YYlex 
 public YYlex(InputStream fin,
              PrintStream fout)

Methods

o yylex 
 public Integer yylex() throws LexException, IOException, EmptyStackException
o yy_push_state 
 public void yy_push_state(int new_state)
o yy_pop_state 
 public void yy_pop_state()
o yy_top_state 
 protected int yy_top_state()
o yyfatalerror 
 protected void yyfatalerror(String msg) throws LexException
o yylexerror 
 public void yylexerror(String s) throws LexException
o yyreport 
 public YYtoken yyreport(YYtoken yylval)
o BEGIN 
 protected void BEGIN(int n)
o yybegin 
 public void yybegin(int n)
o YY_START 
 public int YY_START()
o YY_AT_BOL 
 protected int YY_AT_BOL()
o YY_STATE_EOF 
 protected int YY_STATE_EOF(int st)
o YY_SC_TO_UI 
 protected int YY_SC_TO_UI(char c)
o yy_set_interactive 
 public void yy_set_interactive(boolean is_interactive)
o yy_set_bol 
 protected void yy_set_bol(boolean at_bol)
o setdebug 
 public void setdebug(boolean d)
o setdebug 
 public void setdebug(int i)
o yyreturn 
 public void yyreturn(Integer ttype)
o yyreturn 
 public void yyreturn(int ttype)
o yytext 
 public StringBuffer yytext()
o lineno 
 public int lineno()
o charno0 
 public int charno0()
o charno 
 public int charno()

All Packages  Class Hierarchy  This Package  Previous  Next  Index