typedef.cc Source File

00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-
00002 
00003 #include "typedef.h"
00004 #include "typedef_i.h"
00005 
00006 
00007 #line 14 "typedef.cpp"
00008 
00009 
00010 Typedef_symbol::Typedef_symbol(Type type)
00011     : Symbol(), type(type)
00012 {
00013     set_status(st_Defined);     // typedefs can't be referenced or declared
00014 }
00015 
00016 #line 21 "typedef.cpp"
00017 
00018 Symbol::Kind
00019 Typedef_symbol::get_kind() const
00020 {
00021     return k_Typedef;
00022 }
00023 
00024 #line 27 "typedef.cpp"
00025 
00026 void
00027 Typedef_symbol::dump(std::ostream& os)
00028 {
00029     Symbol::dump(os);
00030     os << ", alias to `" << type.get_human_readable_type() << "'";
00031 }