Mirror reflection library - Puddle compile-time layer 0.5.13

puddle::MetaTemplatedType Struct Reference

MetaTemplatedType is a type reflecting instantiation of a type template. More...

#include <puddle/doc/concepts.hpp>

Inheritance diagram for puddle::MetaTemplatedType:
Collaboration diagram for puddle::MetaTemplatedType:

List of all members.

Public Types

typedef MetaTypeTemplate type_template

Public Member Functions

MetaTemplatedType type_template (void) const
 Returns the template of the templated type.
Range< MetaTypetemplate_parameters (void) const
 Returns the template parameters.
mirror::meta_templated_type_tag category (void) const
Range< MetaConstructorconstructors (void) const
 Returns meta-data describing the type's constructors.
ContainerKind container_kind (void) const
 Returns the container kind tag.
Range< MetaContainercontainers (void) const
 Returns the meta-data describing element containers.
template<template< class > class UnaryTrait>
unspecified apply (void) const
 Apply a unary trait to the original type and reflect the result.
std::string full_name (void) const
 Returns the full name of the reflected entity.
std::string local_name (void) const
 Returns the local name of the reflected entity.
std::string base_name (void) const
 Returns the base name of the reflected entity.
CompileTimeString static_name (void) const
 Returns a compile-time string containing the base_name.
template<typename Category >
Boolean is_a (Category) const
 Returns true if the meta-object is of the specified Category.
MetaScope scope (void) const
 Returns a meta-object reflecting the scope of the scoped object.

Static Public Member Functions

static unspecified original_type (void)
 Function returning the base-level type reflected by this MetaType.

Friends

Boolean operator== (MetaObject, MetaObject)
 Equality comparison.
Boolean operator!= (MetaObject, MetaObject)
 Inequality comparison.

Detailed Description

MetaTemplatedType is a type reflecting instantiation of a type template.

See also:
mirror::MetaTemplatedType
mirror::meta_templated_type_tag

Member Function Documentation

std::string puddle::MetaNamedObject::base_name ( void  ) const [inherited]

Returns the base name of the reflected entity.

This function returns the base name of the reflected construct (type, class, namespace, member variable, etc.) without the nested name specifier.

mirror::meta_templated_type_tag puddle::MetaTemplatedType::category ( void  ) const
Range<MetaConstructor> puddle::MetaType::constructors ( void  ) const [inherited]

Returns meta-data describing the type's constructors.

This function returns a range of MetaConstructor (s) which are reflecting the constructors of the reflected type

See also:
Range
ContainerKind puddle::MetaType::container_kind ( void  ) const [inherited]

Returns the container kind tag.

Tag specifying the container kind of the reflected type.

Range<MetaContainer> puddle::MetaType::containers ( void  ) const [inherited]

Returns the meta-data describing element containers.

Meta-function returning a range of MetaContainers which are reflecting the element containers of the reflected type

std::string puddle::MetaNamedScopedObject::full_name ( void  ) const [inherited]

Returns the full name of the reflected entity.

This function returns the full name of the reflected construct (type, class, namespace, member variable, etc.) including the nested name specifier.

template<typename Category >
Boolean puddle::MetaObject::is_a ( Category  ) const [inherited]

Returns true if the meta-object is of the specified Category.

Template Parameters:
Categorya meta-object category tag type
See also:
mirror::meta_object_tag
mirror::categorize_meta_object
mirror::meta_object_category
std::string puddle::MetaNamedScopedObject::local_name ( void  ) const [inherited]

Returns the local name of the reflected entity.

This function returns the local name of the reflected construct (type, class, namespace, member variable, etc.) including the partial or full nested name specifier, based on whether the parent scope or one of its enclosing scopes of the construct reflected by this MetaNamedScopedObject is used with the PUDDLE_USING_NAMESPACE macro.

See also:
PUDDLE_USING_NAMESPACE
static unspecified puddle::MetaType::original_type ( void  ) [static, inherited]

Function returning the base-level type reflected by this MetaType.

Use decltype to get the type

MetaScope puddle::MetaScopedObject::scope ( void  ) const [inherited]

Returns a meta-object reflecting the scope of the scoped object.

The resulting type conforms to the MetaScope concept and provides meta-data about the scope which encloses the construct reflected by this MetaScopedObject.

See also:
MetaScope

Reimplemented in puddle::MetaClassMember, puddle::MetaEnumValue, puddle::MetaFreeVariable, and puddle::MetaContainer.

Range<MetaType> puddle::MetaTemplatedType::template_parameters ( void  ) const

Returns the template parameters.

Function returning a range of MetaType(s) which are reflecting the individual parameters used in the instantiation of the type template.

See also:
members
mp::range

Returns the template of the templated type.

this function returns a MetaTypeTemplate reflecting the template which was used for the instantiation of this templated type.

See also:
parameters
MetaTypeTemplate

The documentation for this struct was generated from the following file:

Copyright © 2006-2011 Matus Chochlik, University of Zilina, Zilina, Slovakia.
<matus.chochlik -at- fri.uniza.sk>
<chochlik -at -gmail.com>
Documentation generated on Fri Dec 16 2011 by Doxygen (version 1.7.3).
Important note: Although the 'boostified' version of Mirror uses the Boost C++ libraries Coding Guidelines and is implemented inside of the boost namespace, it IS NOT an officially reviewed and accepted Boost library. Mirror is being developed with the intention to be submitted for review for inclusion to the Boost C++ libraries.