/* $Id$ */
/*! \file
 * \brief コード関連の定義。
 *
 * \date 2009-01-06
 * \author yoh2
 * $LastChangedBy$
 * $LastChangedDate$
 */
#ifndef grass_instruction_H_
#define grass_instruction_H_

#include <stddef.h>
#include "grass_fwd.h"

struct grass_application
{
	size_t func_index;
	size_t arg_index;
};

struct grass_abstraction
{
	size_t num_args;
	struct grass_instruction_node *code;
};


enum grass_instruction_type
{
	GRASS_IT_APPLICATION, /*!< \brief 関数適用 */
	GRASS_IT_ABSTRACTION  /*!< \brief ラムダ抽象 (関数定義) */
};

struct grass_instruction
{
	enum grass_instruction_type type;
	union
	{
		struct grass_application app;
		struct grass_abstraction abs;
	} content;
};


struct grass_instruction_node
{
	struct grass_instruction inst;
	struct grass_instruction_node *next;
};


/*! \brief 関数適用のノードを作成する。 */
struct grass_instruction_node *
grass_create_application_node(size_t func_index, size_t arg_index);

/*! \brief 関数定義のノードを作成する。 */
struct grass_instruction_node *
grass_create_abstraction_node(size_t num_args, struct grass_instruction_node *code);

struct grass_instruction_node *
grass_append_instruction_list(struct grass_instruction_node *list1, struct grass_instruction_node *list2);

void
grass_dump_instruction_list(const struct grass_instruction_node *inst_list);

#endif /* grass_instruction_H_ */