Definition at line 26 of file overload.cpp.
| 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) {}
| 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> (); }
1.7.2