// $ANTLR 2.7.7 (2006-11-01): "scopeChecker.g" -> "PtalonScopeChecker.java"$
/*
Copyright (c) 2006-2007 The Regents of the University of California.
All rights reserved.
Permission is hereby granted, without written agreement and without
license or royalty fees, to use, copy, modify, and distribute this
software and its documentation for any purpose, provided that the above
copyright notice and the following two paragraphs appear in all copies
of this software.
IN NO EVENT SHALL THE UNIVERSITY OF CALIFORNIA BE LIABLE TO ANY PARTY
FOR DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES
ARISING OUT OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF
THE UNIVERSITY OF CALIFORNIA HAS BEEN ADVISED OF THE POSSIBILITY OF
SUCH DAMAGE.
THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY WARRANTIES,
INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE SOFTWARE
PROVIDED HEREUNDER IS ON AN "AS IS" BASIS, AND THE UNIVERSITY OF
CALIFORNIA HAS NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, UPDATES,
ENHANCEMENTS, OR MODIFICATIONS.
PT_COPYRIGHT_VERSION_2
COPYRIGHTENDKEY
*/
package ptolemy.actor.ptalon;
import antlr.ASTPair;
import antlr.NoViableAltException;
import antlr.RecognitionException;
import antlr.collections.AST;
/**
PtalonScopeChecker.java generated from populator.g by ANTLR.
@author Adam Cataldo, Elaine Cheong, Thomas Huining Feng
@version $Id$
@since Ptolemy II 7.0
@Pt.ProposedRating Red (celaine)
@Pt.AcceptedRating Red (celaine)
*/
public class PtalonScopeChecker extends antlr.TreeParser implements
PtalonScopeCheckerTokenTypes {
private PtalonEvaluator info;
public PtalonEvaluator getCodeManager() {
return info;
}
public PtalonScopeChecker() {
tokenNames = _tokenNames;
}
public final void port_declaration(AST _t) throws RecognitionException,
PtalonScopeException {
returnAST = null;
ASTPair currentAST = new ASTPair();
PtalonAST port_declaration_AST = null;
PtalonAST a = null;
PtalonAST a_AST = null;
PtalonAST b = null;
PtalonAST b_AST = null;
PtalonAST c = null;
PtalonAST c_AST = null;
PtalonAST d = null;
PtalonAST d_AST = null;
PtalonAST e = null;
PtalonAST e_AST = null;
PtalonAST f = null;
PtalonAST f_AST = null;
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case PORT: {
AST __t2 = _t;
PtalonAST tmp1_AST = null;
tmp1_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp1_AST);
ASTPair __currentAST2 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, PORT);
_t = _t.getFirstChild();
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case ID: {
a = (PtalonAST) _t;
a_AST = (PtalonAST) astFactory.create(a);
astFactory.addASTChild(currentAST, a_AST);
match(_t, ID);
_t = _t.getNextSibling();
info.addSymbol(a.getText(), "port");
break;
}
case DYNAMIC_NAME: {
AST __t4 = _t;
PtalonAST tmp2_AST = null;
tmp2_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp2_AST);
ASTPair __currentAST4 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, DYNAMIC_NAME);
_t = _t.getFirstChild();
PtalonAST tmp3_AST = null;
tmp3_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp3_AST);
match(_t, ID);
_t = _t.getNextSibling();
PtalonAST tmp4_AST = null;
tmp4_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp4_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
currentAST = __currentAST4;
_t = __t4;
_t = _t.getNextSibling();
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
currentAST = __currentAST2;
_t = __t2;
_t = _t.getNextSibling();
port_declaration_AST = (PtalonAST) currentAST.root;
break;
}
case INPORT: {
AST __t5 = _t;
PtalonAST tmp5_AST = null;
tmp5_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp5_AST);
ASTPair __currentAST5 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, INPORT);
_t = _t.getFirstChild();
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case ID: {
b = (PtalonAST) _t;
b_AST = (PtalonAST) astFactory.create(b);
astFactory.addASTChild(currentAST, b_AST);
match(_t, ID);
_t = _t.getNextSibling();
info.addSymbol(b.getText(), "inport");
break;
}
case DYNAMIC_NAME: {
AST __t7 = _t;
PtalonAST tmp6_AST = null;
tmp6_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp6_AST);
ASTPair __currentAST7 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, DYNAMIC_NAME);
_t = _t.getFirstChild();
PtalonAST tmp7_AST = null;
tmp7_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp7_AST);
match(_t, ID);
_t = _t.getNextSibling();
PtalonAST tmp8_AST = null;
tmp8_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp8_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
currentAST = __currentAST7;
_t = __t7;
_t = _t.getNextSibling();
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
currentAST = __currentAST5;
_t = __t5;
_t = _t.getNextSibling();
port_declaration_AST = (PtalonAST) currentAST.root;
break;
}
case OUTPORT: {
AST __t8 = _t;
PtalonAST tmp9_AST = null;
tmp9_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp9_AST);
ASTPair __currentAST8 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, OUTPORT);
_t = _t.getFirstChild();
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case ID: {
c = (PtalonAST) _t;
c_AST = (PtalonAST) astFactory.create(c);
astFactory.addASTChild(currentAST, c_AST);
match(_t, ID);
_t = _t.getNextSibling();
info.addSymbol(c.getText(), "outport");
break;
}
case DYNAMIC_NAME: {
AST __t10 = _t;
PtalonAST tmp10_AST = null;
tmp10_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp10_AST);
ASTPair __currentAST10 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, DYNAMIC_NAME);
_t = _t.getFirstChild();
PtalonAST tmp11_AST = null;
tmp11_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp11_AST);
match(_t, ID);
_t = _t.getNextSibling();
PtalonAST tmp12_AST = null;
tmp12_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp12_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
currentAST = __currentAST10;
_t = __t10;
_t = _t.getNextSibling();
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
currentAST = __currentAST8;
_t = __t8;
_t = _t.getNextSibling();
port_declaration_AST = (PtalonAST) currentAST.root;
break;
}
case MULTIPORT: {
AST __t11 = _t;
PtalonAST tmp13_AST = null;
tmp13_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp13_AST);
ASTPair __currentAST11 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, MULTIPORT);
_t = _t.getFirstChild();
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case ID: {
d = (PtalonAST) _t;
d_AST = (PtalonAST) astFactory.create(d);
astFactory.addASTChild(currentAST, d_AST);
match(_t, ID);
_t = _t.getNextSibling();
info.addSymbol(d.getText(), "multiport");
break;
}
case DYNAMIC_NAME: {
AST __t13 = _t;
PtalonAST tmp14_AST = null;
tmp14_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp14_AST);
ASTPair __currentAST13 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, DYNAMIC_NAME);
_t = _t.getFirstChild();
PtalonAST tmp15_AST = null;
tmp15_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp15_AST);
match(_t, ID);
_t = _t.getNextSibling();
PtalonAST tmp16_AST = null;
tmp16_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp16_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
currentAST = __currentAST13;
_t = __t13;
_t = _t.getNextSibling();
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
currentAST = __currentAST11;
_t = __t11;
_t = _t.getNextSibling();
port_declaration_AST = (PtalonAST) currentAST.root;
break;
}
case MULTIINPORT: {
AST __t14 = _t;
PtalonAST tmp17_AST = null;
tmp17_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp17_AST);
ASTPair __currentAST14 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, MULTIINPORT);
_t = _t.getFirstChild();
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case ID: {
e = (PtalonAST) _t;
e_AST = (PtalonAST) astFactory.create(e);
astFactory.addASTChild(currentAST, e_AST);
match(_t, ID);
_t = _t.getNextSibling();
info.addSymbol(e.getText(), "multiinport");
break;
}
case DYNAMIC_NAME: {
AST __t16 = _t;
PtalonAST tmp18_AST = null;
tmp18_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp18_AST);
ASTPair __currentAST16 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, DYNAMIC_NAME);
_t = _t.getFirstChild();
PtalonAST tmp19_AST = null;
tmp19_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp19_AST);
match(_t, ID);
_t = _t.getNextSibling();
PtalonAST tmp20_AST = null;
tmp20_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp20_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
currentAST = __currentAST16;
_t = __t16;
_t = _t.getNextSibling();
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
currentAST = __currentAST14;
_t = __t14;
_t = _t.getNextSibling();
port_declaration_AST = (PtalonAST) currentAST.root;
break;
}
case MULTIOUTPORT: {
AST __t17 = _t;
PtalonAST tmp21_AST = null;
tmp21_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp21_AST);
ASTPair __currentAST17 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, MULTIOUTPORT);
_t = _t.getFirstChild();
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case ID: {
f = (PtalonAST) _t;
f_AST = (PtalonAST) astFactory.create(f);
astFactory.addASTChild(currentAST, f_AST);
match(_t, ID);
_t = _t.getNextSibling();
info.addSymbol(f.getText(), "multioutport");
break;
}
case DYNAMIC_NAME: {
AST __t19 = _t;
PtalonAST tmp22_AST = null;
tmp22_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp22_AST);
ASTPair __currentAST19 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, DYNAMIC_NAME);
_t = _t.getFirstChild();
PtalonAST tmp23_AST = null;
tmp23_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp23_AST);
match(_t, ID);
_t = _t.getNextSibling();
PtalonAST tmp24_AST = null;
tmp24_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp24_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
currentAST = __currentAST19;
_t = __t19;
_t = _t.getNextSibling();
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
currentAST = __currentAST17;
_t = __t17;
_t = _t.getNextSibling();
port_declaration_AST = (PtalonAST) currentAST.root;
break;
}
default: {
throw new NoViableAltException(_t);
}
}
returnAST = port_declaration_AST;
_retTree = _t;
}
public final void parameter_declaration(AST _t)
throws RecognitionException, PtalonScopeException {
returnAST = null;
ASTPair currentAST = new ASTPair();
PtalonAST parameter_declaration_AST = null;
PtalonAST a = null;
PtalonAST a_AST = null;
PtalonAST b = null;
PtalonAST b_AST = null;
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case PARAMETER: {
AST __t21 = _t;
PtalonAST tmp25_AST = null;
tmp25_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp25_AST);
ASTPair __currentAST21 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, PARAMETER);
_t = _t.getFirstChild();
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case ID: {
a = (PtalonAST) _t;
a_AST = (PtalonAST) astFactory.create(a);
astFactory.addASTChild(currentAST, a_AST);
match(_t, ID);
_t = _t.getNextSibling();
info.addSymbol(a.getText(), "parameter");
break;
}
case DYNAMIC_NAME: {
AST __t23 = _t;
PtalonAST tmp26_AST = null;
tmp26_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp26_AST);
ASTPair __currentAST23 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, DYNAMIC_NAME);
_t = _t.getFirstChild();
PtalonAST tmp27_AST = null;
tmp27_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp27_AST);
match(_t, ID);
_t = _t.getNextSibling();
PtalonAST tmp28_AST = null;
tmp28_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp28_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
currentAST = __currentAST23;
_t = __t23;
_t = _t.getNextSibling();
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
currentAST = __currentAST21;
_t = __t21;
_t = _t.getNextSibling();
parameter_declaration_AST = (PtalonAST) currentAST.root;
break;
}
case ACTOR: {
AST __t24 = _t;
PtalonAST tmp29_AST = null;
tmp29_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp29_AST);
ASTPair __currentAST24 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, ACTOR);
_t = _t.getFirstChild();
b = (PtalonAST) _t;
b_AST = (PtalonAST) astFactory.create(b);
astFactory.addASTChild(currentAST, b_AST);
match(_t, ID);
_t = _t.getNextSibling();
info.addSymbol(b.getText(), "actorparameter");
currentAST = __currentAST24;
_t = __t24;
_t = _t.getNextSibling();
parameter_declaration_AST = (PtalonAST) currentAST.root;
break;
}
default: {
throw new NoViableAltException(_t);
}
}
returnAST = parameter_declaration_AST;
_retTree = _t;
}
public final void assigned_parameter_declaration(AST _t)
throws RecognitionException, PtalonScopeException {
returnAST = null;
ASTPair currentAST = new ASTPair();
PtalonAST assigned_parameter_declaration_AST = null;
PtalonAST a = null;
PtalonAST a_AST = null;
PtalonAST b = null;
PtalonAST b_AST = null;
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case PARAM_EQUALS: {
AST __t26 = _t;
PtalonAST tmp30_AST = null;
tmp30_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp30_AST);
ASTPair __currentAST26 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, PARAM_EQUALS);
_t = _t.getFirstChild();
AST __t27 = _t;
PtalonAST tmp31_AST = null;
tmp31_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp31_AST);
ASTPair __currentAST27 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, PARAMETER);
_t = _t.getFirstChild();
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case ID: {
a = (PtalonAST) _t;
a_AST = (PtalonAST) astFactory.create(a);
astFactory.addASTChild(currentAST, a_AST);
match(_t, ID);
_t = _t.getNextSibling();
info.addSymbol(a.getText(), "parameter");
break;
}
case DYNAMIC_NAME: {
AST __t29 = _t;
PtalonAST tmp32_AST = null;
tmp32_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp32_AST);
ASTPair __currentAST29 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, DYNAMIC_NAME);
_t = _t.getFirstChild();
PtalonAST tmp33_AST = null;
tmp33_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp33_AST);
match(_t, ID);
_t = _t.getNextSibling();
PtalonAST tmp34_AST = null;
tmp34_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp34_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
currentAST = __currentAST29;
_t = __t29;
_t = _t.getNextSibling();
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
currentAST = __currentAST27;
_t = __t27;
_t = _t.getNextSibling();
PtalonAST tmp35_AST = null;
tmp35_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp35_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
currentAST = __currentAST26;
_t = __t26;
_t = _t.getNextSibling();
assigned_parameter_declaration_AST = (PtalonAST) currentAST.root;
break;
}
case ACTOR_EQUALS: {
AST __t30 = _t;
PtalonAST tmp36_AST = null;
tmp36_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp36_AST);
ASTPair __currentAST30 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, ACTOR_EQUALS);
_t = _t.getFirstChild();
AST __t31 = _t;
PtalonAST tmp37_AST = null;
tmp37_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp37_AST);
ASTPair __currentAST31 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, ACTOR);
_t = _t.getFirstChild();
b = (PtalonAST) _t;
b_AST = (PtalonAST) astFactory.create(b);
astFactory.addASTChild(currentAST, b_AST);
match(_t, ID);
_t = _t.getNextSibling();
info.addSymbol(b.getText(), "actorparameter");
currentAST = __currentAST31;
_t = __t31;
_t = _t.getNextSibling();
PtalonAST tmp38_AST = null;
tmp38_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp38_AST);
match(_t, QUALID);
_t = _t.getNextSibling();
currentAST = __currentAST30;
_t = __t30;
_t = _t.getNextSibling();
assigned_parameter_declaration_AST = (PtalonAST) currentAST.root;
break;
}
default: {
throw new NoViableAltException(_t);
}
}
returnAST = assigned_parameter_declaration_AST;
_retTree = _t;
}
public final void relation_declaration(AST _t) throws RecognitionException,
PtalonScopeException {
returnAST = null;
ASTPair currentAST = new ASTPair();
PtalonAST relation_declaration_AST = null;
PtalonAST a = null;
PtalonAST a_AST = null;
AST __t33 = _t;
PtalonAST tmp39_AST = null;
tmp39_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp39_AST);
ASTPair __currentAST33 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, RELATION);
_t = _t.getFirstChild();
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case ID: {
a = (PtalonAST) _t;
a_AST = (PtalonAST) astFactory.create(a);
astFactory.addASTChild(currentAST, a_AST);
match(_t, ID);
_t = _t.getNextSibling();
info.addSymbol(a.getText(), "relation");
break;
}
case DYNAMIC_NAME: {
AST __t35 = _t;
PtalonAST tmp40_AST = null;
tmp40_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp40_AST);
ASTPair __currentAST35 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, DYNAMIC_NAME);
_t = _t.getFirstChild();
PtalonAST tmp41_AST = null;
tmp41_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp41_AST);
match(_t, ID);
_t = _t.getNextSibling();
PtalonAST tmp42_AST = null;
tmp42_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp42_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
currentAST = __currentAST35;
_t = __t35;
_t = _t.getNextSibling();
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
currentAST = __currentAST33;
_t = __t33;
_t = _t.getNextSibling();
relation_declaration_AST = (PtalonAST) currentAST.root;
returnAST = relation_declaration_AST;
_retTree = _t;
}
public final void transparent_relation_declaration(AST _t)
throws RecognitionException, PtalonScopeException {
returnAST = null;
ASTPair currentAST = new ASTPair();
PtalonAST transparent_relation_declaration_AST = null;
PtalonAST a = null;
PtalonAST a_AST = null;
AST __t37 = _t;
PtalonAST tmp43_AST = null;
tmp43_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp43_AST);
ASTPair __currentAST37 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, TRANSPARENT);
_t = _t.getFirstChild();
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case ID: {
a = (PtalonAST) _t;
a_AST = (PtalonAST) astFactory.create(a);
astFactory.addASTChild(currentAST, a_AST);
match(_t, ID);
_t = _t.getNextSibling();
info.addSymbol(a.getText(), "transparent");
break;
}
case DYNAMIC_NAME: {
AST __t39 = _t;
PtalonAST tmp44_AST = null;
tmp44_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp44_AST);
ASTPair __currentAST39 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, DYNAMIC_NAME);
_t = _t.getFirstChild();
PtalonAST tmp45_AST = null;
tmp45_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp45_AST);
match(_t, ID);
_t = _t.getNextSibling();
PtalonAST tmp46_AST = null;
tmp46_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp46_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
currentAST = __currentAST39;
_t = __t39;
_t = _t.getNextSibling();
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
currentAST = __currentAST37;
_t = __t37;
_t = _t.getNextSibling();
transparent_relation_declaration_AST = (PtalonAST) currentAST.root;
returnAST = transparent_relation_declaration_AST;
_retTree = _t;
}
public final void assignment(AST _t) throws RecognitionException,
PtalonScopeException {
returnAST = null;
ASTPair currentAST = new ASTPair();
PtalonAST assignment_AST = null;
PtalonAST a = null;
PtalonAST a_AST = null;
PtalonAST left = null;
PtalonAST left_AST = null;
PtalonAST leftExp = null;
PtalonAST leftExp_AST = null;
PtalonAST b = null;
PtalonAST b_AST = null;
PtalonAST c = null;
PtalonAST c_AST = null;
PtalonAST d = null;
PtalonAST d_AST = null;
PtalonAST e = null;
PtalonAST e_AST = null;
boolean leftDynamic = false;
AST __t41 = _t;
PtalonAST tmp47_AST = null;
tmp47_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp47_AST);
ASTPair __currentAST41 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, ASSIGN);
_t = _t.getFirstChild();
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case ID: {
a = (PtalonAST) _t;
a_AST = (PtalonAST) astFactory.create(a);
astFactory.addASTChild(currentAST, a_AST);
match(_t, ID);
_t = _t.getNextSibling();
break;
}
case DYNAMIC_NAME: {
AST __t43 = _t;
PtalonAST tmp48_AST = null;
tmp48_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp48_AST);
ASTPair __currentAST43 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, DYNAMIC_NAME);
_t = _t.getFirstChild();
left = (PtalonAST) _t;
left_AST = (PtalonAST) astFactory.create(left);
astFactory.addASTChild(currentAST, left_AST);
match(_t, ID);
_t = _t.getNextSibling();
leftExp = (PtalonAST) _t;
leftExp_AST = (PtalonAST) astFactory.create(leftExp);
astFactory.addASTChild(currentAST, leftExp_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
leftDynamic = true;
info.addUnknownLeftSide(left.getText(), leftExp.getText());
currentAST = __currentAST43;
_t = __t43;
_t = _t.getNextSibling();
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case ID:
case DYNAMIC_NAME: {
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case ID: {
b = (PtalonAST) _t;
b_AST = (PtalonAST) astFactory.create(b);
astFactory.addASTChild(currentAST, b_AST);
match(_t, ID);
_t = _t.getNextSibling();
if (!leftDynamic) {
info.addPortAssign(a.getText(), b.getText());
}
break;
}
case DYNAMIC_NAME: {
AST __t46 = _t;
PtalonAST tmp49_AST = null;
tmp49_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp49_AST);
ASTPair __currentAST46 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, DYNAMIC_NAME);
_t = _t.getFirstChild();
c = (PtalonAST) _t;
c_AST = (PtalonAST) astFactory.create(c);
astFactory.addASTChild(currentAST, c_AST);
match(_t, ID);
_t = _t.getNextSibling();
d = (PtalonAST) _t;
d_AST = (PtalonAST) astFactory.create(d);
astFactory.addASTChild(currentAST, d_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
currentAST = __currentAST46;
_t = __t46;
_t = _t.getNextSibling();
if (!leftDynamic) {
info.addPortAssign(a.getText(), c.getText(), d
.getText());
}
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
break;
}
case ACTOR_DECLARATION: {
nested_actor_declaration(_t, a.getText());
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
case EXPRESSION: {
e = (PtalonAST) _t;
e_AST = (PtalonAST) astFactory.create(e);
astFactory.addASTChild(currentAST, e_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
if (!leftDynamic) {
info.addParameterAssign(a.getText(), e.getText());
}
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
currentAST = __currentAST41;
_t = __t41;
_t = _t.getNextSibling();
assignment_AST = (PtalonAST) currentAST.root;
returnAST = assignment_AST;
_retTree = _t;
}
public final void nested_actor_declaration(AST _t, String paramValue)
throws RecognitionException, PtalonScopeException {
returnAST = null;
ASTPair currentAST = new ASTPair();
PtalonAST nested_actor_declaration_AST = null;
PtalonAST a = null;
PtalonAST a_AST = null;
AST __t55 = _t;
a = _t == ASTNULL ? null : (PtalonAST) _t;
a_AST = (PtalonAST) astFactory.create(a);
astFactory.addASTChild(currentAST, a_AST);
ASTPair __currentAST55 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, ACTOR_DECLARATION);
_t = _t.getFirstChild();
info.pushActorDeclaration(a.getText());
info.setActorParameter(paramValue);
{
_loop57: do {
if (_t == null) {
_t = ASTNULL;
}
if ((_t.getType() == ASSIGN)) {
assignment(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
} else {
break _loop57;
}
} while (true);
}
currentAST = __currentAST55;
_t = __t55;
_t = _t.getNextSibling();
nested_actor_declaration_AST = (PtalonAST) currentAST.root;
String uniqueName = info.popActorDeclaration();
nested_actor_declaration_AST.setText(uniqueName);
nested_actor_declaration_AST = (PtalonAST) currentAST.root;
returnAST = nested_actor_declaration_AST;
_retTree = _t;
}
public final void actor_declaration(AST _t) throws RecognitionException,
PtalonScopeException {
returnAST = null;
ASTPair currentAST = new ASTPair();
PtalonAST actor_declaration_AST = null;
PtalonAST a = null;
PtalonAST a_AST = null;
PtalonAST b = null;
PtalonAST b_AST = null;
PtalonAST c = null;
PtalonAST c_AST = null;
AST __t48 = _t;
a = _t == ASTNULL ? null : (PtalonAST) _t;
a_AST = (PtalonAST) astFactory.create(a);
astFactory.addASTChild(currentAST, a_AST);
ASTPair __currentAST48 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, ACTOR_DECLARATION);
_t = _t.getFirstChild();
info.pushActorDeclaration(a.getText());
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case ACTOR_ID: {
AST __t50 = _t;
b = _t == ASTNULL ? null : (PtalonAST) _t;
b_AST = (PtalonAST) astFactory.create(b);
astFactory.addASTChild(currentAST, b_AST);
ASTPair __currentAST50 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, ACTOR_ID);
_t = _t.getFirstChild();
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case EXPRESSION: {
c = (PtalonAST) _t;
c_AST = (PtalonAST) astFactory.create(c);
astFactory.addASTChild(currentAST, c_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
break;
}
case 3: {
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
currentAST = __currentAST50;
_t = __t50;
_t = _t.getNextSibling();
break;
}
case 3:
case ASSIGN: {
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
{
_loop53: do {
if (_t == null) {
_t = ASTNULL;
}
if ((_t.getType() == ASSIGN)) {
assignment(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
} else {
break _loop53;
}
} while (true);
}
currentAST = __currentAST48;
_t = __t48;
_t = _t.getNextSibling();
actor_declaration_AST = (PtalonAST) currentAST.root;
String uniqueName = info.popActorDeclaration();
actor_declaration_AST.setText(uniqueName);
if (b != null && c == null) {
info.addSymbol(b.getText(), "actor");
}
actor_declaration_AST = (PtalonAST) currentAST.root;
returnAST = actor_declaration_AST;
_retTree = _t;
}
public final void atomic_statement(AST _t) throws RecognitionException,
PtalonScopeException {
returnAST = null;
ASTPair currentAST = new ASTPair();
PtalonAST atomic_statement_AST = null;
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case PORT:
case INPORT:
case OUTPORT:
case MULTIPORT:
case MULTIINPORT:
case MULTIOUTPORT: {
port_declaration(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
case PARAMETER:
case ACTOR: {
parameter_declaration(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
case PARAM_EQUALS:
case ACTOR_EQUALS: {
assigned_parameter_declaration(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
case RELATION: {
relation_declaration(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
case TRANSPARENT: {
transparent_relation_declaration(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
case ACTOR_DECLARATION: {
actor_declaration(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
case NEGATE:
case OPTIONAL:
case REMOVE:
case PRESERVE: {
transformation_declaration(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
atomic_statement_AST = (PtalonAST) currentAST.root;
returnAST = atomic_statement_AST;
_retTree = _t;
}
public final void transformation_declaration(AST _t)
throws RecognitionException, PtalonScopeException {
returnAST = null;
ASTPair currentAST = new ASTPair();
PtalonAST transformation_declaration_AST = null;
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case NEGATE: {
AST __t62 = _t;
PtalonAST tmp50_AST = null;
tmp50_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp50_AST);
ASTPair __currentAST62 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, NEGATE);
_t = _t.getFirstChild();
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case ID: {
PtalonAST tmp51_AST = null;
tmp51_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp51_AST);
match(_t, ID);
_t = _t.getNextSibling();
break;
}
case DYNAMIC_NAME: {
AST __t64 = _t;
PtalonAST tmp52_AST = null;
tmp52_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp52_AST);
ASTPair __currentAST64 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, DYNAMIC_NAME);
_t = _t.getFirstChild();
PtalonAST tmp53_AST = null;
tmp53_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp53_AST);
match(_t, ID);
_t = _t.getNextSibling();
PtalonAST tmp54_AST = null;
tmp54_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp54_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
currentAST = __currentAST64;
_t = __t64;
_t = _t.getNextSibling();
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
currentAST = __currentAST62;
_t = __t62;
_t = _t.getNextSibling();
break;
}
case OPTIONAL: {
AST __t65 = _t;
PtalonAST tmp55_AST = null;
tmp55_AST = (PtalonAST) astFactory.create(_t);
astFactory.addASTChild(currentAST, tmp55_AST);
ASTPair __currentAST65 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, OPTIONAL);
_t = _t.getFirstChild();
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case ID: {
PtalonAST tmp56_AST = null;
tmp56_AST = (PtalonAST) astFactory
.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp56_AST);
match(_t, ID);
_t = _t.getNextSibling();
break;
}
case DYNAMIC_NAME: {
AST __t67 = _t;
PtalonAST tmp57_AST = null;
tmp57_AST = (PtalonAST) astFactory
.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp57_AST);
ASTPair __currentAST67 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, DYNAMIC_NAME);
_t = _t.getFirstChild();
PtalonAST tmp58_AST = null;
tmp58_AST = (PtalonAST) astFactory
.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp58_AST);
match(_t, ID);
_t = _t.getNextSibling();
PtalonAST tmp59_AST = null;
tmp59_AST = (PtalonAST) astFactory
.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp59_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
currentAST = __currentAST67;
_t = __t67;
_t = _t.getNextSibling();
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
currentAST = __currentAST65;
_t = __t65;
_t = _t.getNextSibling();
break;
}
case REMOVE: {
AST __t68 = _t;
PtalonAST tmp60_AST = null;
tmp60_AST = (PtalonAST) astFactory.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp60_AST);
ASTPair __currentAST68 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, REMOVE);
_t = _t.getFirstChild();
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case ID: {
PtalonAST tmp61_AST = null;
tmp61_AST = (PtalonAST) astFactory
.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp61_AST);
match(_t, ID);
_t = _t.getNextSibling();
break;
}
case DYNAMIC_NAME: {
AST __t70 = _t;
PtalonAST tmp62_AST = null;
tmp62_AST = (PtalonAST) astFactory
.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp62_AST);
ASTPair __currentAST70 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, DYNAMIC_NAME);
_t = _t.getFirstChild();
PtalonAST tmp63_AST = null;
tmp63_AST = (PtalonAST) astFactory
.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp63_AST);
match(_t, ID);
_t = _t.getNextSibling();
PtalonAST tmp64_AST = null;
tmp64_AST = (PtalonAST) astFactory
.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp64_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
currentAST = __currentAST70;
_t = __t70;
_t = _t.getNextSibling();
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
currentAST = __currentAST68;
_t = __t68;
_t = _t.getNextSibling();
break;
}
case PRESERVE: {
AST __t71 = _t;
PtalonAST tmp65_AST = null;
tmp65_AST = (PtalonAST) astFactory.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp65_AST);
ASTPair __currentAST71 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, PRESERVE);
_t = _t.getFirstChild();
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case ID: {
PtalonAST tmp66_AST = null;
tmp66_AST = (PtalonAST) astFactory
.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp66_AST);
match(_t, ID);
_t = _t.getNextSibling();
break;
}
case DYNAMIC_NAME: {
AST __t73 = _t;
PtalonAST tmp67_AST = null;
tmp67_AST = (PtalonAST) astFactory
.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp67_AST);
ASTPair __currentAST73 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, DYNAMIC_NAME);
_t = _t.getFirstChild();
PtalonAST tmp68_AST = null;
tmp68_AST = (PtalonAST) astFactory
.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp68_AST);
match(_t, ID);
_t = _t.getNextSibling();
PtalonAST tmp69_AST = null;
tmp69_AST = (PtalonAST) astFactory
.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp69_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
currentAST = __currentAST73;
_t = __t73;
_t = _t.getNextSibling();
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
currentAST = __currentAST71;
_t = __t71;
_t = _t.getNextSibling();
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
transformation_declaration_AST = (PtalonAST) currentAST.root;
returnAST = transformation_declaration_AST;
_retTree = _t;
}
public final void conditional_statement(AST _t)
throws RecognitionException, PtalonScopeException {
returnAST = null;
ASTPair currentAST = new ASTPair();
PtalonAST conditional_statement_AST = null;
AST __t75 = _t;
PtalonAST tmp70_AST = null;
tmp70_AST = (PtalonAST) astFactory.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp70_AST);
ASTPair __currentAST75 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, IF);
_t = _t.getFirstChild();
info.pushIfStatement();
PtalonAST tmp71_AST = null;
tmp71_AST = (PtalonAST) astFactory.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp71_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
AST __t76 = _t;
PtalonAST tmp72_AST = null;
tmp72_AST = (PtalonAST) astFactory.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp72_AST);
ASTPair __currentAST76 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, TRUEBRANCH);
_t = _t.getFirstChild();
info.setCurrentBranch(true);
{
_loop78: do {
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case PORT:
case INPORT:
case OUTPORT:
case PARAMETER:
case ACTOR:
case RELATION:
case TRANSPARENT:
case NEGATE:
case OPTIONAL:
case REMOVE:
case PRESERVE:
case ACTOR_DECLARATION:
case MULTIPORT:
case MULTIINPORT:
case MULTIOUTPORT:
case PARAM_EQUALS:
case ACTOR_EQUALS: {
atomic_statement(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
case IF: {
conditional_statement(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
case FOR: {
iterative_statement(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
default: {
break _loop78;
}
}
} while (true);
}
currentAST = __currentAST76;
_t = __t76;
_t = _t.getNextSibling();
AST __t79 = _t;
PtalonAST tmp73_AST = null;
tmp73_AST = (PtalonAST) astFactory.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp73_AST);
ASTPair __currentAST79 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, FALSEBRANCH);
_t = _t.getFirstChild();
info.setCurrentBranch(false);
{
_loop81: do {
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case PORT:
case INPORT:
case OUTPORT:
case PARAMETER:
case ACTOR:
case RELATION:
case TRANSPARENT:
case NEGATE:
case OPTIONAL:
case REMOVE:
case PRESERVE:
case ACTOR_DECLARATION:
case MULTIPORT:
case MULTIINPORT:
case MULTIOUTPORT:
case PARAM_EQUALS:
case ACTOR_EQUALS: {
atomic_statement(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
case IF: {
conditional_statement(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
case FOR: {
iterative_statement(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
default: {
break _loop81;
}
}
} while (true);
}
currentAST = __currentAST79;
_t = __t79;
_t = _t.getNextSibling();
currentAST = __currentAST75;
_t = __t75;
_t = _t.getNextSibling();
conditional_statement_AST = (PtalonAST) currentAST.root;
conditional_statement_AST.setText(info.popIfStatement());
conditional_statement_AST = (PtalonAST) currentAST.root;
returnAST = conditional_statement_AST;
_retTree = _t;
}
public final void iterative_statement(AST _t) throws RecognitionException,
PtalonScopeException {
returnAST = null;
ASTPair currentAST = new ASTPair();
PtalonAST iterative_statement_AST = null;
PtalonAST a = null;
PtalonAST a_AST = null;
PtalonAST b = null;
PtalonAST b_AST = null;
PtalonAST c = null;
PtalonAST c_AST = null;
PtalonAST n = null;
PtalonAST n_AST = null;
AST __t83 = _t;
PtalonAST tmp74_AST = null;
tmp74_AST = (PtalonAST) astFactory.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp74_AST);
ASTPair __currentAST83 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, FOR);
_t = _t.getFirstChild();
AST __t84 = _t;
PtalonAST tmp75_AST = null;
tmp75_AST = (PtalonAST) astFactory.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp75_AST);
ASTPair __currentAST84 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, VARIABLE);
_t = _t.getFirstChild();
a = (PtalonAST) _t;
a_AST = (PtalonAST) astFactory.create(a);
astFactory.addASTChild(currentAST, a_AST);
match(_t, ID);
_t = _t.getNextSibling();
currentAST = __currentAST84;
_t = __t84;
_t = _t.getNextSibling();
AST __t85 = _t;
PtalonAST tmp76_AST = null;
tmp76_AST = (PtalonAST) astFactory.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp76_AST);
ASTPair __currentAST85 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, INITIALLY);
_t = _t.getFirstChild();
b = (PtalonAST) _t;
b_AST = (PtalonAST) astFactory.create(b);
astFactory.addASTChild(currentAST, b_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
currentAST = __currentAST85;
_t = __t85;
_t = _t.getNextSibling();
AST __t86 = _t;
PtalonAST tmp77_AST = null;
tmp77_AST = (PtalonAST) astFactory.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp77_AST);
ASTPair __currentAST86 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, SATISFIES);
_t = _t.getFirstChild();
c = (PtalonAST) _t;
c_AST = (PtalonAST) astFactory.create(c);
astFactory.addASTChild(currentAST, c_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
currentAST = __currentAST86;
_t = __t86;
_t = _t.getNextSibling();
info.pushForStatement(a.getText(), b.getText(), c.getText());
{
_loop88: do {
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case PORT:
case INPORT:
case OUTPORT:
case PARAMETER:
case ACTOR:
case RELATION:
case TRANSPARENT:
case NEGATE:
case OPTIONAL:
case REMOVE:
case PRESERVE:
case ACTOR_DECLARATION:
case MULTIPORT:
case MULTIINPORT:
case MULTIOUTPORT:
case PARAM_EQUALS:
case ACTOR_EQUALS: {
atomic_statement(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
case IF: {
conditional_statement(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
case FOR: {
iterative_statement(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
default: {
break _loop88;
}
}
} while (true);
}
AST __t89 = _t;
PtalonAST tmp78_AST = null;
tmp78_AST = (PtalonAST) astFactory.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp78_AST);
ASTPair __currentAST89 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, NEXT);
_t = _t.getFirstChild();
n = (PtalonAST) _t;
n_AST = (PtalonAST) astFactory.create(n);
astFactory.addASTChild(currentAST, n_AST);
match(_t, EXPRESSION);
_t = _t.getNextSibling();
info.setNextExpression(n.getText());
currentAST = __currentAST89;
_t = __t89;
_t = _t.getNextSibling();
currentAST = __currentAST83;
_t = __t83;
_t = _t.getNextSibling();
iterative_statement_AST = (PtalonAST) currentAST.root;
iterative_statement_AST.setText(info.popForStatement());
iterative_statement_AST = (PtalonAST) currentAST.root;
returnAST = iterative_statement_AST;
_retTree = _t;
}
public final void transformation(AST _t) throws RecognitionException,
PtalonScopeException {
returnAST = null;
ASTPair currentAST = new ASTPair();
PtalonAST transformation_AST = null;
AST __t91 = _t;
PtalonAST tmp79_AST = null;
tmp79_AST = (PtalonAST) astFactory.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp79_AST);
ASTPair __currentAST91 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, TRANSFORMATION);
_t = _t.getFirstChild();
info._setPreservingTransformation(false);
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case PLUS: {
PtalonAST tmp80_AST = null;
tmp80_AST = (PtalonAST) astFactory.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp80_AST);
match(_t, PLUS);
_t = _t.getNextSibling();
info._setPreservingTransformation(true);
break;
}
case 3:
case PORT:
case INPORT:
case OUTPORT:
case PARAMETER:
case ACTOR:
case RELATION:
case TRANSPARENT:
case IF:
case FOR:
case NEGATE:
case OPTIONAL:
case REMOVE:
case PRESERVE:
case ACTOR_DECLARATION:
case MULTIPORT:
case MULTIINPORT:
case MULTIOUTPORT:
case PARAM_EQUALS:
case ACTOR_EQUALS: {
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
{
_loop94: do {
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case PORT:
case INPORT:
case OUTPORT:
case PARAMETER:
case ACTOR:
case RELATION:
case TRANSPARENT:
case NEGATE:
case OPTIONAL:
case REMOVE:
case PRESERVE:
case ACTOR_DECLARATION:
case MULTIPORT:
case MULTIINPORT:
case MULTIOUTPORT:
case PARAM_EQUALS:
case ACTOR_EQUALS: {
atomic_statement(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
case IF: {
conditional_statement(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
case FOR: {
iterative_statement(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
default: {
break _loop94;
}
}
} while (true);
}
currentAST = __currentAST91;
_t = __t91;
_t = _t.getNextSibling();
transformation_AST = (PtalonAST) currentAST.root;
returnAST = transformation_AST;
_retTree = _t;
}
public final void actor_definition(AST _t, PtalonEvaluator manager)
throws RecognitionException, PtalonScopeException {
returnAST = null;
ASTPair currentAST = new ASTPair();
PtalonAST actor_definition_AST = null;
PtalonAST a = null;
PtalonAST a_AST = null;
info = manager;
AST __t96 = _t;
a = _t == ASTNULL ? null : (PtalonAST) _t;
a_AST = (PtalonAST) astFactory.create(a);
astFactory.addASTChild(currentAST, a_AST);
ASTPair __currentAST96 = currentAST.copy();
currentAST.root = currentAST.child;
currentAST.child = null;
match(_t, ACTOR_DEFINITION);
_t = _t.getFirstChild();
info.setActorSymbol(a.getText());
info.setDanglingPortsOkay(true);
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case DANGLING_PORTS_OKAY: {
PtalonAST tmp81_AST = null;
tmp81_AST = (PtalonAST) astFactory.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp81_AST);
match(_t, DANGLING_PORTS_OKAY);
_t = _t.getNextSibling();
break;
}
case 3:
case PORT:
case INPORT:
case OUTPORT:
case PARAMETER:
case ACTOR:
case RELATION:
case TRANSPARENT:
case IF:
case FOR:
case ATTACH_DANGLING_PORTS:
case NEGATE:
case OPTIONAL:
case REMOVE:
case PRESERVE:
case ACTOR_DECLARATION:
case TRANSFORMATION:
case MULTIPORT:
case MULTIINPORT:
case MULTIOUTPORT:
case PARAM_EQUALS:
case ACTOR_EQUALS: {
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case ATTACH_DANGLING_PORTS: {
PtalonAST tmp82_AST = null;
tmp82_AST = (PtalonAST) astFactory.create((PtalonAST) _t);
astFactory.addASTChild(currentAST, tmp82_AST);
match(_t, ATTACH_DANGLING_PORTS);
_t = _t.getNextSibling();
info.setDanglingPortsOkay(false);
break;
}
case 3:
case PORT:
case INPORT:
case OUTPORT:
case PARAMETER:
case ACTOR:
case RELATION:
case TRANSPARENT:
case IF:
case FOR:
case NEGATE:
case OPTIONAL:
case REMOVE:
case PRESERVE:
case ACTOR_DECLARATION:
case TRANSFORMATION:
case MULTIPORT:
case MULTIINPORT:
case MULTIOUTPORT:
case PARAM_EQUALS:
case ACTOR_EQUALS: {
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
{
_loop100: do {
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case PORT:
case INPORT:
case OUTPORT:
case PARAMETER:
case ACTOR:
case RELATION:
case TRANSPARENT:
case NEGATE:
case OPTIONAL:
case REMOVE:
case PRESERVE:
case ACTOR_DECLARATION:
case MULTIPORT:
case MULTIINPORT:
case MULTIOUTPORT:
case PARAM_EQUALS:
case ACTOR_EQUALS: {
atomic_statement(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
case IF: {
conditional_statement(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
case FOR: {
iterative_statement(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
default: {
break _loop100;
}
}
} while (true);
}
{
if (_t == null) {
_t = ASTNULL;
}
switch (_t.getType()) {
case TRANSFORMATION: {
transformation(_t);
_t = _retTree;
astFactory.addASTChild(currentAST, returnAST);
break;
}
case 3: {
break;
}
default: {
throw new NoViableAltException(_t);
}
}
}
currentAST = __currentAST96;
_t = __t96;
_t = _t.getNextSibling();
actor_definition_AST = (PtalonAST) currentAST.root;
returnAST = actor_definition_AST;
_retTree = _t;
}
public static final String[] _tokenNames = { "<0>", "EOF", "<2>",
"NULL_TREE_LOOKAHEAD", "\"port\"", "LBRACKET", "RBRACKET",
"\"inport\"", "\"outport\"", "ID", "\"parameter\"", "EQUALS",
"\"actor\"", "\"actorparameter\"", "\"relation\"",
"\"transparent\"", "\"reference\"", "COLON", "DOT", "\"import\"",
"\"true\"", "\"false\"", "\"if\"", "\"else\"", "\"is\"", "\"for\"",
"\"initially\"", "\"next\"", "\"danglingPortsOkay\"",
"\"attachDanglingPorts\"", "ASSIGN", "RPAREN", "COMMA",
"EXPRESSION", "LPAREN", "SEMI", "\"negate\"", "\"optional\"",
"\"remove\"", "\"preserve\"", "LCURLY", "RCURLY", "TRANSFORM",
"PLUS", "TRUEBRANCH", "FALSEBRANCH", "QUALID", "ATTRIBUTE",
"ACTOR_DECLARATION", "ACTOR_DEFINITION", "TRANSFORMATION",
"NEGATIVE_SIGN", "POSITIVE_SIGN", "ARITHMETIC_FACTOR",
"BOOLEAN_FACTOR", "LOGICAL_BUFFER", "ARITHMETIC_EXPRESSION",
"BOOLEAN_EXPRESSION", "MULTIPORT", "MULTIINPORT", "MULTIOUTPORT",
"PARAM_EQUALS", "ACTOR_EQUALS", "SATISFIES", "VARIABLE",
"DYNAMIC_NAME", "ACTOR_LABEL", "QUALIFIED_PORT", "ACTOR_ID", "ESC",
"NUMBER_LITERAL", "STRING_LITERAL", "WHITE_SPACE", "LINE_COMMENT",
"COMMENT" };
}