---

more/lang/ct_proto.h

Go to the documentation of this file.

//  Copyright (C) 2001  Petter Urkedal (petter.urkedal@matfys.lth.se)
//
//  This file is free software; you can redistribute it and/or modify
//  it under the terms of the GNU General Public License as published by
//  the Free Software Foundation; either version 2 of the License, or
//  (at your option) any later version.
//
//  This file is distributed in the hope that it will be useful,
//  but WITHOUT ANY WARRANTY; without even the implied warranty of
//  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
//  GNU General Public License for more details.
//
//  You should have received a copy of the GNU General Public License
//  along with this program; if not, write to the Free Software
//  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
//
//  As a special exception, you may use this file as part of a free
//  software library without restriction.  Specifically, if other files
//  instantiate templates or use macros or inline functions from this
//  file, or you compile this file and link it with other files to
//  produce an executable, this file does not by itself cause the
//  resulting executable to be covered by the GNU General Public
//  License.  This exception does not however invalidate any other
//  reasons why the executable file might be covered by the GNU General
//  Public License.
//
//  $Id: ct_proto.h,v 1.1 2002/05/30 18:01:37 petter_urkedal Exp $


#ifndef MORE_LANG_CT_PROTO_H
#define MORE_LANG_CT_PROTO_H

#include <more/lang/ct_type.h>
#include <stdexcept>
#include <stdarg.h>
#ifndef MORE_LANG_USE_FFI
# include <more/lang/location.h>
#endif

namespace more {
namespace lang {

  /** \class ct_proto ct_proto.h more/lang/ct_proto.h
      The runtime representation of a prototype. */
  struct ct_proto : ct_type
  {
      typedef std::size_t size_type;
      typedef ct_type const* arg_type_type;
      typedef ct_type const** arg_type_mutable_iterator;
      typedef ct_type const* const* arg_type_iterator;

      explicit ct_proto(size_type n_args, ct_type const* t_res = 0);

      virtual ~ct_proto();
      virtual ct_proto* clone() const;

      /** Set the type of argument number \a i. */
      void
      set_arg_type(size_type i, ct_type const* t)
      {
#ifndef MORE_LANG_NDEBUG
          req_not_frozen();
          if (i >= m_arg_count)
              throw std::out_of_range("more::lang::ct_proto::arg_type: "
                                      "Argument index out of range.");
          if (m_arg_arr[i])
              throw std::logic_error("more::lang::ct_proto: "
                                     "Redefinition of argument type.");
#endif
          m_arg_arr[i] = t;
      }

      /** Return the type of argument number \a i. */
      ct_type const*
      arg_type(size_type i) const
      {
#ifndef MORE_LANG_NDEBUG
          req_frozen();
          if (i >= m_arg_count)
              throw std::out_of_range("more::lang::ct_proto::arg_type: "
                                      "Argument index out of range.");
#endif
          return m_arg_arr[i];
      }

      /** Set the type of the return value. */
      void
      set_result_type(ct_type const* rc)
      {
#ifndef MORE_LANG_NDEBUG
          req_not_frozen();
          if (m_result_type)
              throw std::logic_error("more::lang::ct_proto: "
                                     "Redefinition of result type.");
#endif
          m_result_type = rc;
      }

      /** The type of the return value. */
      ct_type const* result_type() const { return m_result_type; }

      void call(fn_ptr_t f, void* ret, void** args) const;
      bool is_frozen() const { return m_frozen_p == 1; }
      void freeze() { if (!is_frozen()) finish(); }

      size_type arg_count() const { req_frozen(); return m_arg_count; }
      size_type arg_count_this_far() const { return m_arg_count; }

      arg_type_mutable_iterator
      arg_type_mutable_begin()
      {
          return m_arg_arr;
      }
      arg_type_mutable_iterator
      arg_type_mutable_end()
      {
          return m_arg_arr + m_arg_count;
      }
      arg_type_iterator
      arg_type_begin() const
      {
          req_frozen();
          return m_arg_arr;
      }
      arg_type_iterator
      arg_type_end() const
      {
          req_frozen();
          return m_arg_arr + m_arg_count;
      }

#ifdef MORE_LANG_PROVIDE_FFI
      virtual ffi_type* ffi_type_of() const;
#endif
      virtual void      destruct(void* p) const;

      /** True iff the fuction pointers pointed to by p0 and p1 are equal. */
      virtual bool      equal(void* p0, void* p1) const;

//        virtual void construct(void* p) const;
      virtual void      construct_copy(void* p, void* src) const;

      virtual void      print_declaration_pre(std::ostream&,
                                              printopt_type) const;
      virtual void      print_declaration_post(std::ostream&,
                                               printopt_type) const;
      void      print_declaration_post(std::ostream&, printopt_type,
                                       cx_identifier const* const* args) const;
      virtual void      hash(hash_type&) const;
      virtual bool      equal_to(ct_type const*) const;

    private:
      void reserve(size_type);
      void finish();
      void req_not_frozen() const
      {
          if (is_frozen())
              throw std::logic_error("more::lang::ct_proto: Frozen.");
      }
      void req_frozen() const
      {
          if (!is_frozen())
              throw std::logic_error("more::lang::ct_proto: Not frozen.");
      }

      arg_type_type*            m_arg_arr;
      size_type                 m_arg_count;
      ct_type const*            m_result_type;
#ifdef MORE_LANG_USE_FFI
      ffi_type**                m_ffi_arg_types;
      mutable ffi_cif           m_cif;
#else
      location                  m_adaptor;
      static package*           s_adaptor_pkg;
#endif
      unsigned int              m_frozen_p : 1;
  };

  ///\if bits
  template <typename Result>
    struct _ct_type<Result (*)()>
    {
        static ct_type const* get()
        {
            static ct_pointer* t = 0;
            if (!t) {
                ct_proto* t0 = new(UseGC) ct_proto(0, ct_type_of<Result>());
                t0->freeze();
                t = new(UseGC) ct_pointer(t0);
            }
            return t;
        }
    };

  template <typename Arg0, typename Result>
    struct _ct_type<Result (*)(Arg0)>
    {
        static ct_type const* get()
        {
            static ct_pointer* t = 0;
            if (!t) {
                ct_proto* t0 = new(UseGC) ct_proto(1, ct_type_of<Result>());
                t0->set_arg_type(0, ct_type_of<Arg0>());
                t0->freeze();
                t = new(UseGC) ct_pointer(t0);
            }
            return t;
        }
    };

  template <typename Arg0, typename Arg1, typename Result>
    struct _ct_type<Result (*)(Arg0, Arg1)>
    {
        static ct_type const* get()
        {
            static ct_pointer* t = 0;
            if (!t) {
                ct_proto* t0 = new(UseGC) ct_proto(2, ct_type_of<Result>());
                t0->set_arg_type(0, ct_type_of<Arg0>());
                t0->set_arg_type(1, ct_type_of<Arg1>());
                t0->freeze();
                t = new(UseGC) ct_pointer(t0);
            }
            return t;
        }
    };

  template <typename Arg0, typename Arg1, typename Arg2, typename Result>
    struct _ct_type<Result (*)(Arg0, Arg1, Arg2)>
    {
        static ct_type const* get()
        {
            static ct_pointer* t = 0;
            if (!t) {
                ct_proto* t0 = new(UseGC) ct_proto(3, ct_type_of<Result>());
                t0->set_arg_type(0, ct_type_of<Arg0>());
                t0->set_arg_type(1, ct_type_of<Arg1>());
                t0->set_arg_type(2, ct_type_of<Arg2>());
                t0->freeze();
                t = new(UseGC) ct_pointer(t0);
            }
            return t;
        }
    };

  template < typename Arg0, typename Arg1, typename Arg2, typename Arg3,
             typename Result >
    struct _ct_type<Result (*)(Arg0, Arg1, Arg2, Arg3)>
    {
        static ct_type const* get()
        {
            static ct_pointer* t = 0;
            if (!t) {
                ct_proto* t0 = new(UseGC) ct_proto(4, ct_type_of<Result>());
                t0->set_arg_type(0, ct_type_of<Arg0>());
                t0->set_arg_type(1, ct_type_of<Arg1>());
                t0->set_arg_type(2, ct_type_of<Arg2>());
                t0->set_arg_type(3, ct_type_of<Arg3>());
                t0->freeze();
                t = new(UseGC) ct_pointer(t0);
            }
            return t;
        }
    };
  ///\endif

  /** Make a prototype with given arguments and result type.  The
      argument types are listed first, followed by the result type,
      followed by \c (ct_type*)0. */
  ct_proto* make_proto(ct_type const* arg0, ...);

}}

#endif

---