/*

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

 #define _include_jc_code_h_

 #include "Opcodes.h"

 #include "Barriers.h"

 #include "Heap.h"

 #include "Types.h"

 #include "FixedArray.h"

 namespace jc {

 class Module;

 class Type;

 // A code object contains the bytecode compiled from a function (or global

 // script), as well as all information needed to interpret or JIT-compile

 // the bytecode.

 class Code : public Object

 {

     Module *module_;

     Unbarriered<ByteArray> bytecode_;

     Unbarriered<FixedArray> locals_;

     Unbarriered<FixedArray> objects_;

     unsigned maxStackDepth_;

   public:

     // :TODO: use handles

     static Code *New(Zone *zone, ByteArray *bytecode, FixedArray *locals,

                      FixedArray *objects, unsigned maxStackDepth, Module *module);

     Module *module() {

         return module_;

     }

     bytecode *start() {

         return bytecode_->raw();

     }

     unsigned length() {

         return bytecode_->length();

     }

     Type *localType(size_t index) {

         return Type::cast(locals_->at(index));

     }

     unsigned nlocals() {

         return locals_->length();

     }

     unsigned maxStackDepth() {

         return maxStackDepth_;

     }

     Map *map(size_t index) {

         return Map::cast(objects_->at(index));

     }

     Object *object(size_t index) {

         return objects_->at(index);

     }

     static Code *cast(Object *obj) {

         assert(!obj || obj->is(MapKind_Code));

         return reinterpret_cast<Code *>(obj);

     }

 };

 }

 #endif // _include_jc_code_h_