Otawa
0.10
|
This class provides a representation for the base type. More...
#include <otawa/type.h>
Public Types | |
enum | kind_t { NONE = 0, BASE = 1, ENUM = 2, ARRAY = 3, STRUCT = 4, UNION = 5, PTR = 6, FUN = 7 } |
typedef enum otawa::Type::kind_t | kind_t |
enum | base_t { VOID = 0, BLOCK = 1, BOOL = 2, CHAR = 3, INT8 = 4, UINT8 =5, INT16 = 6, UINT16 = 7, INT32 = 8, UINT32 = 9, INT64 = 10, UINT64 = 11, FLOAT32 = 12, FLOAT64 = 13, FLOAT128 = 14, ADDR32 = 15, CSTRING = 16, STRING_ = 17, BASE_TOP = 18 } |
typedef enum otawa::Type::base_t | base_t |
Public Member Functions | |
base_t | base (void) const |
Get the base type kind. More... | |
virtual Type::kind_t | kind (void) const |
Get the kind of the type. More... | |
virtual const BaseType * | toBase (void) const |
If the type is a base type, return it. More... | |
virtual void | print (elm::io::Output &output) const |
Print a text representation of the type. More... | |
bool | equals (const Type &type) const |
bool | operator== (const Type &type) const |
bool | operator!= (const Type &type) const |
Static Public Member Functions | |
static const BaseType & | getBaseType (base_t type) |
Get a base type from its base type value. More... | |
Static Public Attributes | |
static const NoType | no_type |
static const BaseType | void_type |
static const BaseType | block_type |
static const BaseType | bool_type |
static const BaseType | char_type |
static const BaseType | int8_type |
static const BaseType | uint8_type |
static const BaseType | int16_type |
static const BaseType | uint16_type |
static const BaseType | int32_type |
static const BaseType | uint32_type |
static const BaseType | int64_type |
static const BaseType | uint64_type |
static const BaseType | float32_type |
static const BaseType | float64_type |
static const BaseType | float128_type |
static const BaseType | addr32_type |
static const BaseType | cstring_type |
static const BaseType | string_type |
Private Member Functions | |
BaseType (base_t base_kind) | |
Private Attributes | |
base_t | bknd |
Friends | |
class | Type |
This class provides a representation for the base type.
It contains a base kind value defining the base type.
|
inherited |
|
inherited |
|
inherited |
|
inherited |
|
inlineprivate |
|
inline |
Get the base type kind.
|
inlineinherited |
References otawa::type().
Get a base type from its base type value.
type | Base type. |
References otawa::Type::BASE_TOP, and otawa::type().
|
inlinevirtual |
Get the kind of the type.
Implements otawa::Type.
References otawa::Type::BASE.
|
inlineinherited |
|
inlineinherited |
|
virtual |
Print a text representation of the type.
output | Output to display to. |
Reimplemented from otawa::Type.
References otawa::_base_displays, and bknd.
|
inlinevirtual |
If the type is a base type, return it.
Else return null.
Reimplemented from otawa::Type.
|
friend |
|
staticinherited |
|
staticinherited |
|
staticinherited |
Referenced by otawa::__type< bool >::_().
|
staticinherited |
Referenced by otawa::__type< char >::_().
|
staticinherited |
Referenced by otawa::__type< elm::CString >::_().
|
staticinherited |
Referenced by otawa::__type< long double >::_().
|
staticinherited |
Referenced by otawa::__type< float >::_().
|
staticinherited |
Referenced by otawa::__type< double >::_().
|
staticinherited |
Referenced by otawa::__type< short >::_(), otawa::FlowFactLoader::scanMemSet(), and while().
|
staticinherited |
Referenced by otawa::__type< int >::_(), otawa::__type< long >::_(), otawa::FlowFactLoader::scanMemSet(), and while().
|
staticinherited |
Referenced by otawa::__type< long long >::_(), otawa::FlowFactLoader::scanMemSet(), and while().
|
staticinherited |
Referenced by otawa::__type< signed char >::_(), otawa::FlowFactLoader::scanMemSet(), and while().
|
staticinherited |
Referenced by otawa::__type< T >::_(), and otawa::AbstractIdentifier::type().
|
staticinherited |
Referenced by otawa::__type< elm::String >::_().
|
staticinherited |
Referenced by otawa::__type< unsigned short >::_(), otawa::FlowFactLoader::scanMemSet(), and while().
|
staticinherited |
|
staticinherited |
Referenced by otawa::__type< unsigned long long >::_(), otawa::FlowFactLoader::scanMemSet(), and while().
|
staticinherited |
Referenced by otawa::__type< unsigned char >::_(), otawa::FlowFactLoader::scanMemSet(), and while().
|
staticinherited |
Referenced by otawa::__type< void >::_().