/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
 * Copyright (C) 2001       Gerwin Klein <lsf@jflex.de>                    *
 * Copyright (C) 2001       Bernhard Rumpe <rumpe@in.tum.de>               *
 * All rights reserved.                                                    *
 *                                                                         *
 * This program is free software; you can redistribute it and/or modify    *
 * it under the terms of the GNU General Public License. See the file      *
 * COPYRIGHT for more information.                                         *
 *                                                                         *
 * This program is distributed in the hope that it will be useful,         *
 * but WITHOUT ANY WARRANTY; without even the implied warranty of          *
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the           *
 * GNU General Public License for more details.                            *
 *                                                                         *
 * You should have received a copy of the GNU General Public License along *
 * with this program; if not, write to the Free Software Foundation, Inc., *
 * 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA                 *
 *                                                                         *
 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */



/**

 * AST node for function declarations.

 * 

 * Also contains a reference to the symbol table of 

 * the paramaters and their arity.

 */ 

class Tdekl implements AST {

  Tident ident;               // identifier

  Tparlist parlist;           // liste of parameter

  Texp exp;                   // function body



  public Tdekl(Tident i, Tparlist p, Texp e) {

    parlist=p;

    ident=i;

    exp=e;

  }



  public String toString() {

    return(ident+"("+parlist+") = \n  "+exp); 

  }



  SymTab params;              // symbol table of the parameters 

  int arity;                  



  public void setSymtab(SymTab st) {

    params = new SymTab(st);

    parlist.setSymtab(params,false,0);

    arity = params.size();

    

    boolean isNew = st.enter(ident.toString(),

                             new STEfun(ident.toString(),this,arity));

    // CoCo (Fun)

    if(!isNew) Main.error("funktion "+ident+" defined twice!");

  }



  public void printSymtabs() {

    System.out.print("funktion "+ident.toString()+"\n"+params); 

  }



  public void checkcontext() {        

    exp.checkcontext(params);         // CoCo (DefFun,DefVar,Arity)

  }

    

  public void prepInterp(SymTab st) {   // set pointers and indices

    exp.prepInterp(params);

  }



  public int interpret(int[] in, int[] par) {    

    return(exp.interpret(in,par)); 

  }



  public int arity() { return(arity); }

}



