edu.mit.csail.sdg.alloy4compiler.parser
Class CompParser

java.lang.Object
  java_cup.runtime.lr_parser
      edu.mit.csail.sdg.alloy4compiler.parser.CompParser

public class CompParser
extends lr_parser

CUP v0.11a beta 20060608 generated parser.

Version:

Tue Nov 08 16:09:13 EST 2011

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 edu.mit.csail.sdg.alloy4compiler.parser.CUP$CompParser$actions	action_obj Instance of action encapsulation class.
CompModule	alloymodule

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, symbolFactory, tos

Constructor Summary

CompParser()
Default constructor.

CompParser(Scanner s)
Constructor which sets the default scanner.

CompParser(Scanner s, SymbolFactory sf)
Constructor which sets the default scanner.

Method Summary

short[][]	action_table() Access to parse-action table.
Symbol	do_action(int act_num, 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.
Symbol	parse() This method provides the main parsing routine.
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.
void	syntax_error(Symbol x) This method is called when a syntax error has been detected and recovery is about to be invoked.

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, getSymbolFactory, parse_lookahead, read_lookahead, report_error, report_fatal_error, restart_lookahead, scan, setScanner, shift_under_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 edu.mit.csail.sdg.alloy4compiler.parser.CUP$CompParser$actions action_obj

Instance of action encapsulation class.

alloymodule

public CompModule alloymodule

Constructor Detail

CompParser

public CompParser()

Default constructor.

CompParser

public CompParser(Scanner s)

Constructor which sets the default scanner.

CompParser

public CompParser(Scanner s,
                  SymbolFactory sf)

Constructor which sets the default scanner.

Method Detail

production_table

public short[][] production_table()

Access to production table.

Specified by:

production_table in class lr_parser

action_table

public short[][] action_table()

Access to parse-action table.

Specified by:

action_table in class lr_parser

See Also:

lr_parser.get_action(int, int)

reduce_table

public short[][] reduce_table()

Access to reduce_goto table.

Specified by:

reduce_table in class lr_parser

See Also:

lr_parser.get_reduce(int, int)

init_actions

protected void init_actions()

Action encapsulation object initializer.

Specified by:

init_actions in class lr_parser

do_action

public Symbol do_action(int act_num,
                        lr_parser parser,
                        java.util.Stack stack,
                        int top)
                 throws java.lang.Exception

Invoke a user supplied parse action.

Specified by:

do_action in class 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.

Throws:

java.lang.Exception

start_state

public int start_state()

Indicates start state.

Specified by:

start_state in class lr_parser

start_production

public int start_production()

Indicates start production.

Specified by:

start_production in class lr_parser

EOF_sym

public int EOF_sym()

EOF Symbol index.

Specified by:

EOF_sym in class lr_parser

error_sym

public int error_sym()

error Symbol index.

Specified by:

error_sym in class lr_parser

parse

public Symbol parse()
             throws java.lang.Exception

Description copied from class: lr_parser

This method provides the main parsing routine. It returns only when done_parsing() has been called (typically because the parser has accepted, or a fatal error has been reported). See the header documentation for the class regarding how shift/reduce parsers operate and how the various tables are used.

Overrides:

parse in class lr_parser

Throws:

java.lang.Exception

syntax_error

public void syntax_error(Symbol x)
                  throws Err

Description copied from class: lr_parser

This method is called when a syntax error has been detected and recovery is about to be invoked. Here in the base class we just emit a "Syntax error" error message.

Overrides:

syntax_error in class lr_parser

Parameters:

x - the current lookahead Symbol.

Throws:

Err