/*
	This file is part of cpp-ethereum.

	cpp-ethereum 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.

	cpp-ethereum 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 cpp-ethereum.  If not, see <http://www.gnu.org/licenses/>.
*/
/**
 * @author Christian <c@ethdev.com>
 * @date 2014
 * Solidity abstract syntax tree.
 */

#pragma once

#include <boost/noncopyable.hpp>

#include <string>
#include <vector>
#include <memory>

#include <libsolidity/ASTForward.h>
#include <libsolidity/BaseTypes.h>
#include <libsolidity/Token.h>
#include <libsolidity/Types.h>

namespace dev {
namespace solidity {

class ASTVisitor;

class ASTNode : private boost::noncopyable
{
public:
	explicit ASTNode(Location const& _location)
		: m_location(_location)
	{}

	virtual ~ASTNode() {}

	virtual void accept(ASTVisitor& _visitor) = 0;
	template <class T>
	static void listAccept(vecptr<T>& _list, ASTVisitor& _visitor) {
		for (ptr<T>& element : _list) element->accept(_visitor);
	}

	Location const& getLocation() const { return m_location; }
private:
	Location m_location;
};

class Declaration : public ASTNode
{
public:
	Declaration(Location const& _location, ptr<ASTString> const& _name)
		: ASTNode(_location), m_name(_name) {}

	const ASTString& getName() const { return *m_name; }
private:
	ptr<ASTString> m_name;
};

class ContractDefinition : public Declaration
{
public:
	ContractDefinition(Location const& _location,
					   ptr<ASTString> const& _name,
					   vecptr<StructDefinition> const& _definedStructs,
					   vecptr<VariableDeclaration> const& _stateVariables,
					   vecptr<FunctionDefinition> const& _definedFunctions)
		: Declaration(_location, _name),
		  m_definedStructs(_definedStructs),
		  m_stateVariables(_stateVariables),
		  m_definedFunctions(_definedFunctions)
	{}

	virtual void accept(ASTVisitor& _visitor) override;

	vecptr<StructDefinition> const& getDefinedStructs() { return m_definedStructs; }
	vecptr<VariableDeclaration> const& getStateVariables() { return m_stateVariables; }
	vecptr<FunctionDefinition> const& getDefinedFunctions() { return m_definedFunctions; }
private:
	vecptr<StructDefinition> m_definedStructs;
	vecptr<VariableDeclaration> m_stateVariables;
	vecptr<FunctionDefinition> m_definedFunctions;
};

class StructDefinition : public Declaration
{
public:
	StructDefinition(Location const& _location,
					 ptr<ASTString> const& _name,
					 vecptr<VariableDeclaration> const& _members)
		: Declaration(_location, _name), m_members(_members)
	{}
	virtual void accept(ASTVisitor& _visitor) override;

private:
	vecptr<VariableDeclaration> m_members;
};

/// Used as function parameter list and return list
/// None of the parameters is allowed to contain mappings (not even recursively
/// inside structs)
class ParameterList : public ASTNode
{
public:
	ParameterList(Location const& _location, vecptr<VariableDeclaration> const& _parameters)
		: ASTNode(_location), m_parameters(_parameters)
	{}
	virtual void accept(ASTVisitor& _visitor) override;

	vecptr<VariableDeclaration> const& getParameters() { return m_parameters; }
private:
	vecptr<VariableDeclaration> m_parameters;
};

class FunctionDefinition : public Declaration
{
public:
	FunctionDefinition(Location const& _location, ptr<ASTString> const& _name, bool _isPublic,
					   ptr<ParameterList> const& _parameters,
					   bool _isDeclaredConst,
					   ptr<ParameterList> const& _returnParameters,
					   ptr<Block> const& _body)
		: Declaration(_location, _name), m_isPublic(_isPublic), m_parameters(_parameters),
		  m_isDeclaredConst(_isDeclaredConst), m_returnParameters(_returnParameters),
		  m_body(_body)
	{}
	virtual void accept(ASTVisitor& _visitor) override;

	bool isPublic() const { return m_isPublic; }
	bool isDeclaredConst() const { return m_isDeclaredConst; }
	vecptr<VariableDeclaration> const& getParameters() const { return m_parameters->getParameters(); }
	ParameterList& getParameterList() { return *m_parameters; }
	ptr<ParameterList> const& getReturnParameterList() const { return m_returnParameters; }
	Block& getBody() { return *m_body; }
private:
	bool m_isPublic;
	ptr<ParameterList> m_parameters;
	bool m_isDeclaredConst;
	ptr<ParameterList> m_returnParameters;
	ptr<Block> m_body;
};

class VariableDeclaration : public Declaration
{
public:
	VariableDeclaration(Location const& _location,
						ptr<TypeName> const& _type,
						ptr<ASTString> const& _name)
		: Declaration(_location, _name), m_typeName(_type)
	{}
	virtual void accept(ASTVisitor& _visitor) override;

	bool isTypeGivenExplicitly() const { return m_typeName.get() != nullptr; }
	TypeName* getTypeName() const { return m_typeName.get(); }

	//! Returns the declared or inferred type. Can be an empty pointer if no type was explicitly
	//! declared and there is no assignment to the variable that fixes the type.
	ptr<Type> const& getType() const { return m_type; }
	void setType(ptr<Type> const& _type) { m_type = _type; }
private:
	ptr<TypeName> m_typeName; ///< can be empty ("var")

	ptr<Type> m_type;
};

/// types
/// @{

class TypeName : public ASTNode
{
public:
	explicit TypeName(Location const& _location) : ASTNode(_location) {}
	virtual void accept(ASTVisitor& _visitor) override;

	virtual ptr<Type> toType() = 0;
};

/// any pre-defined type that is not a mapping
class ElementaryTypeName : public TypeName
{
public:
	explicit ElementaryTypeName(Location const& _location, Token::Value _type)
		: TypeName(_location), m_type(_type)
	{}
	virtual void accept(ASTVisitor& _visitor) override;
	virtual ptr<Type> toType() override { return Type::fromElementaryTypeName(m_type); }

	Token::Value getType() const { return m_type; }
private:
	Token::Value m_type;
};

class UserDefinedTypeName : public TypeName
{
public:
	UserDefinedTypeName(Location const& _location, ptr<ASTString> const& _name)
		: TypeName(_location), m_name(_name)
	{}
	virtual void accept(ASTVisitor& _visitor) override;
	virtual ptr<Type> toType() override { return Type::fromUserDefinedTypeName(*this); }

	const ASTString& getName() const { return *m_name; }
	void setReferencedStruct(StructDefinition& _referencedStruct) { m_referencedStruct = &_referencedStruct; }
	StructDefinition const* getReferencedStruct() const { return m_referencedStruct; }
private:
	ptr<ASTString> m_name;

	StructDefinition* m_referencedStruct;
};

class Mapping : public TypeName
{
public:
	Mapping(Location const& _location, ptr<ElementaryTypeName> const& _keyType,
			ptr<TypeName> const& _valueType)
		: TypeName(_location), m_keyType(_keyType), m_valueType(_valueType)
	{}
	virtual void accept(ASTVisitor& _visitor) override;
	virtual ptr<Type> toType() override { return Type::fromMapping(*this); }
private:
	ptr<ElementaryTypeName> m_keyType;
	ptr<TypeName> m_valueType;
};

/// @}

/// Statements
/// @{

class Statement : public ASTNode
{
public:
	explicit Statement(Location const& _location) : ASTNode(_location) {}
	virtual void accept(ASTVisitor& _visitor) override;

	//! Check all type requirements, throws exception if some requirement is not met.
	//! For expressions, this also returns the inferred type of the expression. For other
	//! statements, returns the empty pointer.
	virtual ptr<Type> checkTypeRequirements() = 0;
protected:
	//! Check that the inferred type for _expression is _expectedType or at least implicitly
	//! convertible to _expectedType. If not, throw exception.
	void expectType(Expression& _expression, Type const& _expectedType);
};

class Block : public Statement
{
public:
	Block(Location const& _location, vecptr<Statement> const& _statements)
		: Statement(_location), m_statements(_statements)
	{}
	virtual void accept(ASTVisitor& _visitor) override;

	virtual ptr<Type> checkTypeRequirements() override;
private:
	vecptr<Statement> m_statements;
};

class IfStatement : public Statement
{
public:
	IfStatement(Location const& _location, ptr<Expression> const& _condition,
				ptr<Statement> const& _trueBody, ptr<Statement> const& _falseBody)
		: Statement(_location), m_condition(_condition),
		  m_trueBody(_trueBody), m_falseBody(_falseBody)
	{}
	virtual void accept(ASTVisitor& _visitor) override;
	virtual ptr<Type> checkTypeRequirements() override;
private:
	ptr<Expression> m_condition;
	ptr<Statement> m_trueBody;
	ptr<Statement> m_falseBody; //< "else" part, optional
};

class BreakableStatement : public Statement
{
public:
	BreakableStatement(Location const& _location) : Statement(_location) {}
	virtual void accept(ASTVisitor& _visitor) override;
};

class WhileStatement : public BreakableStatement
{
public:
	WhileStatement(Location const& _location, ptr<Expression> const& _condition,
				   ptr<Statement> const& _body)
		: BreakableStatement(_location), m_condition(_condition), m_body(_body)
	{}
	virtual void accept(ASTVisitor& _visitor) override;
	virtual ptr<Type> checkTypeRequirements() override;
private:
	ptr<Expression> m_condition;
	ptr<Statement> m_body;
};

class Continue : public Statement
{
public:
	Continue(Location const& _location) : Statement(_location) {}
	virtual void accept(ASTVisitor& _visitor) override;
	virtual ptr<Type> checkTypeRequirements() override;
};

class Break : public Statement
{
public:
	Break(Location const& _location) : Statement(_location) {}
	virtual void accept(ASTVisitor& _visitor) override;
	virtual ptr<Type> checkTypeRequirements() override;
};

class Return : public Statement
{
public:
	Return(Location const& _location, ptr<Expression> _expression)
		: Statement(_location), m_expression(_expression)
	{}
	virtual void accept(ASTVisitor& _visitor) override;
	virtual ptr<Type> checkTypeRequirements() override;

	void setFunctionReturnParameters(ParameterList& _parameters) { m_returnParameters = &_parameters; }
private:
	ptr<Expression> m_expression; //< value to return, optional

	ParameterList* m_returnParameters; //< extracted from the function declaration
};

class VariableDefinition : public Statement
{
public:
	VariableDefinition(Location const& _location, ptr<VariableDeclaration> _variable,
					   ptr<Expression> _value)
		: Statement(_location), m_variable(_variable), m_value(_value)
	{}
	virtual void accept(ASTVisitor& _visitor) override;
	virtual ptr<Type> checkTypeRequirements() override;

private:
	ptr<VariableDeclaration> m_variable;
	ptr<Expression> m_value; ///< can be missing
};

class Expression : public Statement
{
public:
	Expression(Location const& _location) : Statement(_location) {}
	ptr<Type> const& getType() { return m_type; }
protected:
	ptr<Type> m_type;
};

/// @}

/// Expressions
/// @{

class Assignment : public Expression
{
public:
	Assignment(Location const& _location, ptr<Expression> const& _leftHandSide,
			   Token::Value _assignmentOperator, ptr<Expression> const& _rightHandSide)
		: Expression(_location), m_leftHandSide(_leftHandSide),
		  m_assigmentOperator(_assignmentOperator), m_rightHandSide(_rightHandSide)
	{}
	virtual void accept(ASTVisitor& _visitor) override;
	virtual ptr<Type> checkTypeRequirements() override;

	Token::Value getAssignmentOperator() const { return m_assigmentOperator; }
private:
	ptr<Expression> m_leftHandSide;
	Token::Value m_assigmentOperator;
	ptr<Expression> m_rightHandSide;
};

class UnaryOperation : public Expression
{
public:
	UnaryOperation(Location const& _location, Token::Value _operator,
				   ptr<Expression> const& _subExpression, bool _isPrefix)
		: Expression(_location), m_operator(_operator),
		  m_subExpression(_subExpression), m_isPrefix(_isPrefix)
	{}
	virtual void accept(ASTVisitor& _visitor) override;
	virtual ptr<Type> checkTypeRequirements() override;

	Token::Value getOperator() const { return m_operator; }
	bool isPrefixOperation() const { return m_isPrefix; }
private:
	Token::Value m_operator;
	ptr<Expression> m_subExpression;
	bool m_isPrefix;
};

class BinaryOperation : public Expression
{
public:
	BinaryOperation(Location const& _location, ptr<Expression> const& _left,
					Token::Value _operator, ptr<Expression> const& _right)
		: Expression(_location), m_left(_left), m_operator(_operator), m_right(_right)
	{}
	virtual void accept(ASTVisitor& _visitor) override;
	virtual ptr<Type> checkTypeRequirements() override;

	Token::Value getOperator() const { return m_operator; }
private:
	ptr<Expression> m_left;
	Token::Value m_operator;
	ptr<Expression> m_right;

	ptr<Type> m_commonType;
};

/// Can be ordinary function call, type cast or struct construction.
class FunctionCall : public Expression
{
public:
	FunctionCall(Location const& _location, ptr<Expression> const& _expression,
				 vecptr<Expression> const& _arguments)
		: Expression(_location), m_expression(_expression), m_arguments(_arguments)
	{}
	virtual void accept(ASTVisitor& _visitor) override;
	virtual ptr<Type> checkTypeRequirements() override;
private:
	ptr<Expression> m_expression;
	vecptr<Expression> m_arguments;
};

class MemberAccess : public Expression
{
public:
	MemberAccess(Location const& _location, ptr<Expression> _expression,
				 ptr<ASTString> const& _memberName)
		: Expression(_location), m_expression(_expression), m_memberName(_memberName)
	{}
	virtual void accept(ASTVisitor& _visitor) override;
	const ASTString& getMemberName() const { return *m_memberName; }
	virtual ptr<Type> checkTypeRequirements() override;
private:
	ptr<Expression> m_expression;
	ptr<ASTString> m_memberName;
};

class IndexAccess : public Expression
{
public:
	IndexAccess(Location const& _location, ptr<Expression> const& _base,
				ptr<Expression> const& _index)
		: Expression(_location), m_base(_base), m_index(_index)
	{}
	virtual void accept(ASTVisitor& _visitor) override;
	virtual ptr<Type> checkTypeRequirements() override;
private:
	ptr<Expression> m_base;
	ptr<Expression> m_index;
};

class PrimaryExpression : public Expression
{
public:
	PrimaryExpression(Location const& _location) : Expression(_location) {}
};

class Identifier : public PrimaryExpression
{
public:
	Identifier(Location const& _location, ptr<ASTString> const& _name)
		: PrimaryExpression(_location), m_name(_name) {}
	virtual void accept(ASTVisitor& _visitor) override;
	virtual ptr<Type> checkTypeRequirements() override;

	ASTString const& getName() const { return *m_name; }
	void setReferencedDeclaration(Declaration& _referencedDeclaration) { m_referencedDeclaration = &_referencedDeclaration; }
	Declaration* getReferencedDeclaration() { return m_referencedDeclaration; }
private:
	ptr<ASTString> m_name;

	//! Declaration the name refers to.
	Declaration* m_referencedDeclaration;
};

class ElementaryTypeNameExpression : public PrimaryExpression
{
public:
	ElementaryTypeNameExpression(Location const& _location, Token::Value _typeToken)
		: PrimaryExpression(_location), m_typeToken(_typeToken) {}
	virtual void accept(ASTVisitor& _visitor) override;
	virtual ptr<Type> checkTypeRequirements() override;

	Token::Value getTypeToken() const { return m_typeToken; }
private:
	Token::Value m_typeToken;
};

class Literal : public PrimaryExpression
{
public:
	Literal(Location const& _location, Token::Value _token, ptr<ASTString> const& _value)
		: PrimaryExpression(_location), m_token(_token), m_value(_value)
	{}
	virtual void accept(ASTVisitor& _visitor) override;
	virtual ptr<Type> checkTypeRequirements() override;

	Token::Value getToken() const { return m_token; }
	ASTString const& getValue() const { return *m_value; }
private:
	Token::Value m_token;
	ptr<ASTString> m_value;
};

/// @}

} }