---

more/lang/cx_closure.h

Go to the documentation of this file.

//  Copyright (C) 2002  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: cx_closure.h,v 1.1 2002/05/30 18:01:37 petter_urkedal Exp $

//  !! EXPERIMENTAL AND UNFINISHED !!

#include <more/lang/cx_expr.h>
#include <more/lang/ct_proto.h>

#ifndef MORE_LANG_CLOSURE_H
#define MORE_LANG_CLOSURE_H

namespace more {
namespace lang {

  struct rt_closure_proto : ct_proto
  {
      virtual void destruct(void*) const;
      virtual bool equal(void*, void*) const;
      virtual void construct_copy(void*, void*) const;
      virtual void print_declaration_pre(std::ostream& printopt_type) const;
      virtual void print_declaration_post(std::ostream& printopt_type) const;
  };

  struct rt_closure : cx_expr
  {
      rt_closure_proto(ct_proto* src_proto, argument_selection const& sel);

      rt_closure(cx_expr* fn, va_list va);

      /** Construct a closure which binds \a fn to those of \a args
          which are non-zero, and takes the rest as arguments. */
      rt_closure(cx_expr* fn, cx_expr** args);

      virtual void print_as_expr(std::ostream& os) const;
      ct_struct const* closure_arg_type() const;
    private:
      cx_expr* m_fn;
  };


}}

#endif

---