ptype.hh

#ifndef PTYPE_H
#define PTYPE_H

// This struct is used for representing types.
// It allows to represent essentially a tree.
// The way some special types (like procedures and functions)
// must be represented is not clear and the programmer
// can decide how he/she prefers to do that.
// But we recommend to use the names "int", "bool",
// "array", "struct", "function" and "procedure" for kind.
// In the last two cases we recommend to use down
// to keep the list of parameters as brothers, with
// "parref" and "parval" for kind. In the case of
// "function" we recommend to use right for the
// return value type.
typedef struct ttypenode {
  string kind;
  struct ttypenode *down;
  struct ttypenode *right;
  // For fields of structs, we have the type of each field
  // (struct_field), but also, since the map does not
  // remember the insertion order, we also have the
  // list keeping such an order (ids).
  map<string,struct ttypenode *> struct_field;
  list<string> ids;
  // For the case of an array, we need the type of the
  // elems of the array (for example kept in "down"),
  // and the number of elements (numelemsarray).
  int numelemsarray;
  // Used only during code generation:
  int size; // The size of the type.
  map<string,int> offset; // For fields of structs.
} *ptype,stype;

ptype create_type(string kind,ptype down,ptype right);

void write_type(ptype t);

ptype typecopy(ptype t);

bool equivalent_types(ptype t1,ptype t2);

#endif