function.hh

Go to the documentation of this file.

#ifndef TYPE_FUNCTION_HH
# define TYPE_FUNCTION_HH

# include <type/type.hh>
# include <type/record.hh>
# include <type/fwd.hh>

namespace type
{

  class Function : public Type
  {
  public:
    Function(const Record* formals, const Type& result);

    virtual ~Function();

  public:
    const Record& formals_get() const;
    const Type& result_get() const;
  // FIXME: Some code was deleted here (Special implementation of "compatible_with" for Function).

  public:
    virtual std::ostream& dump(std::ostream& ostr) const override;

  protected:
    const Record* formals_;

    const Type& result_;
  };

} // namespace type

# include <type/function.hxx>

#endif // !TYPE_FUNCTION_HH