inst.h

Go to the documentation of this file.

/*************************************************************************
 *
 *  This file is part of the ACT library
 *
 *  Copyright (c) 2012, 2018-2019 Rajit Manohar
 *
 *  This program is free software; you can redistribute it and/or
 *  modify it under the terms of the GNU General Public License
 *  as published by the Free Software Foundation; either version 2
 *  of the License, or (at your option) any later version.
 *
 *  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., 51 Franklin Street, Fifth Floor,
 *  Boston, MA  02110-1301, USA.
 *
 **************************************************************************
 */
#ifndef __INST_H__
#define __INST_H__
 
#include <act/expr.h>
#include <act/basetype.h>
 
class Scope;
class Type;
class Array;
class AExpr;
class InstType;
 
struct inst_param {
  unsigned int isatype:1;       
  union {
    AExpr *tp;                  
    InstType *tt;               
  } u;
};
 
 
class InstType {
 public:
 
  InstType (Scope *_s, Type *_t, int is_temp = 1);
 
  InstType (InstType *i, int skip_array = 0);
 
  ~InstType ();
 
  void MkArray (Array *a);
 
  Array *arrayInfo () { return a; }
 
  void clrArray () { a = NULL; }
 
  int isEqual (InstType *t, int weak = 0);
 
  int isEqualDir (InstType *t, int weak = 0);
 
  
  Type *isConnectable (InstType *t, int weak = 0);
  void Print (FILE *fp, int nl_mode = 0); 
  void sPrint (char *buf, int sz, int nl_mode = 0); 
  Type *BaseType () const { return t; } 
  void setNumParams (int n);
  
  void appendParams (int na, inst_param *a);
 
  void setParam (int pn, AExpr *a);
 
  void setParam (int pn, Expr *e);
 
  void setParam (int pn, InstType *t);
 
  InstType *getTypeParam (int pn);
 
  AExpr *getAExprParam (int pn);
 
  int getNumParams() { return nt; }
 
  inst_param *allParams() { return u; }
 
  void SetDir (Type::direction d) { dir = d; }
 
  Type::direction getDir () { return dir; }
 
  void MkCached () { temp_type = 0; }
 
  int isTemp() { return temp_type; }
 
  void *operator new (size_t count ) { return malloc (count); }
  void operator delete (void *ptr) { InstType *t = (InstType *)ptr; if (t->temp_type == 0) return; free (ptr); }
 
  InstType *Expand (ActNamespace *ns, Scope *s);
 
  int isExpanded() const;
 
  int israwExpanded() const { return expanded; }
 
  void mkExpanded() { expanded = 1; }
 
  ActNamespace *getNamespace() { return s->getNamespace(); }
 
  UserDef *getUserDef () { return s->getUserDef(); }
 
  int isParamAType (int k);
 
  Type *isRelated (InstType *it, InstType **common = NULL);
 
  int hasinstGlobal() { return 0; }
 
  InstType *refineBaseType (InstType *update);
  
  InstType *refineBaseType (Type *update);
 
  void setPTypeID (char *s) { ptype_id = string_cache (s); }
 
  const  char *getPTypeID () { return ptype_id; }
 
  void setIfaceType (InstType *x) { iface_type = x; }
 
  InstType *getIfaceType() { return iface_type; }
  
 private:
 
 
  Type *t;                      
  Type::direction dir;
 
  Scope *s;
 
  /* the following are optional */
  Array *a;                     
  int nt;                       
  inst_param *u;                
  unsigned int temp_type:1;     
  unsigned int expanded:1;      
  const char *ptype_id;         
  InstType *iface_type;         
  friend class TypeFactory;
};
 
 
#endif /* __INST_H__ */