#pragma once

#include <string>
#include <vector>
#include "global.h"

using namespace std;


class Statement;
using Name = string;
using StatementList = vector<Statement>;

class Site{
public:
	string filename;
	i64 lnum,linex;

	Site();
	Site(const string &filename,i64 lnum,i64 linex);
};

class Scope{
public:
	enum class Type{
		direct,
		lazy,
		function,
		async,
	};

	Type type;
	StatementList body;
	vector<Name> args;

	Site site;

	Scope();
	Scope(Type type,const StatementList &body,const vector<Name> &args);
};

class Expression{
public:
	enum class Type{
		binop,  // name, args[0], args[1]
		unop,  // name, args[0]
		call,  // name, args
		dive,  // name, args, body
		number,  // numval
		string,  // strval
		scope,  // scope
	};

	Type type;
	Name name;
	vector<Expression> args;
	double numval;
	string strval;
	Scope scope;
	StatementList body;

	Site site;

	Expression();
	Expression(Type type,const Name &name,const vector<Expression> &args);  // binop, call
	Expression(Type type,const Name &name,const Expression &arg);  // unop
	Expression(Type type,const Name &name,const vector<Expression> &args,const StatementList &body);  // dive
	Expression(Type type,double numval);  // number
	Expression(Type type,const string &strval);  // string
	Expression(Type type,const Scope &scope);  // scope
};

class Statement{
public:
	enum class Type{
		create,  // dstvar, expr
		assign,  // dstvar, expr
		expression,  // expr
	};

	Type type;
	Name dstvar;
	Expression expr;

	Site site;

	Statement();
	Statement(Type type,const Name &dstvar,const Expression &expr);  // create, assign
	Statement(Type type,const Expression &expr);  // expr
};