本文整理汇总了C++中ArrayType::toString方法的典型用法代码示例。如果您正苦于以下问题：C++ ArrayType::toString方法的具体用法？C++ ArrayType::toString怎么用？C++ ArrayType::toString使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类ArrayType的用法示例。
在下文中一共展示了ArrayType::toString方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: PrettyCheckArgument
ArrayStoreAll::ArrayStoreAll(const ArrayType& type, const Expr& expr)
: d_type(), d_expr() {
// this check is stronger than the assertion check in the expr manager that
// ArrayTypes are actually array types
// because this check is done in production builds too
PrettyCheckArgument(
type.isArray(), type,
"array store-all constants can only be created for array types, not `%s'",
type.toString().c_str());
PrettyCheckArgument(
expr.getType().isComparableTo(type.getConstituentType()), expr,
"expr type `%s' does not match constituent type of array type `%s'",
expr.getType().toString().c_str(), type.toString().c_str());
PrettyCheckArgument(expr.isConst(), expr,
"ArrayStoreAll requires a constant expression");
// Delay allocation until the checks above have been performed. If these fail,
// the memory for d_type and d_expr should not leak. The alternative is catch,
// delete and re-throw.
d_type.reset(new ArrayType(type));
d_expr.reset(new Expr(expr));
}