Ejemplos de void_type en C++ (Cpp)

Ejemplo n.º 1

Archivo: bare_expr_type_def.hpp Proyecto: stan-dev/stan

bare_expr_type::bare_expr_type(const void_type& x) : bare_type_(void_type()) {}

Ejemplo n.º 2

Archivo: bare_expr_type_def.hpp Proyecto: stan-dev/stan

bool bare_expr_type::is_void_type() const {
  return order_id() == void_type().oid();
}

Ejemplo n.º 3

Archivo: Expression.cpp Proyecto: Delaunay/lython

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())
{}

Ejemplo n.º 4

Archivo: variadic_slot_invoker.hpp Proyecto: Icenium/BoostSharp

 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();
 }

Ejemplo n.º 5

Archivo: binaryen.hpp Proyecto: milk57618/eos

 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();
 }

Ejemplo n.º 6

Archivo: format_strings.cpp Proyecto: diffblue/cbmc

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();
  }
}