org.processmining.ltl2automaton.plugins.cup_parser

Class ParserCup

java.lang.Object

java_cup.runtime.lr_parser

org.processmining.ltl2automaton.plugins.cup_parser.ParserCup

public class ParserCup
extends java_cup.runtime.lr_parser

CUP v0.11a beta 20060608 generated parser.

Version:

Thu Sep 15 16:29:45 CEST 2011

Field Summary

Fields

Modifier and Type	Field and Description
protected static short[][]	_action_table Parse-action table.
protected static short[][]	_production_table Production table.
protected static short[][]	_reduce_table reduce_goto table.
protected org.processmining.ltl2automaton.plugins.cup_parser.CUP$ParserCup$actions	action_obj Instance of action encapsulation class.

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

Constructors

Constructor and Description
ParserCup() Default constructor.
ParserCup(java_cup.runtime.Scanner s) Constructor which sets the default scanner.
ParserCup(java_cup.runtime.Scanner s, java_cup.runtime.SymbolFactory sf) Constructor which sets the default scanner.

Method Summary

Modifier and Type	Method and Description
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.
void	report_error(java.lang.String message, java.lang.Object info)
void	report_fatal_error(java.lang.String message, java.lang.Object info)
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, expected_token_ids, find_recovery_config, get_action, get_reduce, getScanner, getSymbolContainer, getSymbolFactory, parse_lookahead, parse, read_lookahead, report_expected_token_ids, restart_lookahead, scan, setScanner, shift_under_error, symbl_name_from_id, 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 org.processmining.ltl2automaton.plugins.cup_parser.CUP$ParserCup$actions action_obj

Instance of action encapsulation class.

Constructor Detail

ParserCup

public ParserCup()

Default constructor.

ParserCup

public ParserCup(java_cup.runtime.Scanner s)

Constructor which sets the default scanner.

ParserCup

public ParserCup(java_cup.runtime.Scanner s,
                 java_cup.runtime.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 java_cup.runtime.lr_parser

action_table

public short[][] action_table()

Access to parse-action table.

Specified by:

action_table in class java_cup.runtime.lr_parser

reduce_table

public short[][] reduce_table()

Access to reduce_goto table.

Specified by:

reduce_table in class java_cup.runtime.lr_parser

init_actions

protected void init_actions()

Action encapsulation object initializer.

Specified by:

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.

Specified by:

do_action in class java_cup.runtime.lr_parser

Throws:

java.lang.Exception

start_state

public int start_state()

Indicates start state.

Specified by:

start_state in class java_cup.runtime.lr_parser

start_production

public int start_production()

Indicates start production.

Specified by:

start_production in class java_cup.runtime.lr_parser

EOF_sym

public int EOF_sym()

EOF Symbol index.

Specified by:

EOF_sym in class java_cup.runtime.lr_parser

error_sym

public int error_sym()

error Symbol index.

Specified by:

error_sym in class java_cup.runtime.lr_parser

report_error

public void report_error(java.lang.String message,
                         java.lang.Object info)

Overrides:

report_error in class java_cup.runtime.lr_parser

See Also:

lr_parser.report_error(java.lang.String, java.lang.Object)

report_fatal_error

public void report_fatal_error(java.lang.String message,
                               java.lang.Object info)
                        throws java.lang.Exception

Overrides:

report_fatal_error in class java_cup.runtime.lr_parser

Throws:

java.lang.Exception

See Also:

lr_parser.report_fatal_error(java.lang.String, java.lang.Object)