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

Variable Index

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

Constructor Index

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

Method Index

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

Variables

o Goto 
 protected int Goto
o yynewstate 
 protected static final int yynewstate
o yybackup 
 protected static final int yybackup
o yydefault 
 protected static final int yydefault
o yyreduce 
 protected static final int yyreduce
o yyerrlab 
 protected static final int yyerrlab
o yyerrlab1 
 protected static final int yyerrlab1
o yyerrdefault 
 protected static final int yyerrdefault
o yyerrpop 
 protected static final int yyerrpop
o yyerrhandle 
 protected static final int yyerrhandle
o YYCONTINUE 
 public static final int YYCONTINUE
o YYACCEPT 
 public static final int YYACCEPT
o YYABORT 
 public static final int YYABORT
o YYEOF 
 public static final int YYEOF
o YYEMPTY 
 protected static final int YYEMPTY
o YYTERROR 
 protected static final int YYTERROR
o YYTERRCODE 
 protected static final int YYTERRCODE
o YYFINAL 
 public static final int YYFINAL
o YYFLAG 
 public static final int YYFLAG
o YYNTBASE 
 public static final int YYNTBASE
o YYLAST 
 public static final int YYLAST
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
o yyreturn 
 protected int yyreturn
o yystate 
 protected int yystate
o yyn 
 protected int yyn
o yylen 
 protected int yylen
o yychar 
 protected int yychar
o yychar1 
 protected int yychar1
o yynerrs 
 protected int yynerrs
o yydebug 
 protected int yydebug
o yyerrstatus 
 protected int yyerrstatus
o yytext 
 public StringBuffer yytext
o yyloc 
 public YYlocation yyloc
o yylval 
 public Integer yylval
o yyval 
 protected Object yyval
o yyss 
 protected Int_Stack yyss
o yyvs 
 protected Object_Stack yyvs
o yylex 
 protected YYlex yylex
o yyout 
 protected PrintStream yyout
o yytranslate 
 public static final int yytranslate[]
o yyprhs 
 public static final int yyprhs[]
o yyrhs 
 public static final int yyrhs[]
o yyrline 
 public static final int yyrline[]
o yytname 
 public static final String yytname[]
o yyr1 
 public static final int yyr1[]
o yyr2 
 public static final int yyr2[]
o yydefact 
 public static final int yydefact[]
o yydefgoto 
 public static final int yydefgoto[]
o yypact 
 public static final int yypact[]
o yypgoto 
 public static final int yypgoto[]
o yytable 
 public static final int yytable[]
o yycheck 
 public static final int yycheck[]
o parseResult 
 public Parsable parseResult
This variable contains the last Object that has been parsed.

Constructors

o YYparse 
 public YYparse(YYlex yyl,
                PrintStream fout)
o YYparse 
 public YYparse(YYlex yyl)
o 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.
o 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.

Methods

o yyparse 
 public int yyparse() throws Exception, IOException, EmptyStackException
o stackdump 
 protected void stackdump(String s)
o yyerror_verbose 
 public String yyerror_verbose(String msg0) throws ParseException
o yyerror 
 public void yyerror(String msg,
                     boolean verbose,
                     boolean dumpstack) throws ParseException
o yyerror 
 public void yyerror(String s,
                     boolean verbose) throws ParseException
o yyerror 
 public void yyerror(String s) throws ParseException
o yyreturn 
 public void yyreturn(int t)
o setdebug 
 public void setdebug(boolean i)
o setdebug 
 public void setdebug(int i)
o dollar 
 public Object dollar(int i)

All Packages  Class Hierarchy  This Package  Previous  Next  Index