blog
Class BLOGParser

java.lang.Object
  java_cup.runtime.lr_parser
      blog.BLOGParser

public class BLOGParser
extends java_cup.runtime.lr_parser

CUP v0.10k generated parser.

Nested Class Summary

static class	BLOGParser.CPDSpec Nested class that specifies a CPD with parameters and arguments.
static class	BLOGParser.GenObjSpec Nested class that specifies a origin function and a variable for the generating object.
static class	BLOGParser.ModelEvidenceQueries
static class	BLOGParser.PotentialSpec Nested class that specifies a potential with parameters and arguments.
static class	BLOGParser.TypedVar Nested class that specifies a variable name and a type.
static class	BLOGParser.VarsWithConstraint Nested class that specifies a list of logical variables and a formula that constrains them.

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 blog.CUP$BLOGParser$actions	action_obj Instance of action encapsulation class.
int	omerrs

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

BLOGParser()
Default constructor.

BLOGParser(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.
Evidence	evidence() Returns the evidence object that this parser is using (which may be null).
Function	getFunction(java.lang.String name, java.util.List argTypeList) Returns the Function object corresponding to the given signature, or null if no such function has been declared.
protected void	init_actions() Action encapsulation object initializer.
Model	model() Returns the model that this parser is using.
static void	parseReader(Model model, Evidence evidence, java.util.List queries, boolean doDebugParse, java.io.Reader reader, java.lang.String originName, boolean parsingFromMessage)
static BLOGParser.ModelEvidenceQueries	parseString(Model model, java.lang.String description)
static BLOGParser.ModelEvidenceQueries	parseString(java.lang.String description)
short[][]	production_table() Access to production table.
java.util.List	queries() Returns the query list that this parser is using (which may be null).
short[][]	reduce_table() Access to reduce_goto table.
void	setEvidence(Evidence evidence) Sets the evidence object that this parser will use.
void	setModel(Model model) Sets the model that this parser will use.
static void	setPackagesToSearch(java.util.List packages) Sets the packages that will be searched before the default packages when looking up class names (for CPDs, etc.).
void	setQueries(java.util.List queries) Sets the list to which queries (represented as Query objects) will be appended.
int	start_production() Indicates start production.
int	start_state() Indicates start state.
void	syntax_error(java_cup.runtime.Symbol cur_token)
void	unrecovered_syntax_error(java_cup.runtime.Symbol cur_token)
void	user_init() User initialization code.

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, try_parse_ahead, unpackFromStrings

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 blog.CUP$BLOGParser$actions action_obj

Instance of action encapsulation class.

omerrs

public int omerrs

Constructor Detail

BLOGParser

public BLOGParser()

Default constructor.

BLOGParser

public BLOGParser(java_cup.runtime.Scanner s)

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

user_init

public void user_init()
               throws java.lang.Exception

User initialization code.

Overrides:

user_init in class java_cup.runtime.lr_parser

Throws:

java.lang.Exception

syntax_error

public void syntax_error(java_cup.runtime.Symbol cur_token)

Overrides:

syntax_error in class java_cup.runtime.lr_parser

unrecovered_syntax_error

public void unrecovered_syntax_error(java_cup.runtime.Symbol cur_token)

Overrides:

unrecovered_syntax_error in class java_cup.runtime.lr_parser

setModel

public void setModel(Model model)

Sets the model that this parser will use. If the parser encounters declarations, then the model will be augmented to reflect these declarations. Otherwise, the model will be used to look up the types and functions of the language. You must pass in a non-null model with this method before calling the parse method.

model

public Model model()

Returns the model that this parser is using.

setEvidence

public void setEvidence(Evidence evidence)

Sets the evidence object that this parser will use. When the parser encounters an evidence statement, that evidence is added to this evidence object. Also, the evidence object is used to look up Skolem constants.

evidence

public Evidence evidence()

Returns the evidence object that this parser is using (which may be null).

setQueries

public void setQueries(java.util.List queries)

Sets the list to which queries (represented as Query objects) will be appended.

queries

public java.util.List queries()

Returns the query list that this parser is using (which may be null).

getFunction

public Function getFunction(java.lang.String name,
                            java.util.List argTypeList)

Returns the Function object corresponding to the given signature, or null if no such function has been declared. Uses the function table in model, as well as the Skolem constant table in evidence if evidence is not null.

setPackagesToSearch

public static void setPackagesToSearch(java.util.List packages)

Sets the packages that will be searched before the default packages when looking up class names (for CPDs, etc.). The given packages are searched in the order they are listed.

Parameters:

packages - List of String objects

parseReader

public static void parseReader(Model model,
                               Evidence evidence,
                               java.util.List queries,
                               boolean doDebugParse,
                               java.io.Reader reader,
                               java.lang.String originName,
                               boolean parsingFromMessage)
                        throws java.lang.Exception

Throws:

java.lang.Exception

parseString

public static BLOGParser.ModelEvidenceQueries parseString(java.lang.String description)
                                                   throws java.lang.Exception

Throws:

java.lang.Exception

parseString

public static BLOGParser.ModelEvidenceQueries parseString(Model model,
                                                          java.lang.String description)
                                                   throws java.lang.Exception

Throws:

java.lang.Exception