本文整理汇总了C++中typet::is_bool方法的典型用法代码示例。如果您正苦于以下问题：C++ typet::is_bool方法的具体用法？C++ typet::is_bool怎么用？C++ typet::is_bool使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类typet的用法示例。
在下文中一共展示了typet::is_bool方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: read_rec
void ansi_c_convert_typet::read_rec(const typet &type)
{
if(type.id() == "merged_type")
{
forall_subtypes(it, type)
read_rec(*it);
}
else if(type.id() == "signed")
signed_cnt++;
else if(type.id() == "unsigned")
unsigned_cnt++;
else if(type.id() == "volatile")
c_qualifiers.is_volatile = true;
else if(type.id() == "const")
c_qualifiers.is_constant = true;
else if(type.id() == "restricted")
c_qualifiers.is_restricted = true;
else if(type.id() == "char")
char_cnt++;
else if(type.id() == "int")
int_cnt++;
else if(type.id() == "int8")
int8_cnt++;
else if(type.id() == "int16")
int16_cnt++;
else if(type.id() == "int32")
int32_cnt++;
else if(type.id() == "int64")
int64_cnt++;
else if(type.id() == "ptr32")
ptr32_cnt++;
else if(type.id() == "ptr64")
ptr64_cnt++;
else if(type.id() == "short")
short_cnt++;
else if(type.id() == "long")
long_cnt++;
else if(type.id() == "double")
double_cnt++;
else if(type.id() == "float")
float_cnt++;
else if(type.is_bool())
bool_cnt++;
else if(type.id() == "static")
c_storage_spec.is_static = true;
else if(type.id() == "inline")
c_storage_spec.is_inline = true;
else if(type.id() == "extern")
c_storage_spec.is_extern = true;
else if(type.id() == "typedef")
c_storage_spec.is_typedef = true;
else if(type.id() == "register")
c_storage_spec.is_register = true;
else if(type.id() == "auto")
{
// ignore
}
else if(type == get_nil_irep())
{
// ignore
}
else
other.push_back(type);
}