projects
/
cparser
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Make the input encoding selectable via −finput‐charset=. Currently suported are...
[cparser]
/
type.h
diff --git
a/type.h
b/type.h
index
ca9a113
..
751d658
100644
(file)
--- a/
type.h
+++ b/
type.h
@@
-25,11
+25,16
@@
#include "ast.h"
#include "symbol.h"
#include "ast.h"
#include "symbol.h"
+/** Type used to express sizes. */
+typedef unsigned long il_size_t;
+typedef unsigned char il_alignment_t;
+
/* note that the constant values represent the rank of the types as defined
* in § 6.3.1 */
/* note that the constant values represent the rank of the types as defined
* in § 6.3.1 */
-typedef enum {
+typedef enum
atomic_type_kind_t
{
ATOMIC_TYPE_INVALID = 0,
ATOMIC_TYPE_VOID,
ATOMIC_TYPE_INVALID = 0,
ATOMIC_TYPE_VOID,
+ ATOMIC_TYPE_WCHAR_T,
ATOMIC_TYPE_CHAR,
ATOMIC_TYPE_SCHAR,
ATOMIC_TYPE_UCHAR,
ATOMIC_TYPE_CHAR,
ATOMIC_TYPE_SCHAR,
ATOMIC_TYPE_UCHAR,
@@
-49,7
+54,7
@@
typedef enum {
ATOMIC_TYPE_LAST = ATOMIC_TYPE_BOOL
} atomic_type_kind_t;
ATOMIC_TYPE_LAST = ATOMIC_TYPE_BOOL
} atomic_type_kind_t;
-typedef enum {
+typedef enum
atomic_type_flag_t
{
ATOMIC_TYPE_FLAG_NONE = 0,
ATOMIC_TYPE_FLAG_SIGNED = 1 << 0,
ATOMIC_TYPE_FLAG_INTEGER = 1 << 1,
ATOMIC_TYPE_FLAG_NONE = 0,
ATOMIC_TYPE_FLAG_SIGNED = 1 << 0,
ATOMIC_TYPE_FLAG_INTEGER = 1 << 1,
@@
-58,7
+63,7
@@
typedef enum {
ATOMIC_TYPE_FLAG_COMPLEX = 1 << 4,
} atomic_type_flag_t;
ATOMIC_TYPE_FLAG_COMPLEX = 1 << 4,
} atomic_type_flag_t;
-typedef enum {
+typedef enum
type_qualifier_t
{
TYPE_QUALIFIER_NONE = 0,
TYPE_QUALIFIER_CONST = 1 << 0,
TYPE_QUALIFIER_RESTRICT = 1 << 1,
TYPE_QUALIFIER_NONE = 0,
TYPE_QUALIFIER_CONST = 1 << 0,
TYPE_QUALIFIER_RESTRICT = 1 << 1,
@@
-77,6
+82,7
@@
typedef struct atomic_type_t atomic_type_t;
typedef struct complex_type_t complex_type_t;
typedef struct imaginary_type_t imaginary_type_t;
typedef struct pointer_type_t pointer_type_t;
typedef struct complex_type_t complex_type_t;
typedef struct imaginary_type_t imaginary_type_t;
typedef struct pointer_type_t pointer_type_t;
+typedef struct reference_type_t reference_type_t;
typedef struct function_parameter_t function_parameter_t;
typedef struct function_type_t function_type_t;
typedef struct compound_type_t compound_type_t;
typedef struct function_parameter_t function_parameter_t;
typedef struct function_type_t function_type_t;
typedef struct compound_type_t compound_type_t;
@@
-98,12
+104,12
@@
void print_type(const type_t *type);
* if symbol is NULL
*/
void print_type_ext(const type_t *type, const symbol_t *symbol,
* if symbol is NULL
*/
void print_type_ext(const type_t *type, const symbol_t *symbol,
- const scope_t *
scope
);
+ const scope_t *
parameters
);
void print_type_qualifiers(type_qualifiers_t qualifiers);
void print_type_qualifiers(type_qualifiers_t qualifiers);
-void print_enum_definition(const
declaration_t *declaration
);
-void print_compound_definition(const
declaration_t *declaration
);
+void print_enum_definition(const
enum_t *enume
);
+void print_compound_definition(const
compound_t *compound
);
/**
* set output stream for the type printer
/**
* set output stream for the type printer
@@
-117,6
+123,11
@@
void inc_type_visited(void);
*/
bool is_type_integer(const type_t *type);
*/
bool is_type_integer(const type_t *type);
+/**
+ * Returns true if the given type is an enum type.
+ */
+bool is_type_enum(const type_t *type);
+
/**
* return true if type contains signed numbers
*/
/**
* return true if type contains signed numbers
*/
@@
-127,6
+138,11
@@
bool is_type_signed(const type_t *type);
*/
bool is_type_float(const type_t *type);
*/
bool is_type_float(const type_t *type);
+/**
+ * returns true if type contains complex numbers
+ */
+bool is_type_complex(const type_t *type);
+
bool is_type_real(const type_t *type);
/**
bool is_type_real(const type_t *type);
/**
@@
-152,8
+168,15
@@
bool is_type_object(const type_t *type);
bool types_compatible(const type_t *type1, const type_t *type2);
type_t *get_unqualified_type(type_t *type);
bool types_compatible(const type_t *type1, const type_t *type2);
type_t *get_unqualified_type(type_t *type);
+type_t *get_qualified_type(type_t*, type_qualifiers_t);
type_t *skip_typeref(type_t *type);
type_t *skip_typeref(type_t *type);
+/**
+ * Return the type qualifier set of a type. If skip_array_type
+ * is true, skip all array types.
+ */
+type_qualifiers_t get_type_qualifier(const type_t *type, bool skip_array_type);
+
/**
* returns size of an atomic type kind in bytes
*/
/**
* returns size of an atomic type kind in bytes
*/
@@
-182,4
+205,6
@@
atomic_type_kind_t find_signed_int_atomic_type_kind_for_size(unsigned size);
*/
atomic_type_kind_t find_unsigned_int_atomic_type_kind_for_size(unsigned size);
*/
atomic_type_kind_t find_unsigned_int_atomic_type_kind_for_size(unsigned size);
+const char *get_atomic_kind_name(atomic_type_kind_t kind);
+
#endif
#endif