---

typedef.h

Go to the documentation of this file.

// AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-

#ifndef typedef_h
#define typedef_h

#include <iostream>
#include "symbol_table.h"
#include "type_rep.h"

//
// INTERFACE definition follows 
//


class Typedef_symbol : public Symbol {
    Type  type;
 public:
    Type get_type() const { return type; }

public:  
  Typedef_symbol(Type type);
  
  Symbol::Kind get_kind() const;
  
  void dump(std::ostream& os);
};

#endif // typedef_h

---