tool::get_exact< bottom, Up > Struct Template Reference

Template specialization to make get_exact work. More...

#include <trace-tools/tool/static_base.hh>

List of all members.

Public Types

typedef Up return_type


Detailed Description

template<class Up>
struct tool::get_exact< bottom, Up >

Template specialization to make get_exact work.

Get an exact type given a type and its Bottom parameter.

   get_exact<Down, Up>::return_type   = Down
   get_exact<bottom, Up>::return_type = Up

See also:
static_base

Member Typedef Documentation

template<class Up>
typedef Up tool::get_exact< bottom, Up >::return_type

The trait's return type.


The documentation for this struct was generated from the following file:
Generated on Wed Sep 12 16:02:47 2007 for trace-tools by  doxygen 1.5.3