Public Member Functions

exception_routine_rep Class Reference

List of all members.

Public Member Functions


Detailed Description

Definition at line 26 of file overload.cpp.


Constructor & Destructor Documentation

exception_routine_rep (  ) [inline]

Definition at line 29 of file overload.cpp.

: routine_rep (GEN_ERROR) {}
exception_routine_rep ( const generic &  f ) [inline]

Definition at line 30 of file overload.cpp.

                                          :
    routine_rep (GEN_ERROR), ex_name (f) {}

Member Function Documentation

generic apply ( const vector< generic > &  v ) const [inline]

Definition at line 32 of file overload.cpp.

References mmx::type_name().

                                                 {
    vector<generic> t (generic (), N(v));
    for (nat i=0; i<N(v); i++)
      if (is<exception> (v[i])) return v[i];
    for (nat i=0; i<N(v); i++) 
      t[i]= type_name (v[i]);
    string msg= string ("invalid function application ")
      * flatten_as_mmx (gen (name, gen (ex_name, t)));
#ifdef BASIX_ENABLE_EXCEPTIONS
    throw error_message (msg);
#else
    assert (false);
#endif
    return gen (name, gen (ex_name, v)); }
vector<nat> signature (  ) const [inline]

Definition at line 46 of file overload.cpp.

{ return vec<nat> (); }

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