package org.jakstab.ssl.parser;

  import java.util.*;

  import org.jakstab.rtl.*;

  import org.jakstab.rtl.expressions.*;

  import org.jakstab.rtl.statements.*;

{

  private Map<String,Long> constants = new HashMap<String,Long>();

  private Map<String,List<AST>> tables = new HashMap<String,List<AST>>();

  private Map<String,SSLFunction> functions = new HashMap<String,SSLFunction>();

  private Map<String,SSLFunction> instructions = new TreeMap<String,SSLFunction>();

  private Stack<Map<String,AST>> locals = new Stack<Map<String,AST>>();

  private SetOfVariables registers = new SetOfVariables();

  public SetOfVariables getRegisters() { return registers; } 

  //public Map<String,SSLFunction> getFunctions() { return functions; }

  public Map<String,SSLFunction> getInstructions() { return instructions; }

  public Map<String,List<AST>> getTables() { return tables; }

 

  tokenNames = _tokenNames;

  public final void start(AST _t) throws RecognitionException {

   

    AST start_AST_in = (_t == ASTNULL) ? null : (AST)_t;

    returnAST = null;

    ASTPair currentAST = new ASTPair();

    AST start_AST = null;

   

    specification(_t);

    _t = _retTree;

    astFactory.addASTChild(currentAST, returnAST);

    start_AST = (AST)currentAST.root;

    returnAST = start_AST;

    _retTree = _t;

  }

 

  public final void specification(AST _t) throws RecognitionException {

   

    AST specification_AST_in = (_t == ASTNULL) ? null : (AST)_t;

    returnAST = null;

    ASTPair currentAST = new ASTPair();

    AST specification_AST = null;

   

    AST __t3323 = _t;

    AST tmp1_AST = null;

    AST tmp1_AST_in = null;

    tmp1_AST = astFactory.create((AST)_t);

    tmp1_AST_in = (AST)_t;

    astFactory.addASTChild(currentAST, tmp1_AST);

    ASTPair __currentAST3323 = currentAST.copy();

    currentAST.root = currentAST.child;

    currentAST.child = null;

    match(_t,SEMI);

    _t = _t.getFirstChild();

    {

    _loop3325:

    do {

      if (_t==null) _t=ASTNULL;

      if ((_tokenSet_0.member(_t.getType()))) {

        part(_t);

        _t = _retTree;

        astFactory.addASTChild(currentAST, returnAST);

      }

      else {

        break _loop3325;

      }

     

    } while (true);

    }

    currentAST = __currentAST3323;

    _t = __t3323;

    _t = _t.getNextSibling();

    specification_AST = (AST)currentAST.root;

    returnAST = specification_AST;

    _retTree = _t;

  }

 

  public final void part(AST _t) throws RecognitionException {

   

    AST part_AST_in = (_t == ASTNULL) ? null : (AST)_t;

    returnAST = null;

    ASTPair currentAST = new ASTPair();

    AST part_AST = null;

    AST cn = null;

    AST cn_AST = null;

    AST tn = null;

    AST tn_AST = null;

    AST fn = null;

    AST fn_AST = null;

    AST fb = null;

    AST fb_AST = null;

    AST ib = null;

    AST ib_AST = null;

   

        long lv=0;

        List<AST> tv;

        List<String> pl;

        List<SSLInstructionName> inam;

     

   

    if (_t==null) _t=ASTNULL;

    switch ( _t.getType()) {

    case CONSTANT:

    {

      AST __t3327 = _t;

      AST tmp2_AST = null;

      AST tmp2_AST_in = null;

      tmp2_AST = astFactory.create((AST)_t);

      tmp2_AST_in = (AST)_t;

      ASTPair __currentAST3327 = currentAST.copy();

      currentAST.root = currentAST.child;

      currentAST.child = null;

      match(_t,CONSTANT);

      _t = _t.getFirstChild();

      cn = (AST)_t;

      AST cn_AST_in = null;

      cn_AST = astFactory.create(cn);

      match(_t,NAME);

      _t = _t.getNextSibling();

      lv=const_expr(_t);

      _t = _retTree;

      currentAST = __currentAST3327;

      _t = __t3327;

      _t = _t.getNextSibling();

     

            constants.put(cn.getText(), Long.valueOf(lv));

         

      break;

    }

    case REGDECL:

    {

      AST __t3328 = _t;

      AST tmp3_AST = null;

      AST tmp3_AST_in = null;

      tmp3_AST = astFactory.create((AST)_t);

      tmp3_AST_in = (AST)_t;

      ASTPair __currentAST3328 = currentAST.copy();

      currentAST.root = currentAST.child;

      currentAST.child = null;

      match(_t,REGDECL);

      _t = _t.getFirstChild();

      {

      if (_t==null) _t=ASTNULL;

      switch ( _t.getType()) {

      case LITERAL_INTEGER:

      {

        AST tmp4_AST_in = null;

        match(_t,LITERAL_INTEGER);

        _t = _t.getNextSibling();

        break;

      }

      case LITERAL_FLOAT:

      {

        AST tmp5_AST_in = null;

        match(_t,LITERAL_FLOAT);

        _t = _t.getNextSibling();

        break;

      }

      default:

      {

        throw new NoViableAltException(_t);

      }

      }

      }

      {

      _loop3331:

      do {

        if (_t==null) _t=ASTNULL;

        if (((_t.getType() >= REG_ID && _t.getType() <= LSQUARE))) {

          register_decl(_t);

          _t = _retTree;

        }

        else {

          break _loop3331;

        }

       

      } while (true);

      }

      currentAST = __currentAST3328;

      _t = __t3328;

      _t = _t.getNextSibling();

      break;

    }

    case TABLE:

    {

      AST __t3332 = _t;

      AST tmp6_AST = null;

      AST tmp6_AST_in = null;

      tmp6_AST = astFactory.create((AST)_t);

      tmp6_AST_in = (AST)_t;

      ASTPair __currentAST3332 = currentAST.copy();

      currentAST.root = currentAST.child;

      currentAST.child = null;

      match(_t,TABLE);

      _t = _t.getFirstChild();

      tn = (AST)_t;

      AST tn_AST_in = null;

      tn_AST = astFactory.create(tn);

      match(_t,NAME);

      _t = _t.getNextSibling();

      tv=table_expr(_t);

      _t = _retTree;

      currentAST = __currentAST3332;

      _t = __t3332;

      _t = _t.getNextSibling();

     

            tables.put(tn.getText(), tv);

         

      break;

    }

    case FUNCTION:

    {

      AST __t3333 = _t;

      AST tmp7_AST = null;

      AST tmp7_AST_in = null;

      tmp7_AST = astFactory.create((AST)_t);

      tmp7_AST_in = (AST)_t;

      ASTPair __currentAST3333 = currentAST.copy();

      currentAST.root = currentAST.child;

      currentAST.child = null;

      match(_t,FUNCTION);

      _t = _t.getFirstChild();

      fn = (AST)_t;

      AST fn_AST_in = null;

      fn_AST = astFactory.create(fn);

      match(_t,NAME);

      _t = _t.getNextSibling();

      pl=param_list(_t);

      _t = _retTree;

      fb = (AST)_t;

      AST fb_AST_in = null;

      fb_AST = astFactory.create(fb);

      match(_t,RTL);

      _t = _t.getNextSibling();

      currentAST = __currentAST3333;

      _t = __t3333;

      _t = _t.getNextSibling();

      functions.put(fn.getText(), new SSLFunction(fn.getText(), pl, astFactory.dupTree(fb)));

      break;

    }

    case INSTR:

    {

      AST __t3334 = _t;

      AST tmp8_AST = null;

      AST tmp8_AST_in = null;

      tmp8_AST = astFactory.create((AST)_t);

      tmp8_AST_in = (AST)_t;

      ASTPair __currentAST3334 = currentAST.copy();

      currentAST.root = currentAST.child;

      currentAST.child = null;

      match(_t,INSTR);

      _t = _t.getFirstChild();

      inam=instr_name(_t);

      _t = _retTree;

      pl=param_list(_t);

      _t = _retTree;

      ib = (AST)_t;

      AST ib_AST_in = null;

      ib_AST = astFactory.create(ib);

      match(_t,RTL);

      _t = _t.getNextSibling();

      currentAST = __currentAST3334;

      _t = __t3334;

      _t = _t.getNextSibling();

     

            for (SSLInstructionName in : inam) {

      if (in.getVarMap() != null)

        locals.push(in.getVarMap());

      else

        locals.push(new HashMap<String,AST>());

      rtl_expand(astFactory.dupTree(ib));

      locals.pop();

      AST rtl = getAST();

     

      if (instructions.containsKey(in.getName())) {

      SSLFunction oldIns = instructions.get(in.getName());

      /*                    if (oldpl != old_ip: TODO: JK - Check parameter list

      throw new SemanticException(#ib, "parameter list of '%s' changed" % n)*/

      if (rtl.getFirstChild() != null)

      oldIns.getAST().addChild(rtl.getFirstChild());

      } else

      instructions.put(in.getName(), new SSLFunction(in.getName(), pl, rtl));

            }

         

      break;

    }

    default:

    {

      throw new NoViableAltException(_t);

    }

    }

    returnAST = part_AST;

    _retTree = _t;

  }

 

  public final long  const_expr(AST _t) throws RecognitionException {

    long v=0;

   

    AST const_expr_AST_in = (_t == ASTNULL) ? null : (AST)_t;

    returnAST = null;

    ASTPair currentAST = new ASTPair();

    AST const_expr_AST = null;

    AST n = null;

    AST n_AST = null;

    long l,r;

   

    if (_t==null) _t=ASTNULL;

    switch ( _t.getType()) {

    case NUM:

    {

      n = (AST)_t;

      AST n_AST_in = null;

      n_AST = astFactory.create(n);

      match(_t,NUM);

      _t = _t.getNextSibling();

      v = Long.parseLong(n.getText());

      break;

    }

    case PLUS:

    {

      AST __t3342 = _t;

      AST tmp9_AST = null;

      AST tmp9_AST_in = null;

      tmp9_AST = astFactory.create((AST)_t);

      tmp9_AST_in = (AST)_t;

      ASTPair __currentAST3342 = currentAST.copy();

      currentAST.root = currentAST.child;

      currentAST.child = null;

      match(_t,PLUS);

      _t = _t.getFirstChild();

      l=const_expr(_t);

      _t = _retTree;

      r=const_expr(_t);

      _t = _retTree;

      currentAST = __currentAST3342;

      _t = __t3342;

      _t = _t.getNextSibling();

      v = l + r;

      break;

    }

    case MINUS:

    {

      AST __t3343 = _t;

      AST tmp10_AST = null;

      AST tmp10_AST_in = null;

      tmp10_AST = astFactory.create((AST)_t);

      tmp10_AST_in = (AST)_t;

      ASTPair __currentAST3343 = currentAST.copy();

      currentAST.root = currentAST.child;

      currentAST.child = null;

      match(_t,MINUS);

      _t = _t.getFirstChild();

      l=const_expr(_t);

      _t = _retTree;

      r=const_expr(_t);

      _t = _retTree;

      currentAST = __currentAST3343;

      _t = __t3343;

      _t = _t.getNextSibling();

      v = l - r;

      break;

    }

    default:

    {

      throw new NoViableAltException(_t);