Otawa
0.10
|
Null value for types. 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 | |
NoType (void) | |
virtual kind_t | kind (void) const |
Get the kind of the type. More... | |
virtual void | print (elm::io::Output &output) const |
Print a text representation of the type. More... | |
bool | equals (const Type &type) const |
virtual const BaseType * | toBase (void) const |
If the type is a base type, return it. More... | |
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 |
Null value for types.
|
inherited |
|
inherited |
|
inherited |
|
inherited |
|
inline |
|
inlineinherited |
References otawa::type().
Get a base type from its base type value.
type | Base type. |
References otawa::Type::BASE_TOP, and otawa::type().
|
virtual |
Get the kind of the type.
Implements otawa::Type.
References otawa::Type::NONE.
|
inlineinherited |
|
inlineinherited |
|
virtual |
Print a text representation of the type.
output | Output to display to. |
Reimplemented from otawa::Type.
|
inlinevirtualinherited |
If the type is a base type, return it.
Else return null.
Reimplemented in otawa::BaseType.
|
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 >::_().