Refactored type
This commit is contained in:
158
src/cx/type.cc
158
src/cx/type.cc
@@ -21,6 +21,164 @@
|
|||||||
namespace clanguml {
|
namespace clanguml {
|
||||||
namespace cx {
|
namespace cx {
|
||||||
|
|
||||||
|
type::type(CXType &&t)
|
||||||
|
: m_type{std::move(t)}
|
||||||
|
{
|
||||||
|
}
|
||||||
|
|
||||||
|
std::string type::spelling() const
|
||||||
|
{
|
||||||
|
return to_string(clang_getTypeSpelling(m_type));
|
||||||
|
}
|
||||||
|
|
||||||
|
bool type::operator==(const type &b) const
|
||||||
|
{
|
||||||
|
return clang_equalTypes(m_type, b.get());
|
||||||
|
}
|
||||||
|
|
||||||
|
type type::canonical() const { return {clang_getCanonicalType(m_type)}; }
|
||||||
|
|
||||||
|
bool type::is_unexposed() const { return kind() == CXType_Unexposed; }
|
||||||
|
|
||||||
|
bool type::is_const_qualified() const
|
||||||
|
{
|
||||||
|
return clang_isConstQualifiedType(m_type);
|
||||||
|
}
|
||||||
|
|
||||||
|
bool type::is_volatile_qualified() const
|
||||||
|
{
|
||||||
|
return clang_isVolatileQualifiedType(m_type);
|
||||||
|
}
|
||||||
|
|
||||||
|
bool type::is_restricted_qualified() const
|
||||||
|
{
|
||||||
|
return clang_isRestrictQualifiedType(m_type);
|
||||||
|
}
|
||||||
|
|
||||||
|
bool type::is_invalid() const { return kind() == CXType_Invalid; }
|
||||||
|
|
||||||
|
std::string type::typedef_name() const
|
||||||
|
{
|
||||||
|
return to_string(clang_getTypedefName(m_type));
|
||||||
|
}
|
||||||
|
|
||||||
|
type type::pointee_type() const { return {clang_getPointeeType(m_type)}; }
|
||||||
|
|
||||||
|
CXTypeKind type::kind() const { return m_type.kind; }
|
||||||
|
|
||||||
|
std::string type::kind_spelling() const
|
||||||
|
{
|
||||||
|
return to_string(clang_getTypeKindSpelling(m_type.kind));
|
||||||
|
}
|
||||||
|
|
||||||
|
CXCallingConv type::calling_convention() const
|
||||||
|
{
|
||||||
|
return clang_getFunctionTypeCallingConv(m_type);
|
||||||
|
}
|
||||||
|
|
||||||
|
type type::result_type() const { return clang_getResultType(m_type); }
|
||||||
|
|
||||||
|
int type::exception_specification_type() const
|
||||||
|
{
|
||||||
|
return clang_getExceptionSpecificationType(m_type);
|
||||||
|
}
|
||||||
|
|
||||||
|
int type::argument_type_count() const { return clang_getNumArgTypes(m_type); }
|
||||||
|
|
||||||
|
type type::argument_type(int i) const { return {clang_getArgType(m_type, i)}; }
|
||||||
|
|
||||||
|
bool type::is_function_variadic() const
|
||||||
|
{
|
||||||
|
return clang_isFunctionTypeVariadic(m_type);
|
||||||
|
}
|
||||||
|
|
||||||
|
bool type::is_pod() const { return clang_isPODType(m_type); }
|
||||||
|
|
||||||
|
bool type::is_pointer() const { return kind() == CXType_Pointer; }
|
||||||
|
|
||||||
|
bool type::is_record() const { return kind() == CXType_Record; }
|
||||||
|
|
||||||
|
type type::referenced() const
|
||||||
|
{
|
||||||
|
auto t = *this;
|
||||||
|
while (t.is_pointer() || t.is_reference()) {
|
||||||
|
t = t.pointee_type();
|
||||||
|
}
|
||||||
|
|
||||||
|
return t;
|
||||||
|
}
|
||||||
|
|
||||||
|
bool type::is_reference() const
|
||||||
|
{
|
||||||
|
return (kind() == CXType_LValueReference) ||
|
||||||
|
(kind() == CXType_RValueReference);
|
||||||
|
}
|
||||||
|
|
||||||
|
bool type::is_array() const { return clang_getArraySize(m_type) > -1; }
|
||||||
|
|
||||||
|
type type::array_type() const { return {clang_getArrayElementType(m_type)}; }
|
||||||
|
|
||||||
|
bool type::is_relationship() const
|
||||||
|
{
|
||||||
|
return is_pointer() || is_record() || is_reference() || !is_pod() ||
|
||||||
|
is_array() || is_template() ||
|
||||||
|
(spelling().find("std::array") ==
|
||||||
|
0 /* There must be a better way... */);
|
||||||
|
}
|
||||||
|
|
||||||
|
type type::element_type() const { return clang_getElementType(m_type); }
|
||||||
|
|
||||||
|
long long type::element_count() const { return clang_getNumElements(m_type); }
|
||||||
|
|
||||||
|
type type::array_element_type() const
|
||||||
|
{
|
||||||
|
return clang_getArrayElementType(m_type);
|
||||||
|
}
|
||||||
|
|
||||||
|
type type::named_type() const { return clang_Type_getNamedType(m_type); }
|
||||||
|
|
||||||
|
CXTypeNullabilityKind type::nullability() const
|
||||||
|
{
|
||||||
|
return clang_Type_getNullability(m_type);
|
||||||
|
}
|
||||||
|
|
||||||
|
type type::class_type() const { return clang_Type_getClassType(m_type); }
|
||||||
|
|
||||||
|
long long type::size_of() const { return clang_Type_getSizeOf(m_type); }
|
||||||
|
|
||||||
|
type type::modified_type() const { return clang_Type_getModifiedType(m_type); }
|
||||||
|
|
||||||
|
type type::value_type() const { return clang_Type_getValueType(m_type); }
|
||||||
|
|
||||||
|
bool type::is_template() const { return template_arguments_count() > 0; }
|
||||||
|
|
||||||
|
bool type::is_template_parameter() const
|
||||||
|
{
|
||||||
|
return canonical().spelling().find("type-parameter-") == 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
int type::template_arguments_count() const
|
||||||
|
{
|
||||||
|
return clang_Type_getNumTemplateArguments(m_type);
|
||||||
|
}
|
||||||
|
|
||||||
|
type type::template_argument_type(int i) const
|
||||||
|
{
|
||||||
|
return clang_Type_getTemplateArgumentAsType(m_type, i);
|
||||||
|
}
|
||||||
|
|
||||||
|
const CXType &type::get() const { return m_type; }
|
||||||
|
|
||||||
|
CXRefQualifierKind type::cxxref_qualifier() const
|
||||||
|
{
|
||||||
|
return clang_Type_getCXXRefQualifier(m_type);
|
||||||
|
}
|
||||||
|
|
||||||
|
std::string type::unqualified() const
|
||||||
|
{
|
||||||
|
return clanguml::util::unqualify(spelling());
|
||||||
|
}
|
||||||
|
|
||||||
cursor type::type_declaration() const
|
cursor type::type_declaration() const
|
||||||
{
|
{
|
||||||
return {clang_getTypeDeclaration(m_type)};
|
return {clang_getTypeDeclaration(m_type)};
|
||||||
|
|||||||
188
src/cx/type.h
188
src/cx/type.h
@@ -34,93 +34,43 @@ class cursor;
|
|||||||
|
|
||||||
class type {
|
class type {
|
||||||
public:
|
public:
|
||||||
type(CXType &&t)
|
type(CXType &&t);
|
||||||
: m_type{std::move(t)}
|
|
||||||
{
|
|
||||||
}
|
|
||||||
~type() = default;
|
~type() = default;
|
||||||
|
|
||||||
std::string spelling() const
|
std::string spelling() const;
|
||||||
{
|
|
||||||
return to_string(clang_getTypeSpelling(m_type));
|
|
||||||
}
|
|
||||||
|
|
||||||
bool operator==(const type &b) const
|
bool operator==(const type &b) const;
|
||||||
{
|
|
||||||
return clang_equalTypes(m_type, b.get());
|
|
||||||
}
|
|
||||||
|
|
||||||
type canonical() const { return {clang_getCanonicalType(m_type)}; }
|
type canonical() const;
|
||||||
|
bool is_unexposed() const;
|
||||||
|
bool is_const_qualified() const;
|
||||||
|
|
||||||
bool is_unexposed() const { return kind() == CXType_Unexposed; }
|
bool is_volatile_qualified() const;
|
||||||
|
|
||||||
bool is_const_qualified() const
|
bool is_restricted_qualified() const;
|
||||||
{
|
|
||||||
return clang_isConstQualifiedType(m_type);
|
|
||||||
}
|
|
||||||
|
|
||||||
bool is_volatile_qualified() const
|
bool is_invalid() const;
|
||||||
{
|
std::string typedef_name() const;
|
||||||
return clang_isVolatileQualifiedType(m_type);
|
|
||||||
}
|
|
||||||
|
|
||||||
bool is_restricted_qualified() const
|
|
||||||
{
|
|
||||||
return clang_isRestrictQualifiedType(m_type);
|
|
||||||
}
|
|
||||||
|
|
||||||
bool is_invalid() const { return kind() == CXType_Invalid; }
|
|
||||||
|
|
||||||
std::string typedef_name() const
|
|
||||||
{
|
|
||||||
return to_string(clang_getTypedefName(m_type));
|
|
||||||
}
|
|
||||||
|
|
||||||
type pointee_type() const { return {clang_getPointeeType(m_type)}; }
|
|
||||||
|
|
||||||
|
type pointee_type() const;
|
||||||
cursor type_declaration() const;
|
cursor type_declaration() const;
|
||||||
|
|
||||||
/*
|
CXTypeKind kind() const;
|
||||||
*std::string type_kind_spelling() const
|
std::string kind_spelling() const;
|
||||||
*{
|
|
||||||
* return clang_getTypeKindSpelling(kind());
|
|
||||||
*}
|
|
||||||
*/
|
|
||||||
|
|
||||||
CXTypeKind kind() const { return m_type.kind; }
|
CXCallingConv calling_convention() const;
|
||||||
|
|
||||||
std::string kind_spelling() const
|
type result_type() const;
|
||||||
{
|
int exception_specification_type() const;
|
||||||
return to_string(clang_getTypeKindSpelling(m_type.kind));
|
|
||||||
}
|
|
||||||
|
|
||||||
CXCallingConv calling_convention() const
|
int argument_type_count() const;
|
||||||
{
|
type argument_type(int i) const;
|
||||||
return clang_getFunctionTypeCallingConv(m_type);
|
bool is_function_variadic() const;
|
||||||
}
|
|
||||||
|
|
||||||
type result_type() const { return clang_getResultType(m_type); }
|
|
||||||
|
|
||||||
int exception_specification_type() const
|
|
||||||
{
|
|
||||||
return clang_getExceptionSpecificationType(m_type);
|
|
||||||
}
|
|
||||||
|
|
||||||
int argument_type_count() const { return clang_getNumArgTypes(m_type); }
|
|
||||||
|
|
||||||
type argument_type(int i) const { return {clang_getArgType(m_type, i)}; }
|
|
||||||
|
|
||||||
bool is_function_variadic() const
|
|
||||||
{
|
|
||||||
return clang_isFunctionTypeVariadic(m_type);
|
|
||||||
}
|
|
||||||
|
|
||||||
bool is_pod() const { return clang_isPODType(m_type); }
|
|
||||||
|
|
||||||
bool is_pointer() const { return kind() == CXType_Pointer; }
|
|
||||||
|
|
||||||
bool is_record() const { return kind() == CXType_Record; }
|
|
||||||
|
|
||||||
|
bool is_pod() const;
|
||||||
|
bool is_pointer() const;
|
||||||
|
bool is_record() const;
|
||||||
/**
|
/**
|
||||||
* @brief Return final referenced type.
|
* @brief Return final referenced type.
|
||||||
*
|
*
|
||||||
@@ -129,81 +79,34 @@ public:
|
|||||||
*
|
*
|
||||||
* @return Referenced type.
|
* @return Referenced type.
|
||||||
*/
|
*/
|
||||||
type referenced() const
|
type referenced() const;
|
||||||
{
|
|
||||||
auto t = *this;
|
|
||||||
while (t.is_pointer() || t.is_reference()) {
|
|
||||||
t = t.pointee_type();
|
|
||||||
}
|
|
||||||
|
|
||||||
return t;
|
bool is_reference() const;
|
||||||
}
|
|
||||||
|
|
||||||
bool is_reference() const
|
bool is_array() const;
|
||||||
{
|
type array_type() const;
|
||||||
return (kind() == CXType_LValueReference) ||
|
bool is_relationship() const;
|
||||||
(kind() == CXType_RValueReference);
|
|
||||||
}
|
|
||||||
|
|
||||||
bool is_array() const { return clang_getArraySize(m_type) > -1; }
|
type element_type() const;
|
||||||
|
long long element_count() const;
|
||||||
|
type array_element_type() const;
|
||||||
|
|
||||||
type array_type() const { return {clang_getArrayElementType(m_type)}; }
|
type named_type() const;
|
||||||
|
CXTypeNullabilityKind nullability() const;
|
||||||
|
|
||||||
bool is_relationship() const
|
type class_type() const;
|
||||||
{
|
long long size_of() const;
|
||||||
return is_pointer() || is_record() || is_reference() || !is_pod() ||
|
type modified_type() const;
|
||||||
is_array() || is_template() ||
|
type value_type() const;
|
||||||
(spelling().find("std::array") ==
|
bool is_template() const;
|
||||||
0 /* There must be a better way... */);
|
bool is_template_parameter() const;
|
||||||
}
|
|
||||||
|
|
||||||
type element_type() const { return clang_getElementType(m_type); }
|
int template_arguments_count() const;
|
||||||
|
|
||||||
long long element_count() const { return clang_getNumElements(m_type); }
|
type template_argument_type(int i) const;
|
||||||
|
|
||||||
type array_element_type() const
|
const CXType &get() const;
|
||||||
{
|
CXRefQualifierKind cxxref_qualifier() const;
|
||||||
return clang_getArrayElementType(m_type);
|
|
||||||
}
|
|
||||||
|
|
||||||
type named_type() const { return clang_Type_getNamedType(m_type); }
|
|
||||||
|
|
||||||
CXTypeNullabilityKind nullability() const
|
|
||||||
{
|
|
||||||
return clang_Type_getNullability(m_type);
|
|
||||||
}
|
|
||||||
|
|
||||||
type class_type() const { return clang_Type_getClassType(m_type); }
|
|
||||||
|
|
||||||
long long size_of() const { return clang_Type_getSizeOf(m_type); }
|
|
||||||
|
|
||||||
type modified_type() const { return clang_Type_getModifiedType(m_type); }
|
|
||||||
|
|
||||||
type value_type() const { return clang_Type_getValueType(m_type); }
|
|
||||||
|
|
||||||
bool is_template() const { return template_arguments_count() > 0; }
|
|
||||||
|
|
||||||
bool is_template_parameter() const
|
|
||||||
{
|
|
||||||
return canonical().spelling().find("type-parameter-") == 0;
|
|
||||||
}
|
|
||||||
|
|
||||||
int template_arguments_count() const
|
|
||||||
{
|
|
||||||
return clang_Type_getNumTemplateArguments(m_type);
|
|
||||||
}
|
|
||||||
|
|
||||||
type template_argument_type(int i) const
|
|
||||||
{
|
|
||||||
return clang_Type_getTemplateArgumentAsType(m_type, i);
|
|
||||||
}
|
|
||||||
|
|
||||||
const CXType &get() const { return m_type; }
|
|
||||||
|
|
||||||
CXRefQualifierKind cxxref_qualifier() const
|
|
||||||
{
|
|
||||||
return clang_Type_getCXXRefQualifier(m_type);
|
|
||||||
}
|
|
||||||
|
|
||||||
bool is_template_instantiation() const;
|
bool is_template_instantiation() const;
|
||||||
|
|
||||||
@@ -214,10 +117,7 @@ public:
|
|||||||
*
|
*
|
||||||
* @return Unqualified identifier.
|
* @return Unqualified identifier.
|
||||||
*/
|
*/
|
||||||
std::string unqualified() const
|
std::string unqualified() const;
|
||||||
{
|
|
||||||
return clanguml::util::unqualify(spelling());
|
|
||||||
}
|
|
||||||
|
|
||||||
private:
|
private:
|
||||||
CXType m_type;
|
CXType m_type;
|
||||||
|
|||||||
Reference in New Issue
Block a user