/*

 * Copyright (C) 2012 David Anderson

 *

 * This file is part of JITCraft.

 *

 * JITCraft 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 3 of the License, or (at your option)

 * any later version.

 * 

 * Foobar 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

 * JITCraft. If not, see http://www.gnu.org/licenses/.

 */

#ifndef _include_jitcraft_function_h_

#define _include_jitcraft_function_h_

#include "Heap.h"

#include "Barriers.h"

#include "Token.h"

#include "Types.h"

namespace jc {

class Code;

class Module;

class Type;

class Function : public Object

{

    Barriered<Module> module_;

    Barriered<Code> code_;

    Barriered<Type> type_;

    SourcePosition pos_;

 public:

    static Function *New(Zone *zone, Module *module, Code *code, Type *type,

                         const SourcePosition &pos);

    Code *code() const {

        return code_;

    }

    Type *type() const {

        return type_;

    }

    const SourcePosition &pos() {

        return pos_;

    }

    unsigned nargs() {

        return type()->parameters()->length();

    }

    Type *argType(size_t index) {

        return type()->parameterAt(index);

    }

    static inline Function *cast(Object *obj) {

        assert(obj->is(MapKind_Function));

        return reinterpret_cast<Function *>(obj);

    }

};

}

#endif // _include_jitcraft_function_h_