tan  0.0.1
Public Member Functions | Static Public Member Functions | Static Public Attributes | Protected Attributes | Static Protected Attributes | List of all members
tanlang::Type Class Reference

Type is immutable once created. The exception is StructType. Its information is updated in multiple semantic analysis stages. We make sure that GetXXType() doesn't create duplicated instances of the same type. More...

#include <type.h>

Inheritance diagram for tanlang::Type:
Inheritance graph
[legend]
Collaboration diagram for tanlang::Type:
Collaboration graph
[legend]

Public Member Functions

virtual bool is_primitive () const
 
virtual bool is_pointer () const
 
virtual bool is_array () const
 
virtual bool is_string () const
 
virtual bool is_struct () const
 
virtual bool is_function () const
 
virtual bool is_ref () const
 
virtual bool is_float () const
 
virtual bool is_int () const
 
virtual bool is_num () const
 
virtual bool is_unsigned () const
 
virtual bool is_bool () const
 
virtual bool is_void () const
 
virtual bool is_char () const
 
virtual int get_align_bits ()
 
virtual int get_size_bits ()
 
virtual vector< Type * > children () const
 
bool is_canonical () const
 
const str & get_typename () const
 

Static Public Member Functions

static PrimitiveType * GetVoidType ()
 
static PrimitiveType * GetBoolType ()
 
static PrimitiveType * GetCharType ()
 
static PrimitiveType * GetIntegerType (size_t bit_size, bool is_unsigned)
 
static PrimitiveType * GetFloatType (size_t bit_size)
 
static StringType * GetStringType ()
 
static PointerType * GetPointerType (Type *pointee)
 
static ArrayType * GetArrayType (Type *element_type, int size)
 
static FunctionType * GetFunctionType (Type *ret_type, const vector< Type * > &arg_types)
 
static StructType * GetStructType (StructDecl *decl)
 
static TypeRef * GetTypeRef (const str &name)
 
static bool IsCanonical (const Type &type)
 A composite type is canonical only if its subtype(s) are also canonical. A non-composite type is canonical only if it's not a type reference. More...
 

Static Public Attributes

static vector< str > ALL_TYPE_NAMES
 

Protected Attributes

str _type_name {}
 

Static Protected Attributes

static StringType * STRING_TYPE = new StringType()
 
static umap< Type *, PointerType * > POINTER_TYPE_CACHE {}
 
static umap< pair< Type *, int >, ArrayType *, PairHash > ARRAY_TYPE_CACHE {}
 
static umap< str, Type * > NAMED_TYPE_CACHE {}
 

Detailed Description

Type is immutable once created. The exception is StructType. Its information is updated in multiple semantic analysis stages. We make sure that GetXXType() doesn't create duplicated instances of the same type.

Definition at line 22 of file type.h.

Member Function Documentation

◆ IsCanonical()

bool Type::IsCanonical ( const Type &  type)
static

A composite type is canonical only if its subtype(s) are also canonical. A non-composite type is canonical only if it's not a type reference.

We write it as a static method to check for infinite recursion using iterative search.

Definition at line 209 of file type.cpp.

Member Data Documentation

◆ ALL_TYPE_NAMES

vector<str> tanlang::Type::ALL_TYPE_NAMES
inlinestatic
Initial value:
{"bool", "int", "float", "f32", "str", "char", "f64", "i8",
"u8", "i16", "u16", "i32", "u32", "i64", "u64", "void"}

Definition at line 38 of file type.h.

The documentation for this class was generated from the following files: