proof.parse
Class parser

java.lang.Object
  |
  +--java_cup.runtime.lr_parser
        |
        +--proof.parse.parser

public class parser

extends java_cup.runtime.lr_parser

CUP v0.10k generated parser.

Field Summary

protected static short[][]	_action_table Parse-action table.
protected static short[][]	_production_table Production table.
protected static short[][]	_reduce_table reduce_goto table.
protected proof.parse.CUP$parser$actions	action_obj Instance of action encapsulation class.
java.util.Hashtable	termCache Cache of Terms being loaded, indexed by URL.
java.net.URL	url Base URL of this file, used so that relative URLs work.

Fields inherited from class java_cup.runtime.lr_parser

_done_parsing, _error_sync_size, action_tab, cur_token, lookahead, lookahead_pos, production_tab, reduce_tab, stack, tos

Constructor Summary

parser()
Default constructor.

parser(java_cup.runtime.Scanner s)
Constructor which sets the default scanner.

Method Summary

short[][]	action_table() Access to parse-action table.
java_cup.runtime.Symbol	do_action(int act_num, java_cup.runtime.lr_parser parser, java.util.Stack stack, int top) Invoke a user supplied parse action.
int	EOF_sym() EOF Symbol index.
int	error_sym() error Symbol index.
protected void	init_actions() Action encapsulation object initializer.
short[][]	production_table() Access to production table.
short[][]	reduce_table() Access to reduce_goto table.
int	start_production() Indicates start production.
int	start_state() Indicates start state.

Methods inherited from class java_cup.runtime.lr_parser

advance_lookahead, cur_err_token, debug_message, debug_parse, debug_reduce, debug_shift, debug_stack, done_parsing, dump_stack, error_recovery, error_sync_size, find_recovery_config, get_action, get_reduce, getScanner, parse_lookahead, parse, read_lookahead, report_error, report_fatal_error, restart_lookahead, scan, setScanner, shift_under_error, syntax_error, try_parse_ahead, unpackFromStrings, unrecovered_syntax_error, user_init

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

_production_table

protected static final short[][] _production_table

Production table.

_action_table

protected static final short[][] _action_table

Parse-action table.

_reduce_table

protected static final short[][] _reduce_table

reduce_goto table.

action_obj

protected proof.parse.CUP$parser$actions action_obj

Instance of action encapsulation class.

termCache

public java.util.Hashtable termCache

Cache of Terms being loaded, indexed by URL. As a URL is being loaded, it has a String put in here, to catch circular dependencies.

url

public java.net.URL url

Base URL of this file, used so that relative URLs work.

Constructor Detail

parser

public parser()

Default constructor.

parser

public parser(java_cup.runtime.Scanner s)

Constructor which sets the default scanner.

Method Detail

production_table

public short[][] production_table()

Access to production table.

Overrides:

production_table in class java_cup.runtime.lr_parser

action_table

public short[][] action_table()

Access to parse-action table.

Overrides:

action_table in class java_cup.runtime.lr_parser

Following copied from class: java_cup.runtime.lr_parser

See Also:

lr_parser.get_action(int, int)

reduce_table

public short[][] reduce_table()

Access to reduce_goto table.

Overrides:

reduce_table in class java_cup.runtime.lr_parser

Following copied from class: java_cup.runtime.lr_parser

See Also:

lr_parser.get_reduce(int, int)

init_actions

protected void init_actions()

Action encapsulation object initializer.

Overrides:

init_actions in class java_cup.runtime.lr_parser

do_action

public 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

Invoke a user supplied parse action.

Overrides:

do_action in class java_cup.runtime.lr_parser

Following copied from class: java_cup.runtime.lr_parser

Parameters:

act_num - the internal index of the action to be performed.

parser - the parser object we are acting for.

stack - the parse stack of that object.

top - the index of the top element of the parse stack.

start_state

public int start_state()

Indicates start state.

Overrides:

start_state in class java_cup.runtime.lr_parser

start_production

public int start_production()

Indicates start production.

Overrides:

start_production in class java_cup.runtime.lr_parser

EOF_sym

public int EOF_sym()

EOF Symbol index.

Overrides:

EOF_sym in class java_cup.runtime.lr_parser

error_sym

public int error_sym()

error Symbol index.

Overrides:

error_sym in class java_cup.runtime.lr_parser