Edward Venator
EECS 337 HW3 Assignment
Output from yacc when run on test.txt:
-------------------------------------------
decls->empty
type->basic
decl->type id
decls->decls decl
type->basic
decl->type id
decls->decls decl
type->basic
decl->type id
decls->decls decl
type->basic
decl->type id
decls->decls decl
type->basic
type->type [ num ]
decl->type id
decls->decls decl
stmts->empty
factor-> BOOL
unary-> factor
term-> unary
expr-> term
rel->expr
equality->rel
join->equality
bool->join
decls->empty
stmts->empty
loc->id;
loc->id;
factor-> loc
unary-> factor
term-> unary
expr-> term
factor-> NUM
unary-> factor
term-> unary
expr-> expr + term;
rel->expr
equality->rel
join->equality
bool->join
stmt->loc = bool ;
loc->id;
loc->id;
factor-> loc
unary-> factor
term-> unary
expr-> term
rel->expr
equality->rel
join->equality
bool->join
loc->loc ( bool )
factor-> loc
unary-> factor
term-> unary
expr-> term
loc->id;
factor-> loc
unary-> factor
term-> unary
expr-> term
rel->expr <= expr
equality->rel
join->equality
bool->join
stmt->do stmt while ( bool ) ;
stmts->stmts stmt
loc->id;
loc->id;
factor-> loc
unary-> factor
term-> unary
expr-> term
factor-> NUM
unary-> factor
term-> unary
expr-> expr - term
rel->expr
equality->rel
join->equality
bool->join
stmt->loc = bool ;
loc->id;
loc->id;
factor-> loc
unary-> factor
term-> unary
expr-> term
rel->expr
equality->rel
join->equality
bool->join
loc->loc ( bool )
factor-> loc
unary-> factor
term-> unary
expr-> term
loc->id;
factor-> loc
unary-> factor
term-> unary
expr-> term
rel->expr > expr
equality->rel
join->equality
bool->join
stmt->do stmt while ( bool ) ;
stmts->stmts stmt
loc->id;
factor-> loc
unary-> factor
term-> unary
expr-> term
loc->id;
factor-> loc
unary-> factor
term-> unary
expr-> term
rel->expr >= expr
equality->rel
join->equality
bool->join
stmt->break;
stmt->if ( bool ) stmt
stmts->stmts stmt
loc->id;
loc->id;
loc->id;
factor-> loc
unary-> factor
term-> unary
expr-> term
rel->expr
equality->rel
join->equality
bool->join
loc->loc ( bool )
factor-> loc
unary-> factor
term-> unary
expr-> term
rel->expr
equality->rel
join->equality
bool->join
stmt->loc = bool ;
stmts->stmts stmt
loc->id;
loc->id;
factor-> loc
unary-> factor
term-> unary
expr-> term
rel->expr
equality->rel
join->equality
bool->join
loc->loc ( bool )
loc->id;
loc->id;
factor-> loc
unary-> factor
term-> unary
expr-> term
rel->expr
equality->rel
join->equality
bool->join
loc->loc ( bool )
factor-> loc
unary-> factor
term-> unary
expr-> term
rel->expr
equality->rel
join->equality
bool->join
stmt->loc = bool ;
stmts->stmts stmt
loc->id;
loc->id;
factor-> loc
unary-> factor
term-> unary
expr-> term
rel->expr
equality->rel
join->equality
bool->join
loc->loc ( bool )
loc->id;
factor-> loc
unary-> factor
term-> unary
expr-> term
rel->expr
equality->rel
join->equality
bool->join
stmt->loc = bool ;
stmts->stmts stmt
block->{ decls stmts }
stmt->block;
stmt->while ( bool ) stmt
stmts->stmts stmt
block->{ decls stmts }
program->block


Parsing Result: 
	Parser Returns: 0
	Errors Found: 0

Symbol Table:
	[a] => {type=float, dimension=1, size=100,  subsize={type=float, dimension=0, size=0,  subsize=NULL}}
	[x] => {type=float, dimension=0, size=0,  subsize=NULL}
	[v] => {type=float, dimension=0, size=0,  subsize=NULL}
	[j] => {type=int, dimension=0, size=0,  subsize=NULL}
	[i] => {type=int, dimension=0, size=0,  subsize=NULL}


Program End