JaCoP.fz
Class Parser

java.lang.Object
  JaCoP.fz.Parser

All Implemented Interfaces:

ParserConstants, ParserTreeConstants

public class Parser
extends java.lang.Object
implements ParserTreeConstants, ParserConstants

Field Summary

Token	jj_nt Next token.
Token	token Current token.
ParserTokenManager	token_source Generated Token Manager.

Fields inherited from interface JaCoP.fz.ParserTreeConstants

JJTANNEXPR, JJTANNOTATION, JJTARRAYLITERAL, JJTBOOLTIEXPRTAIL, JJTCONSTELEM, JJTCONSTRAINT, JJTCONSTRAINTITEMS, JJTINTFLATEXPR, JJTINTLITERALS, JJTINTTIEXPRTAIL, JJTMODEL, JJTMODELEND, jjtNodeName, JJTSCALARFLATEXPR, JJTSETLITERAL, JJTSETTIEXPRTAIL, JJTSOLVEEXPR, JJTSOLVEITEM, JJTSOLVEKIND, JJTVARDECLITEM, JJTVARDECLITEMS, JJTVARIABLEEXPR, JJTVOID

Fields inherited from interface JaCoP.fz.ParserConstants

ARRAY, ASGN, BOOL, COLON, COLONCOLON, COMMA, CONSTRAINT, DEFAULT, DOTDOT, EOF, FALSE, FLOAT, FLOAT_LITERAL, IDENT, INT, INT_LITERAL, LB, LBOX, LP, MAXIMIZE, MINIMIZE, OF, OUTPUT, PREDICATE, RB, RBOX, RP, SATISFY, SC, SET, SHOW, SHOW_COND, SINGLE_LINE_COMMENT, SOLVE, STRING_LITERAL, tokenImage, TRUE, VAR

Constructor Summary

Parser(java.io.InputStream stream)
Constructor with InputStream.

Parser(java.io.InputStream stream, java.lang.String encoding)
Constructor with InputStream and supplied encoding

Parser(ParserTokenManager tm)
Constructor with generated Token Manager.

Parser(java.io.Reader stream)
Constructor.

Method Summary

void	ann_expr()
void	ann_exprs()
void	annotation()
void	annotations()
ArrayAccess	array_access_expr()
void	array_decl_tail(ASTVarDeclItem v)
void	array_literal()
Token	bool_literal()
void	bool_ti_expr_tail()
void	constraint_elem()
void	constraint_item()
void	constraint_items()
void	disable_tracing() Disable tracing.
void	enable_tracing() Enable tracing.
void	flat_expr()
void	flat_exprs()
void	float_ti_expr_tail()
ParseException	generateParseException() Generate ParseException.
Token	getNextToken() Get the next Token.
Token	getToken(int index) Get the specific Token.
Token	ident_anns()
void	int_flat_expr()
int	int_index_expr()
void	int_literals()
void	int_ti_expr_tail()
void	model_end()
void	model() GRAMMER STARTS
void	non_array_flat_expr()
void	non_array_flat_exprs()
void	non_array_ti_expr_tail()
void	output_elem()
void	output_elems()
void	output_item()
void	pred_arg_array_index()
void	pred_arg_array_tail()
void	pred_decl_arg()
void	pred_decl_args()
void	pred_decl_item()
void	pred_decl_items()
void	ReInit(java.io.InputStream stream) Reinitialise.
void	ReInit(java.io.InputStream stream, java.lang.String encoding) Reinitialise.
void	ReInit(ParserTokenManager tm) Reinitialise.
void	ReInit(java.io.Reader stream) Reinitialise.
void	scalar_flat_expr()
void	scalar_flat_exprs()
void	scalar_ti_expr_tail()
void	set_literal()
void	set_ti_expr_tail()
void	solve_expr()
void	solve_item()
void	solve_kind()
void	var_decl_item()
void	var_decl_items()
void	variable_expr()

Methods inherited from class java.lang.Object

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

Field Detail

token_source

public ParserTokenManager token_source

Generated Token Manager.

token

public Token token

Current token.

jj_nt

public Token jj_nt

Next token.

Constructor Detail

Parser

public Parser(java.io.InputStream stream)

Constructor with InputStream.

Parser

public Parser(java.io.InputStream stream,
              java.lang.String encoding)

Constructor with InputStream and supplied encoding

Parser

public Parser(java.io.Reader stream)

Constructor.

Parser

public Parser(ParserTokenManager tm)

Constructor with generated Token Manager.

Method Detail

model

public final void model()
                 throws ParseException

GRAMMER STARTS

Throws:

ParseException

pred_decl_items

public final void pred_decl_items()
                           throws ParseException

Throws:

ParseException

var_decl_items

public final void var_decl_items()
                          throws ParseException

Throws:

ParseException

constraint_items

public final void constraint_items()
                            throws ParseException

Throws:

ParseException

model_end

public final void model_end()
                     throws ParseException

Throws:

ParseException

pred_decl_item

public final void pred_decl_item()
                          throws ParseException

Throws:

ParseException

var_decl_item

public final void var_decl_item()
                         throws ParseException

Throws:

ParseException

array_decl_tail

public final void array_decl_tail(ASTVarDeclItem v)
                           throws ParseException

Throws:

ParseException

ident_anns

public final Token ident_anns()
                       throws ParseException

Throws:

ParseException

constraint_item

public final void constraint_item()
                           throws ParseException

Throws:

ParseException

constraint_elem

public final void constraint_elem()
                           throws ParseException

Throws:

ParseException

solve_item

public final void solve_item()
                      throws ParseException

Throws:

ParseException

solve_kind

public final void solve_kind()
                      throws ParseException

Throws:

ParseException

output_item

public final void output_item()
                       throws ParseException

Throws:

ParseException

output_elems

public final void output_elems()
                        throws ParseException

Throws:

ParseException

output_elem

public final void output_elem()
                       throws ParseException

Throws:

ParseException

pred_decl_args

public final void pred_decl_args()
                          throws ParseException

Throws:

ParseException

pred_decl_arg

public final void pred_decl_arg()
                         throws ParseException

Throws:

ParseException

pred_arg_array_index

public final void pred_arg_array_index()
                                throws ParseException

Throws:

ParseException

pred_arg_array_tail

public final void pred_arg_array_tail()
                               throws ParseException

Throws:

ParseException

non_array_ti_expr_tail

public final void non_array_ti_expr_tail()
                                  throws ParseException

Throws:

ParseException

scalar_ti_expr_tail

public final void scalar_ti_expr_tail()
                               throws ParseException

Throws:

ParseException

bool_ti_expr_tail

public final void bool_ti_expr_tail()
                             throws ParseException

Throws:

ParseException

int_ti_expr_tail

public final void int_ti_expr_tail()
                            throws ParseException

Throws:

ParseException

float_ti_expr_tail

public final void float_ti_expr_tail()
                              throws ParseException

Throws:

ParseException

set_ti_expr_tail

public final void set_ti_expr_tail()
                            throws ParseException

Throws:

ParseException

ann_exprs

public final void ann_exprs()
                     throws ParseException

Throws:

ParseException

ann_expr

public final void ann_expr()
                    throws ParseException

Throws:

ParseException

flat_exprs

public final void flat_exprs()
                      throws ParseException

Throws:

ParseException

flat_expr

public final void flat_expr()
                     throws ParseException

Throws:

ParseException

non_array_flat_exprs

public final void non_array_flat_exprs()
                                throws ParseException

Throws:

ParseException

non_array_flat_expr

public final void non_array_flat_expr()
                               throws ParseException

Throws:

ParseException

scalar_flat_exprs

public final void scalar_flat_exprs()
                             throws ParseException

Throws:

ParseException

scalar_flat_expr

public final void scalar_flat_expr()
                            throws ParseException

Throws:

ParseException

int_flat_expr

public final void int_flat_expr()
                         throws ParseException

Throws:

ParseException

variable_expr

public final void variable_expr()
                         throws ParseException

Throws:

ParseException

solve_expr

public final void solve_expr()
                      throws ParseException

Throws:

ParseException

array_access_expr

public final ArrayAccess array_access_expr()
                                    throws ParseException

Throws:

ParseException

int_index_expr

public final int int_index_expr()
                         throws ParseException

Throws:

ParseException

bool_literal

public final Token bool_literal()
                         throws ParseException

Throws:

ParseException

int_literals

public final void int_literals()
                        throws ParseException

Throws:

ParseException

set_literal

public final void set_literal()
                       throws ParseException

Throws:

ParseException

array_literal

public final void array_literal()
                         throws ParseException

Throws:

ParseException

annotations

public final void annotations()
                       throws ParseException

Throws:

ParseException

annotation

public final void annotation()
                      throws ParseException

Throws:

ParseException

ReInit

public void ReInit(java.io.InputStream stream)

Reinitialise.

ReInit

public void ReInit(java.io.InputStream stream,
                   java.lang.String encoding)

Reinitialise.

ReInit

public void ReInit(java.io.Reader stream)

Reinitialise.

ReInit

public void ReInit(ParserTokenManager tm)

Reinitialise.

getNextToken

public final Token getNextToken()

Get the next Token.

getToken

public final Token getToken(int index)

Get the specific Token.

generateParseException

public ParseException generateParseException()

Generate ParseException.

enable_tracing

public final void enable_tracing()

Enable tracing.

disable_tracing

public final void disable_tracing()

Disable tracing.