Main Page   Packages   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members  

parser Class Reference

Inheritance diagram for parser:
[legend]
Collaboration diagram for parser:
[legend]
List of all members.

Public Methods

 parser ()
 parser (java_cup.runtime.Scanner s)
short[][] action_table ()
java_cup runtime Symbol do_action (int act_num, java_cup.runtime.lr_parser parser, java.util.Stack stack, int top) throws java.lang.Exception
int EOF_sym ()
int error_sym ()
short[][] production_table ()
short[][] reduce_table ()
void report_error (String message, Object info)
int start_production ()
int start_state ()
 parser ()
 parser (java_cup.runtime.Scanner s)
short[][] action_table ()
java_cup runtime Symbol do_action (int act_num, java_cup.runtime.lr_parser parser, java.util.Stack stack, int top) throws java.lang.Exception
int EOF_sym ()
int error_sym ()
short[][] production_table ()
short[][] reduce_table ()
void report_error (String message, Object info)
int start_production ()
int start_state ()

Static Public Attributes

Node tree
int TOKEN = 1
int VAR = 2
int basic_type
int npredicates = 0
Vector tokens = new Vector()
String name
String variable

Protected Methods

void init_actions ()
void init_actions ()

Protected Attributes

CUP parser actions action_obj

Static Protected Attributes

final short _production_table [][]
final short[][] _action_table
final short[][] _reduce_table
final short[][] _action_table
final short[][] _reduce_table

Detailed Description

CUP v0.10k generated parser.
Version:
Fri Sep 29 14:44:07 CDT 2000

Definition at line 48 of file abstraction/pvs/parser.java.

Constructor & Destructor Documentation

parser::parser (    )  [inline]
 

Default constructor.

Definition at line 206 of file abstraction/pvs/parser.java.

parser::parser (  java_cup.runtime.Scanner   s )  [inline]
 

Constructor which sets the default scanner.

Definition at line 208 of file abstraction/pvs/parser.java.

parser::parser (    )  [inline]
 

Default constructor.

Definition at line 78 of file specification/nnf/ltl/parser.java.

parser::parser (  java_cup.runtime.Scanner   s )  [inline]
 

Constructor which sets the default scanner.

Definition at line 80 of file specification/nnf/ltl/parser.java.

Member Function Documentation

int parser::EOF_sym (    )  [inline, virtual]
 

EOF Symbol index.

Reimplemented from lr_parser.

Definition at line 95 of file specification/nnf/ltl/parser.java.

int parser::EOF_sym (    )  [inline, virtual]
 

EOF Symbol index.

Reimplemented from lr_parser.

Definition at line 223 of file abstraction/pvs/parser.java.

short [][] parser::action_table (    )  [inline, virtual]
 

Access to parse-action table.

Reimplemented from lr_parser.

Definition at line 82 of file specification/nnf/ltl/parser.java.

short [][] parser::action_table (    )  [inline, virtual]
 

Access to parse-action table.

Reimplemented from lr_parser.

Definition at line 210 of file abstraction/pvs/parser.java.

java_cup runtime Symbol parser::do_action (  int   act_num,
java_cup.runtime.lr_parser   parser,
java.util.Stack   stack,
int   top
)  [inline]
 

Invoke a user supplied parse action.

Definition at line 84 of file specification/nnf/ltl/parser.java.

java_cup runtime Symbol parser::do_action (  int   act_num,
java_cup.runtime.lr_parser   parser,
java.util.Stack   stack,
int   top
)  [inline]
 

Invoke a user supplied parse action.

Definition at line 212 of file abstraction/pvs/parser.java.

int parser::error_sym (    )  [inline, virtual]
 

error Symbol index.

Reimplemented from lr_parser.

Definition at line 97 of file specification/nnf/ltl/parser.java.

int parser::error_sym (    )  [inline, virtual]
 

error Symbol index.

Reimplemented from lr_parser.

Definition at line 225 of file abstraction/pvs/parser.java.

void parser::init_actions (    )  [inline, protected, virtual]
 

Action encapsulation object initializer.

Reimplemented from lr_parser.

Definition at line 99 of file specification/nnf/ltl/parser.java.

void parser::init_actions (    )  [inline, protected, virtual]
 

Action encapsulation object initializer.

Reimplemented from lr_parser.

Definition at line 227 of file abstraction/pvs/parser.java.

short [][] parser::production_table (    )  [inline, virtual]
 

Access to production table.

Reimplemented from lr_parser.

Definition at line 104 of file specification/nnf/ltl/parser.java.

short [][] parser::production_table (    )  [inline, virtual]
 

Access to production table.

Reimplemented from lr_parser.

Definition at line 232 of file abstraction/pvs/parser.java.

short [][] parser::reduce_table (    )  [inline, virtual]
 

Access to reduce_goto table.

Reimplemented from lr_parser.

Definition at line 106 of file specification/nnf/ltl/parser.java.

short [][] parser::reduce_table (    )  [inline, virtual]
 

Access to reduce_goto table.

Reimplemented from lr_parser.

Definition at line 234 of file abstraction/pvs/parser.java.

void parser::report_error (  String   message,
Object   info
)  [inline]
 

Report a non fatal error (or warning). This method takes a message string and an additional object (to be used by specializations implemented in subclasses). Here in the base class a very simple implementation is provided which simply prints the message to System.err.

Parameters:
message   an error message.
info   an extra object reserved for use by specialized subclasses.

Reimplemented from lr_parser.

Definition at line 107 of file specification/nnf/ltl/parser.java.

void parser::report_error (  String   message,
Object   info
)  [inline]
 

Report a non fatal error (or warning). This method takes a message string and an additional object (to be used by specializations implemented in subclasses). Here in the base class a very simple implementation is provided which simply prints the message to System.err.

Parameters:
message   an error message.
info   an extra object reserved for use by specialized subclasses.

Reimplemented from lr_parser.

Definition at line 235 of file abstraction/pvs/parser.java.

int parser::start_production (    )  [inline, virtual]
 

Indicates start production.

Reimplemented from lr_parser.

Definition at line 114 of file specification/nnf/ltl/parser.java.

int parser::start_production (    )  [inline, virtual]
 

Indicates start production.

Reimplemented from lr_parser.

Definition at line 242 of file abstraction/pvs/parser.java.

int parser::start_state (    )  [inline, virtual]
 

Indicates start state.

Reimplemented from lr_parser.

Definition at line 116 of file specification/nnf/ltl/parser.java.

int parser::start_state (    )  [inline, virtual]
 

Indicates start state.

Reimplemented from lr_parser.

Definition at line 244 of file abstraction/pvs/parser.java.

Member Data Documentation

final short [][] parser::_action_table [static, protected]
 

Initial value:

 
    unpackFromStrings(new String[] {
    "\000\030\000\016\004\012\005\011\006\013\010\010\015" +
    "\007\022\004\001\002\000\016\002\uffff\007\uffff\011\uffff" +
    "\012\uffff\013\uffff\014\uffff\001\002\000\014\002\001\007" +
    "\017\012\015\013\020\014\016\001\002\000\004\002\032" +
    "\001\002\000\016\004\012\005\011\006\013\010\010\015" +
    "\007\022\004\001\002\000\016\004\012\005\011\006\013" +
    "\010\010\015\007\022\004\001\002\000\016\004\012\005" +
    "\011\006\013\010\010\015\007\022\004\001\002\000\016" +
    "\004\012\005\011\006\013\010\010\015\007\022\004\001" +
    "\002\000\016\004\012\005\011\006\013\010\010\015\007" +
    "\022\004\001\002\000\016\002\ufff8\007\ufff8\011\ufff8\012" +
    "\ufff8\013\ufff8\014\ufff8\001\002\000\016\004\012\005\011" +
    "\006\013\010\010\015\007\022\004\001\002\000\016\004" +
    "\012\005\011\006\013\010\010\015\007\022\004\001\002" +
    "\000\016\004\012\005\011\006\013\010\010\015\007\022" +
    "\004\001\002\000\016\004\012\005\011\006\013\010\010" +
    "\015\007\022\004\001\002\000\016\002\ufffc\007\017\011" +
    "\ufffc\012\ufffc\013\ufffc\014\016\001\002\000\016\002\ufff6" +
    "\007\ufff6\011\ufff6\012\ufff6\013\ufff6\014\ufff6\001\002\000" +
    "\016\002\ufffb\007\017\011\ufffb\012\ufffb\013\ufffb\014\ufffb" +
    "\001\002\000\016\002\ufffd\007\017\011\ufffd\012\ufffd\013" +
    "\020\014\016\001\002\000\016\002\ufff9\007\ufff9\011\ufff9" +
    "\012\ufff9\013\ufff9\014\ufff9\001\002\000\016\002\ufff7\007" +
    "\ufff7\011\ufff7\012\ufff7\013\ufff7\014\ufff7\001\002\000\014" +
    "\007\017\011\030\012\015\013\020\014\016\001\002\000" +
    "\016\002\ufffe\007\ufffe\011\ufffe\012\ufffe\013\ufffe\014\ufffe" +
    "\001\002\000\016\002\ufffa\007\017\011\ufffa\012\ufffa\013" +
    "\ufffa\014\ufffa\001\002\000\004\002\000\001\002" })
Parse-action table.

Definition at line 27 of file specification/nnf/ltl/parser.java.

final short [][] parser::_action_table [static, protected]
 

Parse-action table.

Definition at line 65 of file abstraction/pvs/parser.java.

final short parser::_production_table[][] [static, protected]
 

Initial value:

 
    unpackFromStrings(new String[] {
    "\000\036\000\002\003\012\000\002\002\004\000\002\004" +
    "\003\000\002\004\003\000\002\005\010\000\002\007\003" +
    "\000\002\007\005\000\002\013\002\000\002\006\012\000" +
    "\002\010\004\000\002\010\003\000\002\011\006\000\002" +
    "\012\005\000\002\012\005\000\002\012\005\000\002\012" +
    "\005\000\002\012\005\000\002\012\005\000\002\012\005" +
    "\000\002\012\005\000\002\012\005\000\002\012\005\000" +
    "\002\012\005\000\002\012\005\000\002\012\005\000\002" +
    "\012\004\000\002\012\004\000\002\012\005\000\002\012" +
    "\003\000\002\012\003" })
Production table.

Definition at line 19 of file specification/nnf/ltl/parser.java.

final short [][] parser::_reduce_table [static, protected]
 

Initial value:

 
    unpackFromStrings(new String[] {
    "\000\030\000\006\003\005\004\004\001\001\000\002\001" +
    "\001\000\002\001\001\000\002\001\001\000\004\004\030" +
    "\001\001\000\004\004\026\001\001\000\004\004\025\001" +
    "\001\000\004\004\024\001\001\000\004\004\013\001\001" +
    "\000\002\001\001\000\004\004\023\001\001\000\004\004" +
    "\022\001\001\000\004\004\021\001\001\000\004\004\020" +
    "\001\001\000\002\001\001\000\002\001\001\000\002\001" +
    "\001\000\002\001\001\000\002\001\001\000\002\001\001" +
    "\000\002\001\001\000\002\001\001\000\002\001\001\000" +
    "\002\001\001" })
reduce_goto table.

Definition at line 59 of file specification/nnf/ltl/parser.java.

final short [][] parser::_reduce_table [static, protected]
 

Initial value:

 
    unpackFromStrings(new String[] {
    "\000\107\000\004\003\004\001\001\000\002\001\001\000" +
    "\002\001\001\000\002\001\001\000\002\001\001\000\004" +
    "\004\010\001\001\000\002\001\001\000\002\001\001\000" +
    "\002\001\001\000\004\005\014\001\001\000\004\006\027" +
    "\001\001\000\002\001\001\000\002\001\001\000\004\007" +
    "\021\001\001\000\002\001\001\000\002\001\001\000\002" +
    "\001\001\000\002\001\001\000\002\001\001\000\002\001" +
    "\001\000\002\001\001\000\002\001\001\000\002\001\001" +
    "\000\002\001\001\000\004\013\033\001\001\000\002\001" +
    "\001\000\002\001\001\000\010\010\044\011\040\012\045" +
    "\001\001\000\002\001\001\000\004\012\110\001\001\000" +
    "\002\001\001\000\002\001\001\000\004\012\107\001\001" +
    "\000\004\012\105\001\001\000\006\011\103\012\045\001" +
    "\001\000\002\001\001\000\004\012\102\001\001\000\004" +
    "\012\101\001\001\000\004\012\100\001\001\000\004\012" +
    "\077\001\001\000\004\012\076\001\001\000\004\012\075" +
    "\001\001\000\002\001\001\000\004\012\072\001\001\000" +
    "\004\012\071\001\001\000\004\012\070\001\001\000\004" +
    "\012\067\001\001\000\004\012\066\001\001\000\004\012" +
    "\065\001\001\000\004\012\064\001\001\000\002\001\001" +
    "\000\002\001\001\000\002\001\001\000\002\001\001\000" +
    "\002\001\001\000\002\001\001\000\002\001\001\000\002" +
    "\001\001\000\002\001\001\000\002\001\001\000\002\001" +
    "\001\000\002\001\001\000\002\001\001\000\002\001\001" +
    "\000\002\001\001\000\002\001\001\000\002\001\001\000" +
    "\002\001\001\000\002\001\001\000\002\001\001\000\002" +
    "\001\001" })
reduce_goto table.

Definition at line 159 of file abstraction/pvs/parser.java.

CUP parser actions parser::action_obj [protected]
 

Instance of action encapsulation class.

Definition at line 73 of file specification/nnf/ltl/parser.java.

The documentation for this class was generated from the following files:
Generated at Thu Feb 7 07:20:33 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001