    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

##

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

##

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

##

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

##

Goto

     protected int Goto

yynobranch

     protected static final int yynobranch

yy_find_action

     protected static final int yy_find_action

yy_match

     protected static final int yy_match

do_action

     protected static final int do_action

YY_FLEX_MAJOR_VERSION

     public static final int YY_FLEX_MAJOR_VERSION

YY_FLEX_MINOR_VERSION

     public static final int YY_FLEX_MINOR_VERSION

YY_NULL

     public static final int YY_NULL

YY_MORE_ADJ

     public static final int YY_MORE_ADJ

YY_END_OF_BUFFER_CHAR

     public static final int YY_END_OF_BUFFER_CHAR

YY_BUF_SIZE

     public static final int YY_BUF_SIZE

YY_READ_BUF_SIZE

     public static final int YY_READ_BUF_SIZE

EOB_ACT_CONTINUE_SCAN

     public static final int EOB_ACT_CONTINUE_SCAN

EOB_ACT_END_OF_FILE

     public static final int EOB_ACT_END_OF_FILE

EOB_ACT_LAST_MATCH

     public static final int EOB_ACT_LAST_MATCH

YY_START_STACK_INCR

     public static final int YY_START_STACK_INCR

YY_BUFFER_NEW

     public static final int YY_BUFFER_NEW

YY_BUFFER_NORMAL

     public static final int YY_BUFFER_NORMAL

YY_BUFFER_EOF_PENDING

     public static final int YY_BUFFER_EOF_PENDING

YY_NUM_RULES

     public static final int YY_NUM_RULES

YY_END_OF_BUFFER

     public static final int YY_END_OF_BUFFER

YY_SPECIAL

     public static final int YY_SPECIAL

INITIAL

     public static final int INITIAL

EOF

     protected static final int EOF

lexeme

     protected StringBuffer lexeme

yydebug

     public int yydebug

yy_accept

     public static final short yy_accept[]

yy_ec

     public static final int yy_ec[]

yy_nxt

     public static final short yy_nxt[]

yy_meta

     public static final int yy_meta[]

yy_base

     public static final short yy_base[]

yy_def

     public static final short yy_def[]

yy_chk

     public static final short yy_chk[]

CONSTANT

     public static final Integer CONSTANT

VARIABLE

     public static final Integer VARIABLE

NOT

     public static final Integer NOT

IMPLIES

     public static final Integer IMPLIES

IFF

     public static final Integer IFF

XOR

     public static final Integer XOR

AND

     public static final Integer AND

OR

     public static final Integer OR

FORALL

     public static final Integer FORALL

EXISTS

     public static final Integer EXISTS

LIST

     public static final Integer LIST

TERM

     public static final Integer TERM

LITERAL

     public static final Integer LITERAL

FORMULA

     public static final Integer FORMULA

CLAUSE

     public static final Integer CLAUSE

CLAUSESET

     public static final Integer CLAUSESET

FORMS

     public static final Integer FORMS

##

YYlex

     public YYlex(InputStream fin)

YYlex

     public YYlex()

YYlex

     public YYlex(InputStream fin,
                  PrintStream fout)

##

yylex

     public Integer yylex() throws LexException, IOException, EmptyStackException

yy_push_state

     public void yy_push_state(int new_state)

yy_pop_state

     public void yy_pop_state()

yy_top_state

     protected int yy_top_state()

yyfatalerror

     protected void yyfatalerror(String msg) throws LexException

yylexerror

     public void yylexerror(String s) throws LexException

yyreport

     public YYtoken yyreport(YYtoken yylval)

BEGIN

     protected void BEGIN(int n)

yybegin

     public void yybegin(int n)

YY_START

     public int YY_START()

YY_AT_BOL

     protected int YY_AT_BOL()

YY_STATE_EOF

     protected int YY_STATE_EOF(int st)

YY_SC_TO_UI

     protected int YY_SC_TO_UI(char c)

yy_set_interactive

     public void yy_set_interactive(boolean is_interactive)

yy_set_bol

     protected void yy_set_bol(boolean at_bol)

setdebug

     public void setdebug(boolean d)

setdebug

     public void setdebug(int i)

yyreturn

     public void yyreturn(Integer ttype)

yyreturn

     public void yyreturn(int ttype)

yytext

     public StringBuffer yytext()

lineno

     public int lineno()

charno0

     public int charno0()

charno

     public int charno()

    All Packages  Class Hierarchy  This Package  Previous  Next  Index