#ifndef __command_h__
#define __command_h__

#include <new>
#include <memory>
#include <vector>
#include <array>
#include <string>
#include "phase3.h"

typedef std::unique_ptr<struct command> command_ptr;
typedef std::vector<command_ptr> command_ptr_vector;
typedef std::array<command_ptr, 2> command_ptr_pair;

#include "environment.h"
class Environment;
class fdmask;

struct command {

	command(int t = 0) : type(t)
	{}

	virtual bool terminal() const noexcept {
		return type == EVALUATE || type == COMMAND || type == BREAK || type == CONTINUE || type == ERROR || type == EXIT;
	}

	int type = 0;
	virtual ~command();
	virtual int execute(Environment &e, const fdmask &fds, bool throwup = true) = 0;
};

struct error_command : public command {

	template<class S>
	error_command(int t, S &&s) : command(t), text(std::forward<S>(s))
	{}

	std::string text;
	virtual int execute(Environment &e, const fdmask &fds, bool throwup = true) override final;
};

struct simple_command  : public command {
	template<class S>
	simple_command(S &&s) : command(COMMAND), text(std::forward<S>(s))
	{}

	std::string text;

	virtual int execute(Environment &e, const fdmask &fds, bool throwup = true) final override;
};

struct evaluate_command  : public command {
	template<class S>
	evaluate_command(S &&s) : command(EVALUATE), text(std::forward<S>(s))
	{}

	std::string text;

	virtual int execute(Environment &e, const fdmask &fds, bool throwup = true) final override;
};


struct break_command : public command {

	template<class S>
	break_command(S &&s) : command(BREAK), text(std::forward<S>(s))
	{}

	std::string text;
	virtual int execute(Environment &e, const fdmask &fds, bool throwup) final override;
};

struct continue_command : public command {

	template<class S>
	continue_command(S &&s) : command(CONTINUE), text(std::forward<S>(s))
	{}

	std::string text;
	virtual int execute(Environment &e, const fdmask &fds, bool throwup) final override;
};

struct exit_command : public command {

	template<class S>
	exit_command(S &&s) : command(EXIT), text(std::forward<S>(s))
	{}

	std::string text;
	virtual int execute(Environment &e, const fdmask &fds, bool throwup) final override;
};


struct binary_command : public command {

	binary_command(int t, command_ptr &&a, command_ptr &&b) :
		command(t), children({{std::move(a), std::move(b)}})
	{}

	command_ptr_pair children;

	virtual bool terminal() const noexcept final override {
		return children[0]->terminal() && children[1]->terminal();
	}

};

struct or_command : public binary_command {
	or_command(command_ptr &&a, command_ptr &&b) :
		binary_command(PIPE_PIPE, std::move(a), std::move(b)) 
	{}

	virtual int execute(Environment &e, const fdmask &fds, bool throwup) final override;
};

struct and_command : public binary_command {
	and_command(command_ptr &&a, command_ptr &&b) :
		binary_command(AMP_AMP, std::move(a), std::move(b)) 
	{}

	virtual int execute(Environment &e, const fdmask &fds, bool throwup) final override;
};


struct pipe_command : public binary_command {
	pipe_command(command_ptr &&a, command_ptr &&b) :
		binary_command(PIPE, std::move(a), std::move(b)) 
	{}

	virtual int execute(Environment &e, const fdmask &fds, bool throwup) final override;
};


struct vector_command : public command {
	vector_command(int t, command_ptr_vector &&v) : command(t), children(std::move(v))
	{}

	command_ptr_vector children;
	virtual int execute(Environment &e, const fdmask &fds, bool throwup = true) override;
};

struct begin_command : public vector_command {
	template<class S1, class S2>
	begin_command(int t, command_ptr_vector &&v, S1 &&b, S2 &&e) :
		vector_command(t, std::move(v)), begin(std::forward<S1>(b)), end(std::forward<S2>(e))
	{}

	std::string begin;
	std::string end; 

	virtual int execute(Environment &e, const fdmask &fds, bool throwup) final override;
};

struct loop_command : public vector_command {

	template<class S1, class S2>
	loop_command(int t, command_ptr_vector &&v, S1 &&b, S2 &&e) :
		vector_command(t, std::move(v)), begin(std::forward<S1>(b)), end(std::forward<S2>(e))
	{}

	std::string begin;
	std::string end;

	virtual int execute(Environment &e, const fdmask &fds, bool throwup) final override;
};

struct for_command : public vector_command {

	template<class S1, class S2>
	for_command(int t, command_ptr_vector &&v, S1 &&b, S2 &&e) :
		vector_command(t, std::move(v)), begin(std::forward<S1>(b)), end(std::forward<S2>(e))
	{}

	std::string begin;
	std::string end;

	virtual int execute(Environment &e, const fdmask &fds, bool throwup) final override;
};


typedef std::unique_ptr<struct if_else_clause> if_else_clause_ptr;
struct if_command : public command {

	typedef std::vector<if_else_clause_ptr> clause_vector_type;

	template<class S>
	if_command(clause_vector_type &&v, S &&s) :
		command(IF), clauses(std::move(v)), end(std::forward<S>(s))
	{}


	clause_vector_type clauses;
	std::string end;

	virtual int execute(Environment &e, const fdmask &fds, bool throwup) final override;
};

struct if_else_clause : public vector_command {

	template<class S>
	if_else_clause(int t, command_ptr_vector &&v, S &&s) :
		vector_command(t, std::move(v)), clause(std::forward<S>(s))
	{}

	std::string clause;

	//bool evaluate(const Environment &e);
};



#endif