    All Packages  Class Hierarchy  This Package  Previous  Next  Index

# Class JavaAgent.resource.fopl.YYparse

    java.lang.Object
       |
       +----JavaAgent.resource.fopl.YYparse

public class YYparse
extends Object

##

AND
CLAUSE
CLAUSESET
CONSTANT
EXISTS
FORALL
FORMS
FORMULA
Goto
IFF
IMPLIES
LIST
LITERAL
NOT
OR
parseResult
  This variable contains the last Object that has been parsed.
TERM
VARIABLE
XOR
YYABORT
YYACCEPT
yybackup
yychar
yychar1
yycheck
YYCONTINUE
yydebug
yydefact
yydefault
yydefgoto
YYEMPTY
YYEOF
yyerrdefault
yyerrhandle
yyerrlab
yyerrlab1
yyerrpop
yyerrstatus
YYFINAL
YYFLAG
YYLAST
yylen
yylex
yyloc
yylval
yyn
yynerrs
yynewstate
YYNTBASE
yyout
yypact
yypgoto
yyprhs
yyr1
yyr2
yyreduce
yyreturn
yyrhs
yyrline
yyss
yystate
yytable
YYTERRCODE
YYTERROR
yytext
yytname
yytranslate
yyval
yyvs

##

YYparse(InputStream)
  This constructor simplifies contructing a FOPL parser for an InputStream.
YYparse(String)
  This constructor simplifies contructing a FOPL parser for a String.
YYparse(YYlex)
YYparse(YYlex, PrintStream)

##

dollar(int)
setdebug(boolean)
setdebug(int)
stackdump(String)
yyerror(String)
yyerror(String, boolean)
yyerror(String, boolean, boolean)
yyerror_verbose(String)
yyparse()
yyreturn(int)

##

Goto

     protected int Goto

yynewstate

     protected static final int yynewstate

yybackup

     protected static final int yybackup

yydefault

     protected static final int yydefault

yyreduce

     protected static final int yyreduce

yyerrlab

     protected static final int yyerrlab

yyerrlab1

     protected static final int yyerrlab1

yyerrdefault

     protected static final int yyerrdefault

yyerrpop

     protected static final int yyerrpop

yyerrhandle

     protected static final int yyerrhandle

YYCONTINUE

     public static final int YYCONTINUE

YYACCEPT

     public static final int YYACCEPT

YYABORT

     public static final int YYABORT

YYEOF

     public static final int YYEOF

YYEMPTY

     protected static final int YYEMPTY

YYTERROR

     protected static final int YYTERROR

YYTERRCODE

     protected static final int YYTERRCODE

YYFINAL

     public static final int YYFINAL

YYFLAG

     public static final int YYFLAG

YYNTBASE

     public static final int YYNTBASE

YYLAST

     public static final int YYLAST

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

yyreturn

     protected int yyreturn

yystate

     protected int yystate

yyn

     protected int yyn

yylen

     protected int yylen

yychar

     protected int yychar

yychar1

     protected int yychar1

yynerrs

     protected int yynerrs

yydebug

     protected int yydebug

yyerrstatus

     protected int yyerrstatus

yytext

     public StringBuffer yytext

yyloc

     public YYlocation yyloc

yylval

     public Integer yylval

yyval

     protected Object yyval

yyss

     protected Int_Stack yyss

yyvs

     protected Object_Stack yyvs

yylex

     protected YYlex yylex

yyout

     protected PrintStream yyout

yytranslate

     public static final int yytranslate[]

yyprhs

     public static final int yyprhs[]

yyrhs

     public static final int yyrhs[]

yyrline

     public static final int yyrline[]

yytname

     public static final String yytname[]

yyr1

     public static final int yyr1[]

yyr2

     public static final int yyr2[]

yydefact

     public static final int yydefact[]

yydefgoto

     public static final int yydefgoto[]

yypact

     public static final int yypact[]

yypgoto

     public static final int yypgoto[]

yytable

     public static final int yytable[]

yycheck

     public static final int yycheck[]

parseResult

     public Parsable parseResult

  This variable contains the last Object that has been parsed.

##

YYparse

     public YYparse(YYlex yyl,
                    PrintStream fout)

YYparse

     public YYparse(YYlex yyl)

YYparse

     public YYparse(String FOPLString) throws IOException, Exception

  This constructor simplifies contructing a FOPL parser for a String. The given String is the String to be parsed. If a fresh set of global Variables should be used for this parse then `Variable.newVars()` should be called before this constructor. Using this constructor will automatically invoke parsing and the result will be stored in the staic variable `parseResult` of this class.

  Parameters:
    FOPLString - the String to be parsed
  Throws: Exception
    A number of exceptions can occur during parsing.

YYparse

     public YYparse(InputStream FOPLIStream) throws IOException, Exception

  This constructor simplifies contructing a FOPL parser for an InputStream. The given InputStream is the String to be parsed. If a fresh set of global Variables should be used for this parse then `Variable.newVars()` should be called before this constructor. Using this constructor will automatically invoke parsing and the result will be stored in the staic variable `parseResult` of this class.

  Parameters:
    FOPLIStream - the InputStream from which to parse
  Throws: Exception
    A number of exceptions can occur during parsing or reading from the Stream.

##

yyparse

     public int yyparse() throws Exception, IOException, EmptyStackException

stackdump

     protected void stackdump(String s)

yyerror_verbose

     public String yyerror_verbose(String msg0) throws ParseException

yyerror

     public void yyerror(String msg,
                         boolean verbose,
                         boolean dumpstack) throws ParseException

yyerror

     public void yyerror(String s,
                         boolean verbose) throws ParseException

yyerror

     public void yyerror(String s) throws ParseException

yyreturn

     public void yyreturn(int t)

setdebug

     public void setdebug(boolean i)

setdebug

     public void setdebug(int i)

dollar

     public Object dollar(int i)

    All Packages  Class Hierarchy  This Package  Previous  Next  Index