Awali
Another Weighted Automata library
Public Member Functions | Data Fields
awali::sttc::internal::down_caster Struct Reference

A functor that captures the current location (to report errors), and provides "cast". More...

#include <cast.hh>

Public Member Functions

 down_caster (const char *f, int l)
 
template<typename T , typename U >
std::shared_ptr< T > cast (std::shared_ptr< U > t)
 Special case for shared_ptr. More...
 
template<typename T , typename U >
cast (U t)
 
template<typename T , typename U >
void error (const char *msg)
 

Data Fields

const char * file
 
int line
 

Detailed Description

A functor that captures the current location (to report errors), and provides "cast".

Constructor & Destructor Documentation

◆ down_caster()

awali::sttc::internal::down_caster::down_caster ( const char *  f,
int  l 
)

Member Function Documentation

◆ cast() [1/2]

template<typename T , typename U >
std::shared_ptr<T> awali::sttc::internal::down_caster::cast ( std::shared_ptr< U >  t)

Special case for shared_ptr.

◆ cast() [2/2]

template<typename T , typename U >
T awali::sttc::internal::down_caster::cast ( t)

◆ error()

template<typename T , typename U >
void awali::sttc::internal::down_caster::error ( const char *  msg)

Field Documentation

◆ file

const char* awali::sttc::internal::down_caster::file

◆ line

int awali::sttc::internal::down_caster::line

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