bare_expr_type::bare_expr_type(const void_type& x) : bare_type_(void_type()) {}
bool bare_expr_type::is_void_type() const {
return order_id() == void_type().oid();
}
Prototype::Prototype(const string &name, const Arguments& args,
bool isoperator, unsigned prec):
name(name), args(args), _is_operator(isoperator), _precedence(prec),
return_type_t(void_type())
{}
result_type m_invoke(const ConnectionBodyType &connectionBody,
const void_type *) const
{
return call_with_tuple_args<result_type>()(connectionBody->slot.slot_function(), _args, mpl::size_t<sizeof...(Args)>());
return void_type();
}
static void_type wrapper(interpreter_interface* interface, Params... params, LiteralList& args, int offset) {
class_from_wasm<Cls>::value(interface->context).checktime();
(class_from_wasm<Cls>::value(interface->context).*Method)(params...);
return void_type();
}
typet get_type(const format_tokent &token)
{
switch(token.type)
{
case format_tokent::INT:
switch(token.length_modifier)
{
case format_tokent::LEN_h:
if(token.representation==format_tokent::SIGNED_DEC)
return signed_char_type();
else
return unsigned_char_type();
case format_tokent::LEN_hh:
if(token.representation==format_tokent::SIGNED_DEC)
return signed_short_int_type();
else
return unsigned_short_int_type();
case format_tokent::LEN_l:
if(token.representation==format_tokent::SIGNED_DEC)
return signed_long_int_type();
else
return unsigned_long_int_type();
case format_tokent::LEN_ll:
if(token.representation==format_tokent::SIGNED_DEC)
return signed_long_long_int_type();
else
return unsigned_long_long_int_type();
default:
if(token.representation==format_tokent::SIGNED_DEC)
return signed_int_type();
else
return unsigned_int_type();
}
case format_tokent::FLOAT:
switch(token.length_modifier)
{
case format_tokent::LEN_l: return double_type();
case format_tokent::LEN_L: return long_double_type();
default: return float_type();
}
case format_tokent::CHAR:
switch(token.length_modifier)
{
case format_tokent::LEN_l: return wchar_t_type();
default: return char_type();
}
case format_tokent::POINTER:
return pointer_type(void_type());
case format_tokent::STRING:
switch(token.length_modifier)
{
case format_tokent::LEN_l: return array_typet(wchar_t_type(), nil_exprt());
default: return array_typet(char_type(), nil_exprt());
}
default:
return nil_typet();
}
}