#include <cppTypeProxy.h>
Inheritance diagram for CPPTypeProxy:
Public Types | |
typedef vector< CPPTypedef * > | Typedefs |
typedef map< CPPDeclaration *, CPPDeclaration * > | SubstDecl |
typedef set< CPPDeclaration * > | Instantiations |
enum | SubType { ST_instance, ST_typedef, ST_type_declaration, ST_expression, ST_type, ST_namespace, ST_using, ST_simple, ST_pointer, ST_reference, ST_array, ST_const, ST_function, ST_function_group, ST_extension, ST_struct, ST_enum, ST_class_template_parameter, ST_tbd, ST_type_proxy } |
Public Member Functions | |
CPPTypeProxy () | |
virtual CPPType * | resolve_type (CPPScope *current_scope, CPPScope *global_scope) |
If this CPPType object is a forward reference or other nonspecified reference to a type that might now be known a real type, returns the real type. | |
virtual bool | is_tbd () const |
Returns true if the type, or any nested type within the type, is a CPPTBDType and thus isn't fully determined right now. | |
bool | has_typedef_name () const |
Returns true if the type has even been typedef'ed and therefore has a simple name available to stand for it. | |
string | get_typedef_name (CPPScope *scope=NULL) const |
Returns a string that can be used to name the type, if has_typedef_name() returned true. | |
virtual string | get_simple_name () const |
Returns a fundametal one-word name for the type. | |
virtual string | get_local_name (CPPScope *scope=NULL) const |
Returns the compilable, correct name for this type within the indicated scope. | |
virtual string | get_fully_scoped_name () const |
Returns the compilable, correct name for the type, with completely explicit scoping. | |
virtual string | get_preferred_name () const |
Returns the best name to use for the type from a programmer's point of view. | |
virtual bool | is_incomplete () const |
Returns true if the type has not yet been fully specified, false if it has. | |
virtual void | output_instance (ostream &out, int indent_level, CPPScope *scope, bool complete, const string &prename, const string &name) const |
Formats a C++-looking line that defines an instance of the given type, with the indicated name. | |
virtual void | output (ostream &out, int indent_level, CPPScope *scope, bool complete) const |
virtual SubType | get_subtype () const |
virtual CPPType * | as_type () |
virtual CPPSimpleType * | as_simple_type () |
virtual CPPPointerType * | as_pointer_type () |
virtual CPPReferenceType * | as_reference_type () |
virtual CPPArrayType * | as_array_type () |
virtual CPPConstType * | as_const_type () |
virtual CPPFunctionType * | as_function_type () |
virtual CPPExtensionType * | as_extension_type () |
virtual CPPStructType * | as_struct_type () |
virtual CPPEnumType * | as_enum_type () |
virtual CPPTBDType * | as_tbd_type () |
virtual CPPTypeProxy * | as_type_proxy () |
virtual bool | is_equivalent (const CPPType &other) const |
This is a little more forgiving than is_equal(): it returns true if the types appear to be referring to the same thing, even if they may have different pointers or somewhat different definitions. | |
void | output_instance (ostream &out, const string &name, CPPScope *scope) const |
Formats a C++-looking line that defines an instance of the given type, with the indicated name. | |
bool | operator== (const CPPDeclaration &other) const |
bool | operator!= (const CPPDeclaration &other) const |
bool | operator< (const CPPDeclaration &other) const |
bool | is_template () const |
Returns true if this is a template declaration of some kind: a template function or a template class, typically. | |
CPPTemplateScope * | get_template_scope () const |
If is_template(), above, returns true, this returns the CPPTemplateScope in which this particular template declaration is defined. | |
virtual bool | is_fully_specified () const |
Returns true if this declaration is an actual, factual declaration, or false if some part of the declaration depends on a template parameter which has not yet been instantiated. | |
virtual CPPDeclaration * | instantiate (const CPPTemplateParameterList *actual_params, CPPScope *current_scope, CPPScope *global_scope, CPPPreprocessor *error_sink=NULL) const |
virtual CPPDeclaration * | substitute_decl (SubstDecl &subst, CPPScope *current_scope, CPPScope *global_scope) |
virtual CPPInstance * | as_instance () |
virtual CPPClassTemplateParameter * | as_class_template_parameter () |
virtual CPPTypedef * | as_typedef () |
virtual CPPTypeDeclaration * | as_type_declaration () |
virtual CPPExpression * | as_expression () |
virtual CPPNamespace * | as_namespace () |
virtual CPPUsing * | as_using () |
virtual CPPFunctionGroup * | as_function_group () |
Static Public Member Functions | |
CPPType * | new_type (CPPType *type) |
This should be called whenever a new CPPType object is created. | |
void | record_preferred_name_for (const CPPType *type, const string &name) |
Records a global typedef name associated with the indicated Type. | |
string | get_preferred_name_for (const CPPType *type) |
Returns the previously-stored "preferred" name associated with the type, if any, or empty string if no name is associated. | |
Public Attributes | |
CPPType * | _actual_type |
Typedefs | _typedefs |
CPPTypeDeclaration * | _declaration |
Instantiations | _instantiations |
CPPVisibility | _vis |
CPPTemplateScope * | _template_scope |
CPPFile | _file |
CPPCommentBlock * | _leading_comment |
Protected Types | |
typedef set< CPPType *, CPPTypeCompare > | Types |
typedef map< string, string > | PreferredNames |
Protected Member Functions | |
virtual bool | is_equal (const CPPDeclaration *other) const |
Called by CPPDeclaration to determine whether this type is equivalent to another type of the same type. | |
virtual bool | is_less (const CPPDeclaration *other) const |
Called by CPPDeclaration to determine whether this type should be ordered before another type of the same type, in an arbitrary but fixed ordering. | |
Static Protected Attributes | |
Types | _types |
PreferredNames | _preferred_names |
It's used when a type that references itself must instantiate.
Definition at line 43 of file cppTypeProxy.h.
|
Reimplemented in CPPInstance. Definition at line 118 of file cppDeclaration.h. |
|
|
|
Definition at line 113 of file cppDeclaration.h. Referenced by CPPScope::is_fully_specified(). |
|
|
|
|
|
Definition at line 71 of file cppDeclaration.h. Referenced by CPPUsing::output(), CPPFunctionGroup::output(), CPPClassTemplateParameter::output(), and CPPFunctionType::output_instance(). |
|
Definition at line 34 of file cppTypeProxy.cxx. References _actual_type, and NULL. |
|
Reimplemented from CPPDeclaration. Definition at line 354 of file cppTypeProxy.cxx. References _actual_type, CPPDeclaration::as_tbd_type(), and NULL. |
|
Reimplemented in CPPClassTemplateParameter. Definition at line 219 of file cppDeclaration.cxx. References NULL. |
|
Reimplemented from CPPDeclaration. Definition at line 369 of file cppTypeProxy.cxx. |
|
Reimplemented from CPPDeclaration. Definition at line 429 of file cppTypeProxy.cxx. |
|
Reimplemented in CPPExpression. Definition at line 255 of file cppDeclaration.cxx. References NULL. |
|
Reimplemented from CPPDeclaration. Definition at line 399 of file cppTypeProxy.cxx. |
|
Reimplemented in CPPFunctionGroup. Definition at line 375 of file cppDeclaration.cxx. |
|
Reimplemented from CPPDeclaration. Definition at line 384 of file cppTypeProxy.cxx. |
|
Reimplemented in CPPInstance. Definition at line 207 of file cppDeclaration.cxx. References NULL. Referenced by CPPExpression::CPPExpression(), and CPPTypedef::CPPTypedef(). |
|
Reimplemented in CPPNamespace. Definition at line 279 of file cppDeclaration.cxx. References NULL. |
|
Reimplemented from CPPDeclaration. Definition at line 324 of file cppTypeProxy.cxx. References _actual_type, CPPDeclaration::as_struct_type(), and NULL. |
|
Reimplemented from CPPDeclaration. Definition at line 339 of file cppTypeProxy.cxx. References _actual_type, CPPDeclaration::as_enum_type(), and NULL. |
|
Reimplemented from CPPDeclaration. Definition at line 309 of file cppTypeProxy.cxx. References _actual_type. |
|
Reimplemented from CPPDeclaration. Definition at line 414 of file cppTypeProxy.cxx. |
|
Reimplemented from CPPDeclaration. Definition at line 444 of file cppTypeProxy.cxx. |
|
Reimplemented from CPPType. Definition at line 294 of file cppTypeProxy.cxx. References NULL. |
|
Reimplemented in CPPTypeDeclaration. Definition at line 243 of file cppDeclaration.cxx. References NULL. |
|
Reimplemented from CPPDeclaration. Definition at line 459 of file cppTypeProxy.cxx. |
|
Reimplemented in CPPTypedef. Definition at line 231 of file cppDeclaration.cxx. Referenced by CPPTypedef::CPPTypedef(). |
|
Reimplemented in CPPUsing. Definition at line 291 of file cppDeclaration.cxx. |
|
Returns the compilable, correct name for the type, with completely explicit scoping.
Reimplemented from CPPType. Definition at line 180 of file cppTypeProxy.cxx. References _actual_type, NULL, and CPPType::output_instance(). |
|
Returns the compilable, correct name for this type within the indicated scope. If the scope is NULL, within the scope the type is declared in. Reimplemented from CPPType. Definition at line 162 of file cppTypeProxy.cxx. References _actual_type, CPPType::is_incomplete(), and NULL. |
|
Returns the best name to use for the type from a programmer's point of view. This will typically be a typedef name if one is available, or the full C++ name if it is not. The typedef may or may not be visible within the current scope, so this type name may not be compilable. Reimplemented from CPPType. Definition at line 206 of file cppTypeProxy.cxx. |
|
Returns the previously-stored "preferred" name associated with the type, if any, or empty string if no name is associated.
Definition at line 377 of file cppType.cxx. Referenced by CPPType::get_simple_name(). |
|
Returns a fundametal one-word name for the type. This name will not include any scoping operators or template parameters, so it may not be a compilable reference to the type. Reimplemented from CPPType. Definition at line 142 of file cppTypeProxy.cxx. |
|
Implements CPPDeclaration. Definition at line 282 of file cppTypeProxy.cxx. |
|
If is_template(), above, returns true, this returns the CPPTemplateScope in which this particular template declaration is defined. This scope includes the information about the template parameters. Definition at line 143 of file cppDeclaration.cxx. References NULL, and CPPPreprocessor::warning(). |
|
Returns a string that can be used to name the type, if has_typedef_name() returned true. This will be the first typedef name applied to the type. Reimplemented from CPPType. Definition at line 119 of file cppTypeProxy.cxx. References _actual_type, CPPType::get_local_name(), and NULL. |
|
Returns true if the type has even been typedef'ed and therefore has a simple name available to stand for it. Extension types are all implicitly typedef'ed on declaration. Reimplemented from CPPType. Definition at line 99 of file cppTypeProxy.cxx. References _actual_type, CPPType::get_simple_name(), and NULL. |
|
Reimplemented in CPPInstance, and CPPStructType. Definition at line 174 of file cppDeclaration.cxx. References NULL. |
|
Called by CPPDeclaration to determine whether this type is equivalent to another type of the same type.
Reimplemented in CPPArrayType, CPPClassTemplateParameter, CPPConstType, CPPExpression, CPPFunctionType, CPPPointerType, CPPReferenceType, CPPSimpleType, CPPStructType, and CPPTBDType. Definition at line 451 of file cppDeclaration.cxx. Referenced by CPPType::get_fully_scoped_name(), and CPPDeclaration::~CPPDeclaration(). |
|
This is a little more forgiving than is_equal(): it returns true if the types appear to be referring to the same thing, even if they may have different pointers or somewhat different definitions. It's useful for parameter matching, etc. Reimplemented in CPPArrayType, CPPConstType, CPPExtensionType, CPPPointerType, and CPPReferenceType. Definition at line 239 of file cppType.cxx. Referenced by CPPExtensionType::substitute_decl(). |
|
Returns true if this declaration is an actual, factual declaration, or false if some part of the declaration depends on a template parameter which has not yet been instantiated.
Reimplemented in CPPArrayType, CPPClassTemplateParameter, CPPConstType, CPPFunctionType, CPPInstance, CPPPointerType, CPPReferenceType, and CPPStructType. Definition at line 162 of file cppDeclaration.cxx. References NULL. Referenced by CPPConstType::CPPConstType(), CPPPointerType::CPPPointerType(), CPPReferenceType::CPPReferenceType(), CPPInstance::instantiate(), and CPPFunctionType::operator=(). |
|
Returns true if the type has not yet been fully specified, false if it has.
Reimplemented from CPPType. Definition at line 224 of file cppTypeProxy.cxx. References _actual_type, and NULL. |
|
Called by CPPDeclaration to determine whether this type should be ordered before another type of the same type, in an arbitrary but fixed ordering.
Reimplemented in CPPArrayType, CPPClassTemplateParameter, CPPConstType, CPPExpression, CPPFunctionType, CPPPointerType, CPPReferenceType, CPPSimpleType, CPPStructType, and CPPTBDType. Definition at line 468 of file cppDeclaration.cxx. |
|
Returns true if the type, or any nested type within the type, is a CPPTBDType and thus isn't fully determined right now. In this case, calling resolve_type() may or may not resolve the type. Reimplemented from CPPType. Definition at line 77 of file cppTypeProxy.cxx. References _actual_type, and NULL. |
|
Returns true if this is a template declaration of some kind: a template function or a template class, typically.
Definition at line 124 of file cppDeclaration.cxx. Referenced by InterrogateBuilder::remap_indices(), and InterrogateBuilder::scan_function(). |
|
This should be called whenever a new CPPType object is created. It will uniquify the type pointers by checking to see if some equivalent CPPType object has previously been created; if it has, it returns the old object and deletes the new one. Otherwise, it stores the new one and returns it. Definition at line 321 of file cppType.cxx. Referenced by CPPInstanceIdentifier::add_array_modifier(), CPPEnumType::CPPEnumType(), InterrogateBuilder::get_getter(), CPPInstance::get_local_name(), CPPInstance::get_simple_name(), CPPArrayType::is_fully_specified(), CPPPreprocessor::should_ignore_manifest(), and TypeManager::unwrap_const_reference(). |
|
Definition at line 92 of file cppDeclaration.cxx. |
|
Definition at line 104 of file cppDeclaration.cxx. References CPPDeclaration::_template_scope, and NULL. |
|
Definition at line 77 of file cppDeclaration.cxx. |
|
Implements CPPDeclaration. Definition at line 265 of file cppTypeProxy.cxx. References _actual_type, CPPDeclaration::as_reference_type(), and NULL. |
|
Formats a C++-looking line that defines an instance of the given type, with the indicated name. In most cases this will be "type name", but some types have special exceptions. Definition at line 262 of file cppType.cxx. References CPPType::_preferred_names, and CPPType::get_fully_scoped_name(). Referenced by get_fully_scoped_name(), CPPReferenceType::is_equivalent(), CPPPointerType::output(), CPPFunctionType::output(), FunctionWriterPtrToPython::write_prototype(), FunctionWriterPtrFromPython::write_prototype(), FunctionWriterPtrFromPython::~FunctionWriterPtrFromPython(), and FunctionWriterPtrToPython::~FunctionWriterPtrToPython(). |
|
Formats a C++-looking line that defines an instance of the given type, with the indicated name. In most cases this will be "type name", but some types have special exceptions. Reimplemented from CPPType. Definition at line 246 of file cppTypeProxy.cxx. References _actual_type, CPPDeclaration::as_pointer_type(), and NULL. |
|
Records a global typedef name associated with the indicated Type. This will be taken as the "preferred" name for this class, should anyone ask. Definition at line 355 of file cppType.cxx. |
|
If this CPPType object is a forward reference or other nonspecified reference to a type that might now be known a real type, returns the real type. Otherwise returns the type itself. Reimplemented from CPPType. Definition at line 55 of file cppTypeProxy.cxx. References _actual_type, CPPType::is_tbd(), and NULL. |
|
Definition at line 191 of file cppDeclaration.cxx. Referenced by CPPReferenceType::is_fully_specified(), CPPPointerType::is_fully_specified(), CPPConstType::is_fully_specified(), CPPArrayType::is_tbd(), and CPPScope::write(). |
|
Definition at line 84 of file cppTypeProxy.h. Referenced by as_array_type(), as_pointer_type(), as_reference_type(), as_simple_type(), CPPTypeProxy(), get_fully_scoped_name(), get_local_name(), get_typedef_name(), has_typedef_name(), is_incomplete(), is_tbd(), output(), output_instance(), and resolve_type(). |
|
Definition at line 87 of file cppType.h. Referenced by TypeManager::is_pointer_to_base(). |
|
Definition at line 149 of file cppDeclaration.h. Referenced by InterrogateBuilder::remap_indices(), InterrogateBuilder::scan_function(), and CPPScope::write(). |
|
Reimplemented in CPPInstance. Definition at line 119 of file cppDeclaration.h. |
|
Definition at line 150 of file cppDeclaration.h. Referenced by CPPDeclaration::CPPDeclaration(), and CPPScope::set_current_vis(). |
|
Definition at line 27 of file cppType.cxx. Referenced by CPPType::output_instance(). |
|
Definition at line 148 of file cppDeclaration.h. Referenced by CPPTemplateScope::add_declaration(), CPPTemplateScope::add_enum_value(), CPPTemplateScope::CPPTemplateScope(), and CPPDeclaration::operator<(). |
|
Definition at line 52 of file cppType.h. Referenced by CPPType::is_tbd(). |
|
Definition at line 26 of file cppType.cxx. |
|
Definition at line 147 of file cppDeclaration.h. Referenced by CPPScope::get_local_name(), TypeManager::is_pointer_to_base(), InterrogateBuilder::remap_indices(), InterrogateBuilder::scan_function(), and TypeManager::wrap_const_reference(). |