14 if(type.
id()==ID_signedbv)
15 return bvtypet::IS_SIGNED;
16 else if(type.
id()==ID_unsignedbv)
17 return bvtypet::IS_UNSIGNED;
18 else if(type.
id()==ID_c_bool)
19 return bvtypet::IS_C_BOOL;
20 else if(type.
id() == ID_c_enum || type.
id() == ID_c_enum_tag)
21 return bvtypet::IS_C_ENUM;
22 else if(type.
id()==ID_floatbv)
23 return bvtypet::IS_FLOAT;
24 else if(type.
id()==ID_fixedbv)
25 return bvtypet::IS_FIXED;
26 else if(type.
id()==ID_bv)
27 return bvtypet::IS_BV;
28 else if(type.
id()==ID_verilog_signedbv)
29 return bvtypet::IS_VERILOG_SIGNED;
30 else if(type.
id()==ID_verilog_unsignedbv)
31 return bvtypet::IS_VERILOG_UNSIGNED;
32 else if(type.
id()==ID_range)
33 return bvtypet::IS_RANGE;
34 else if(type.
id()==ID_c_bit_field)
37 return bvtypet::IS_UNKNOWN;