2014-10-07 16:25:04 +00:00
|
|
|
/*
|
2014-10-16 12:08:54 +00:00
|
|
|
This file is part of cpp-ethereum.
|
2014-10-07 16:25:04 +00:00
|
|
|
|
2014-10-16 12:08:54 +00:00
|
|
|
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.
|
2014-10-07 16:25:04 +00:00
|
|
|
|
2014-10-16 12:08:54 +00:00
|
|
|
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.
|
2014-10-07 16:25:04 +00:00
|
|
|
|
2014-10-16 12:08:54 +00:00
|
|
|
You should have received a copy of the GNU General Public License
|
|
|
|
along with cpp-ethereum. If not, see <http://www.gnu.org/licenses/>.
|
2014-10-07 16:25:04 +00:00
|
|
|
*/
|
|
|
|
/**
|
|
|
|
* @author Christian <c@ethdev.com>
|
|
|
|
* @date 2014
|
|
|
|
* Solidity abstract syntax tree.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#pragma once
|
|
|
|
|
2014-10-13 16:22:15 +00:00
|
|
|
|
2014-10-07 16:25:04 +00:00
|
|
|
#include <string>
|
|
|
|
#include <vector>
|
|
|
|
#include <memory>
|
2014-10-23 17:22:30 +00:00
|
|
|
#include <boost/noncopyable.hpp>
|
2014-10-10 14:37:54 +00:00
|
|
|
#include <libsolidity/ASTForward.h>
|
2014-10-07 16:25:04 +00:00
|
|
|
#include <libsolidity/BaseTypes.h>
|
|
|
|
#include <libsolidity/Token.h>
|
2014-10-13 16:22:15 +00:00
|
|
|
#include <libsolidity/Types.h>
|
2014-10-23 17:22:30 +00:00
|
|
|
#include <libsolidity/Exceptions.h>
|
2014-10-07 16:25:04 +00:00
|
|
|
|
2014-10-16 12:08:54 +00:00
|
|
|
namespace dev
|
|
|
|
{
|
|
|
|
namespace solidity
|
|
|
|
{
|
2014-10-07 16:25:04 +00:00
|
|
|
|
2014-10-10 14:37:54 +00:00
|
|
|
class ASTVisitor;
|
2014-10-07 16:25:04 +00:00
|
|
|
|
2014-10-22 18:35:35 +00:00
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* The root (abstract) class of the AST inheritance tree.
|
|
|
|
* It is possible to traverse all direct and indirect children of an AST node by calling
|
|
|
|
* accept, providing an ASTVisitor.
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class ASTNode: private boost::noncopyable
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
|
|
|
public:
|
2014-10-22 22:24:07 +00:00
|
|
|
explicit ASTNode(Location const& _location): m_location(_location) {}
|
2014-10-08 18:53:50 +00:00
|
|
|
|
2014-10-09 13:57:49 +00:00
|
|
|
virtual ~ASTNode() {}
|
|
|
|
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) = 0;
|
|
|
|
template <class T>
|
2014-10-20 12:00:37 +00:00
|
|
|
static void listAccept(std::vector<ASTPointer<T>>& _list, ASTVisitor& _visitor)
|
2014-10-16 12:08:54 +00:00
|
|
|
{
|
2014-10-20 12:00:37 +00:00
|
|
|
for (ASTPointer<T>& element: _list)
|
2014-10-16 12:08:54 +00:00
|
|
|
element->accept(_visitor);
|
2014-10-10 14:37:54 +00:00
|
|
|
}
|
|
|
|
|
2014-10-22 18:35:35 +00:00
|
|
|
/// Returns the source code location of this node.
|
2014-10-10 14:37:54 +00:00
|
|
|
Location const& getLocation() const { return m_location; }
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-24 10:42:44 +00:00
|
|
|
/// Creates a @ref TypeError exception and decorates it with the location of the node and
|
2014-10-23 17:22:30 +00:00
|
|
|
/// the given description
|
|
|
|
TypeError createTypeError(std::string const& _description);
|
|
|
|
|
2014-10-20 10:41:56 +00:00
|
|
|
///@{
|
2014-10-22 18:35:35 +00:00
|
|
|
///@name equality operators
|
2014-10-20 10:41:56 +00:00
|
|
|
/// Equality relies on the fact that nodes cannot be copied.
|
|
|
|
bool operator==(ASTNode const& _other) const { return this == &_other; }
|
|
|
|
bool operator!=(ASTNode const& _other) const { return !operator==(_other); }
|
|
|
|
///@}
|
|
|
|
|
2014-10-07 16:25:04 +00:00
|
|
|
private:
|
2014-10-09 10:28:37 +00:00
|
|
|
Location m_location;
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* Abstract AST class for a declaration (contract, function, struct, variable).
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class Declaration: public ASTNode
|
2014-10-13 16:22:15 +00:00
|
|
|
{
|
|
|
|
public:
|
2014-10-22 22:24:07 +00:00
|
|
|
Declaration(Location const& _location, ASTPointer<ASTString> const& _name):
|
|
|
|
ASTNode(_location), m_name(_name) {}
|
2014-10-13 16:22:15 +00:00
|
|
|
|
2014-10-22 18:35:35 +00:00
|
|
|
/// Returns the declared name.
|
2014-10-29 18:41:07 +00:00
|
|
|
ASTString const& getName() const { return *m_name; }
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-13 16:22:15 +00:00
|
|
|
private:
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<ASTString> m_name;
|
2014-10-13 16:22:15 +00:00
|
|
|
};
|
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* Definition of a contract. This is the only AST nodes where child nodes are not visited in
|
|
|
|
* document order. It first visits all struct declarations, then all variable declarations and
|
|
|
|
* finally all function declarations.
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class ContractDefinition: public Declaration
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
|
|
|
public:
|
2014-10-09 10:28:37 +00:00
|
|
|
ContractDefinition(Location const& _location,
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<ASTString> const& _name,
|
|
|
|
std::vector<ASTPointer<StructDefinition>> const& _definedStructs,
|
|
|
|
std::vector<ASTPointer<VariableDeclaration>> const& _stateVariables,
|
2014-10-22 22:24:07 +00:00
|
|
|
std::vector<ASTPointer<FunctionDefinition>> const& _definedFunctions):
|
|
|
|
Declaration(_location, _name),
|
|
|
|
m_definedStructs(_definedStructs),
|
|
|
|
m_stateVariables(_stateVariables),
|
|
|
|
m_definedFunctions(_definedFunctions)
|
2014-10-09 10:28:37 +00:00
|
|
|
{}
|
2014-10-07 16:25:04 +00:00
|
|
|
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
|
|
|
|
2014-10-20 12:00:37 +00:00
|
|
|
std::vector<ASTPointer<StructDefinition>> const& getDefinedStructs() { return m_definedStructs; }
|
|
|
|
std::vector<ASTPointer<VariableDeclaration>> const& getStateVariables() { return m_stateVariables; }
|
|
|
|
std::vector<ASTPointer<FunctionDefinition>> const& getDefinedFunctions() { return m_definedFunctions; }
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-07 16:25:04 +00:00
|
|
|
private:
|
2014-10-20 12:00:37 +00:00
|
|
|
std::vector<ASTPointer<StructDefinition>> m_definedStructs;
|
|
|
|
std::vector<ASTPointer<VariableDeclaration>> m_stateVariables;
|
|
|
|
std::vector<ASTPointer<FunctionDefinition>> m_definedFunctions;
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-16 21:49:45 +00:00
|
|
|
class StructDefinition: public Declaration
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
2014-10-08 18:53:50 +00:00
|
|
|
public:
|
2014-10-09 10:28:37 +00:00
|
|
|
StructDefinition(Location const& _location,
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<ASTString> const& _name,
|
2014-10-22 22:24:07 +00:00
|
|
|
std::vector<ASTPointer<VariableDeclaration>> const& _members):
|
|
|
|
Declaration(_location, _name), m_members(_members) {}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
|
|
|
|
2014-10-07 16:25:04 +00:00
|
|
|
private:
|
2014-10-20 12:00:37 +00:00
|
|
|
std::vector<ASTPointer<VariableDeclaration>> m_members;
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* Parameter list, used as function parameter list and return list.
|
|
|
|
* None of the parameters is allowed to contain mappings (not even recursively
|
|
|
|
* inside structs), but (@todo) this is not yet enforced.
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class ParameterList: public ASTNode
|
2014-10-08 18:53:50 +00:00
|
|
|
{
|
|
|
|
public:
|
2014-10-22 22:24:07 +00:00
|
|
|
ParameterList(Location const& _location,
|
|
|
|
std::vector<ASTPointer<VariableDeclaration>> const& _parameters):
|
|
|
|
ASTNode(_location), m_parameters(_parameters) {}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-10-13 13:07:21 +00:00
|
|
|
|
2014-10-30 00:20:32 +00:00
|
|
|
std::vector<ASTPointer<VariableDeclaration>> const& getParameters() const { return m_parameters; }
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-08 18:53:50 +00:00
|
|
|
private:
|
2014-10-20 12:00:37 +00:00
|
|
|
std::vector<ASTPointer<VariableDeclaration>> m_parameters;
|
2014-10-08 18:53:50 +00:00
|
|
|
};
|
|
|
|
|
2014-10-16 21:49:45 +00:00
|
|
|
class FunctionDefinition: public Declaration
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
2014-10-08 18:53:50 +00:00
|
|
|
public:
|
2014-10-20 12:00:37 +00:00
|
|
|
FunctionDefinition(Location const& _location, ASTPointer<ASTString> const& _name, bool _isPublic,
|
|
|
|
ASTPointer<ParameterList> const& _parameters,
|
2014-10-09 10:28:37 +00:00
|
|
|
bool _isDeclaredConst,
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<ParameterList> const& _returnParameters,
|
2014-10-22 22:24:07 +00:00
|
|
|
ASTPointer<Block> const& _body):
|
|
|
|
Declaration(_location, _name), m_isPublic(_isPublic), m_parameters(_parameters),
|
|
|
|
m_isDeclaredConst(_isDeclaredConst), m_returnParameters(_returnParameters),
|
|
|
|
m_body(_body) {}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
|
|
|
|
|
|
|
bool isPublic() const { return m_isPublic; }
|
|
|
|
bool isDeclaredConst() const { return m_isDeclaredConst; }
|
2014-10-20 12:00:37 +00:00
|
|
|
std::vector<ASTPointer<VariableDeclaration>> const& getParameters() const { return m_parameters->getParameters(); }
|
2014-10-13 16:22:15 +00:00
|
|
|
ParameterList& getParameterList() { return *m_parameters; }
|
2014-10-30 00:20:32 +00:00
|
|
|
std::vector<ASTPointer<VariableDeclaration>> const& getReturnParameters() const { return m_returnParameters->getParameters(); }
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<ParameterList> const& getReturnParameterList() const { return m_returnParameters; }
|
2014-10-13 13:07:21 +00:00
|
|
|
Block& getBody() { return *m_body; }
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-30 00:20:32 +00:00
|
|
|
void addLocalVariable(VariableDeclaration const& _localVariable) { m_localVariables.push_back(&_localVariable); }
|
2014-11-03 17:39:16 +00:00
|
|
|
std::vector<VariableDeclaration const*> const& getLocalVariables() const { return m_localVariables; }
|
|
|
|
|
2014-10-07 16:25:04 +00:00
|
|
|
private:
|
2014-10-09 10:28:37 +00:00
|
|
|
bool m_isPublic;
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<ParameterList> m_parameters;
|
2014-10-09 10:28:37 +00:00
|
|
|
bool m_isDeclaredConst;
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<ParameterList> m_returnParameters;
|
|
|
|
ASTPointer<Block> m_body;
|
2014-10-30 00:20:32 +00:00
|
|
|
|
|
|
|
std::vector<VariableDeclaration const*> m_localVariables;
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* Declaration of a variable. This can be used in various places, e.g. in function parameter
|
|
|
|
* lists, struct definitions and even function bodys.
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class VariableDeclaration: public Declaration
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
|
|
|
public:
|
2014-10-20 12:00:37 +00:00
|
|
|
VariableDeclaration(Location const& _location, ASTPointer<TypeName> const& _type,
|
2014-10-22 22:24:07 +00:00
|
|
|
ASTPointer<ASTString> const& _name):
|
|
|
|
Declaration(_location, _name), m_typeName(_type) {}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
|
|
|
|
2014-10-24 14:43:11 +00:00
|
|
|
bool isTypeGivenExplicitly() const { return bool(m_typeName); }
|
2014-10-13 16:22:15 +00:00
|
|
|
TypeName* getTypeName() const { return m_typeName.get(); }
|
|
|
|
|
2014-10-28 08:25:01 +00:00
|
|
|
/// 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.
|
2014-10-20 12:00:37 +00:00
|
|
|
std::shared_ptr<Type const> const& getType() const { return m_type; }
|
|
|
|
void setType(std::shared_ptr<Type const> const& _type) { m_type = _type; }
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-07 16:25:04 +00:00
|
|
|
private:
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<TypeName> m_typeName; ///< can be empty ("var")
|
2014-10-13 16:22:15 +00:00
|
|
|
|
2014-10-22 18:35:35 +00:00
|
|
|
std::shared_ptr<Type const> m_type; ///< derived type, initially empty
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-22 18:35:35 +00:00
|
|
|
/// Types
|
2014-10-07 16:25:04 +00:00
|
|
|
/// @{
|
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* Abstract base class of a type name, can be any built-in or user-defined type.
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class TypeName: public ASTNode
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
|
|
|
public:
|
2014-10-16 21:49:45 +00:00
|
|
|
explicit TypeName(Location const& _location): ASTNode(_location) {}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-10-13 16:22:15 +00:00
|
|
|
|
2014-10-22 18:35:35 +00:00
|
|
|
/// Retrieve the element of the type hierarchy this node refers to. Can return an empty shared
|
|
|
|
/// pointer until the types have been resolved using the @ref NameAndTypeResolver.
|
2014-10-20 12:00:37 +00:00
|
|
|
virtual std::shared_ptr<Type> toType() = 0;
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* Any pre-defined type name represented by a single keyword, i.e. it excludes mappings,
|
|
|
|
* contracts, functions, etc.
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class ElementaryTypeName: public TypeName
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
|
|
|
public:
|
2014-10-22 22:24:07 +00:00
|
|
|
explicit ElementaryTypeName(Location const& _location, Token::Value _type):
|
2014-11-05 13:20:56 +00:00
|
|
|
TypeName(_location), m_type(_type)
|
|
|
|
{
|
|
|
|
if (asserts(Token::isElementaryTypeName(_type))) BOOST_THROW_EXCEPTION(InternalCompilerError());
|
|
|
|
}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-10-20 12:00:37 +00:00
|
|
|
virtual std::shared_ptr<Type> toType() override { return Type::fromElementaryTypeName(m_type); }
|
2014-10-10 14:37:54 +00:00
|
|
|
|
2014-10-22 18:35:35 +00:00
|
|
|
Token::Value getTypeName() const { return m_type; }
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-07 16:25:04 +00:00
|
|
|
private:
|
2014-10-09 10:28:37 +00:00
|
|
|
Token::Value m_type;
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* Name referring to a user-defined type (i.e. a struct).
|
|
|
|
* @todo some changes are necessary if this is also used to refer to contract types later
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class UserDefinedTypeName: public TypeName
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
|
|
|
public:
|
2014-10-22 22:24:07 +00:00
|
|
|
UserDefinedTypeName(Location const& _location, ASTPointer<ASTString> const& _name):
|
|
|
|
TypeName(_location), m_name(_name) {}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-10-20 12:00:37 +00:00
|
|
|
virtual std::shared_ptr<Type> toType() override { return Type::fromUserDefinedTypeName(*this); }
|
2014-10-10 14:37:54 +00:00
|
|
|
|
2014-10-29 18:41:07 +00:00
|
|
|
ASTString const& getName() const { return *m_name; }
|
2014-10-13 16:22:15 +00:00
|
|
|
void setReferencedStruct(StructDefinition& _referencedStruct) { m_referencedStruct = &_referencedStruct; }
|
|
|
|
StructDefinition const* getReferencedStruct() const { return m_referencedStruct; }
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-07 16:25:04 +00:00
|
|
|
private:
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<ASTString> m_name;
|
2014-10-13 16:22:15 +00:00
|
|
|
|
|
|
|
StructDefinition* m_referencedStruct;
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* A mapping type. Its source form is "mapping('keyType' => 'valueType')"
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class Mapping: public TypeName
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
|
|
|
public:
|
2014-10-20 12:00:37 +00:00
|
|
|
Mapping(Location const& _location, ASTPointer<ElementaryTypeName> const& _keyType,
|
2014-10-22 22:24:07 +00:00
|
|
|
ASTPointer<TypeName> const& _valueType):
|
|
|
|
TypeName(_location), m_keyType(_keyType), m_valueType(_valueType) {}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-10-20 12:00:37 +00:00
|
|
|
virtual std::shared_ptr<Type> toType() override { return Type::fromMapping(*this); }
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-07 16:25:04 +00:00
|
|
|
private:
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<ElementaryTypeName> m_keyType;
|
|
|
|
ASTPointer<TypeName> m_valueType;
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
/// @}
|
|
|
|
|
|
|
|
/// Statements
|
|
|
|
/// @{
|
|
|
|
|
2014-10-22 18:35:35 +00:00
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* Abstract base class for statements.
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class Statement: public ASTNode
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
2014-10-08 18:53:50 +00:00
|
|
|
public:
|
2014-10-16 21:49:45 +00:00
|
|
|
explicit Statement(Location const& _location): ASTNode(_location) {}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-10-13 16:22:15 +00:00
|
|
|
|
2014-10-28 08:25:01 +00:00
|
|
|
/// Check all type requirements, throws exception if some requirement is not met.
|
|
|
|
/// This includes checking that operators are applicable to their arguments but also that
|
|
|
|
/// the number of function call arguments matches the number of formal parameters and so forth.
|
2014-10-20 12:00:37 +00:00
|
|
|
virtual void checkTypeRequirements() = 0;
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* Brace-enclosed block containing zero or more statements.
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class Block: public Statement
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
2014-10-08 18:53:50 +00:00
|
|
|
public:
|
2014-10-22 22:24:07 +00:00
|
|
|
Block(Location const& _location, std::vector<ASTPointer<Statement>> const& _statements):
|
|
|
|
Statement(_location), m_statements(_statements) {}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-10-13 16:22:15 +00:00
|
|
|
|
2014-10-20 12:00:37 +00:00
|
|
|
virtual void checkTypeRequirements() override;
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-07 16:25:04 +00:00
|
|
|
private:
|
2014-10-20 12:00:37 +00:00
|
|
|
std::vector<ASTPointer<Statement>> m_statements;
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* If-statement with an optional "else" part. Note that "else if" is modeled by having a new
|
|
|
|
* if-statement as the false (else) body.
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class IfStatement: public Statement
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
2014-10-09 13:57:49 +00:00
|
|
|
public:
|
2014-10-20 12:00:37 +00:00
|
|
|
IfStatement(Location const& _location, ASTPointer<Expression> const& _condition,
|
2014-10-22 22:24:07 +00:00
|
|
|
ASTPointer<Statement> const& _trueBody, ASTPointer<Statement> const& _falseBody):
|
|
|
|
Statement(_location),
|
|
|
|
m_condition(_condition), m_trueBody(_trueBody), m_falseBody(_falseBody) {}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-10-20 12:00:37 +00:00
|
|
|
virtual void checkTypeRequirements() override;
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-30 00:20:32 +00:00
|
|
|
Expression& getCondition() const { return *m_condition; }
|
|
|
|
Statement& getTrueStatement() const { return *m_trueBody; }
|
2014-11-04 18:52:04 +00:00
|
|
|
/// @returns the "else" part of the if statement or nullptr if there is no "else" part.
|
2014-10-30 00:20:32 +00:00
|
|
|
Statement* getFalseStatement() const { return m_falseBody.get(); }
|
2014-11-03 17:39:16 +00:00
|
|
|
|
2014-10-07 16:25:04 +00:00
|
|
|
private:
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<Expression> m_condition;
|
|
|
|
ASTPointer<Statement> m_trueBody;
|
2014-10-31 12:29:32 +00:00
|
|
|
ASTPointer<Statement> m_falseBody; ///< "else" part, optional
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* Statement in which a break statement is legal.
|
|
|
|
* @todo actually check this requirement.
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class BreakableStatement: public Statement
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
2014-10-09 13:57:49 +00:00
|
|
|
public:
|
2014-10-16 21:49:45 +00:00
|
|
|
BreakableStatement(Location const& _location): Statement(_location) {}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-16 21:49:45 +00:00
|
|
|
class WhileStatement: public BreakableStatement
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
2014-10-09 13:57:49 +00:00
|
|
|
public:
|
2014-10-20 12:00:37 +00:00
|
|
|
WhileStatement(Location const& _location, ASTPointer<Expression> const& _condition,
|
2014-10-22 22:24:07 +00:00
|
|
|
ASTPointer<Statement> const& _body):
|
|
|
|
BreakableStatement(_location), m_condition(_condition), m_body(_body) {}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-10-20 12:00:37 +00:00
|
|
|
virtual void checkTypeRequirements() override;
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-30 00:20:32 +00:00
|
|
|
Expression& getCondition() const { return *m_condition; }
|
|
|
|
Statement& getBody() const { return *m_body; }
|
2014-11-03 17:39:16 +00:00
|
|
|
|
2014-10-07 16:25:04 +00:00
|
|
|
private:
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<Expression> m_condition;
|
|
|
|
ASTPointer<Statement> m_body;
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-16 21:49:45 +00:00
|
|
|
class Continue: public Statement
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
2014-10-09 13:57:49 +00:00
|
|
|
public:
|
2014-10-16 21:49:45 +00:00
|
|
|
Continue(Location const& _location): Statement(_location) {}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-11-05 22:35:00 +00:00
|
|
|
virtual void checkTypeRequirements() override {}
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-16 21:49:45 +00:00
|
|
|
class Break: public Statement
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
2014-10-09 13:57:49 +00:00
|
|
|
public:
|
2014-10-16 21:49:45 +00:00
|
|
|
Break(Location const& _location): Statement(_location) {}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-11-05 22:35:00 +00:00
|
|
|
virtual void checkTypeRequirements() override {}
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-16 21:49:45 +00:00
|
|
|
class Return: public Statement
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
2014-10-09 13:57:49 +00:00
|
|
|
public:
|
2014-10-22 22:24:07 +00:00
|
|
|
Return(Location const& _location, ASTPointer<Expression> _expression):
|
|
|
|
Statement(_location), m_expression(_expression) {}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-10-20 12:00:37 +00:00
|
|
|
virtual void checkTypeRequirements() override;
|
2014-10-13 16:22:15 +00:00
|
|
|
|
|
|
|
void setFunctionReturnParameters(ParameterList& _parameters) { m_returnParameters = &_parameters; }
|
2014-11-05 13:20:56 +00:00
|
|
|
ParameterList const& getFunctionReturnParameters() const
|
|
|
|
{
|
|
|
|
if (asserts(m_returnParameters))
|
|
|
|
BOOST_THROW_EXCEPTION(InternalCompilerError());
|
|
|
|
return *m_returnParameters;
|
|
|
|
}
|
2014-10-30 00:20:32 +00:00
|
|
|
Expression* getExpression() const { return m_expression.get(); }
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-07 16:25:04 +00:00
|
|
|
private:
|
2014-10-31 12:29:32 +00:00
|
|
|
ASTPointer<Expression> m_expression; ///< value to return, optional
|
2014-10-13 16:22:15 +00:00
|
|
|
|
2014-10-22 18:35:35 +00:00
|
|
|
/// Pointer to the parameter list of the function, filled by the @ref NameAndTypeResolver.
|
|
|
|
ParameterList* m_returnParameters;
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* Definition of a variable as a statement inside a function. It requires a type name (which can
|
|
|
|
* also be "var") but the actual assignment can be missing.
|
|
|
|
* Examples: var a = 2; uint256 a;
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class VariableDefinition: public Statement
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
2014-10-09 13:57:49 +00:00
|
|
|
public:
|
2014-10-20 12:00:37 +00:00
|
|
|
VariableDefinition(Location const& _location, ASTPointer<VariableDeclaration> _variable,
|
2014-10-22 22:24:07 +00:00
|
|
|
ASTPointer<Expression> _value):
|
|
|
|
Statement(_location), m_variable(_variable), m_value(_value) {}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-10-20 12:00:37 +00:00
|
|
|
virtual void checkTypeRequirements() override;
|
2014-10-13 16:22:15 +00:00
|
|
|
|
2014-10-30 00:20:32 +00:00
|
|
|
VariableDeclaration const& getDeclaration() const { return *m_variable; }
|
|
|
|
Expression* getExpression() const { return m_value.get(); }
|
|
|
|
|
2014-10-07 16:25:04 +00:00
|
|
|
private:
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<VariableDeclaration> m_variable;
|
2014-10-22 18:35:35 +00:00
|
|
|
ASTPointer<Expression> m_value; ///< the assigned value, can be missing
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-30 00:20:32 +00:00
|
|
|
/**
|
|
|
|
* A statement that contains only an expression (i.e. an assignment, function call, ...).
|
|
|
|
*/
|
|
|
|
class ExpressionStatement: public Statement
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
ExpressionStatement(Location const& _location, ASTPointer<Expression> _expression):
|
|
|
|
Statement(_location), m_expression(_expression) {}
|
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
|
|
|
virtual void checkTypeRequirements() override;
|
|
|
|
|
|
|
|
Expression& getExpression() const { return *m_expression; }
|
|
|
|
|
|
|
|
private:
|
|
|
|
ASTPointer<Expression> m_expression;
|
|
|
|
};
|
|
|
|
|
|
|
|
/// @}
|
|
|
|
|
|
|
|
/// Expressions
|
|
|
|
/// @{
|
|
|
|
|
|
|
|
/**
|
|
|
|
* An expression, i.e. something that has a value (which can also be of type "void" in case
|
|
|
|
* of some function calls).
|
|
|
|
* @abstract
|
|
|
|
*/
|
|
|
|
class Expression: public ASTNode
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
2014-10-09 13:57:49 +00:00
|
|
|
public:
|
2014-10-30 00:20:32 +00:00
|
|
|
Expression(Location const& _location): ASTNode(_location), m_isLvalue(false) {}
|
|
|
|
virtual void checkTypeRequirements() = 0;
|
2014-10-22 18:35:35 +00:00
|
|
|
|
2014-10-20 12:00:37 +00:00
|
|
|
std::shared_ptr<Type const> const& getType() const { return m_type; }
|
2014-10-25 14:52:22 +00:00
|
|
|
bool isLvalue() const { return m_isLvalue; }
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-30 00:20:32 +00:00
|
|
|
/// Helper function, infer the type via @ref checkTypeRequirements and then check that it
|
|
|
|
/// is implicitly convertible to @a _expectedType. If not, throw exception.
|
|
|
|
void expectType(Type const& _expectedType);
|
|
|
|
|
2014-10-13 16:22:15 +00:00
|
|
|
protected:
|
2014-10-20 12:00:37 +00:00
|
|
|
//! Inferred type of the expression, only filled after a call to checkTypeRequirements().
|
|
|
|
std::shared_ptr<Type const> m_type;
|
2014-10-25 14:52:22 +00:00
|
|
|
//! Whether or not this expression is an lvalue, i.e. something that can be assigned to.
|
|
|
|
//! This is set during calls to @a checkTypeRequirements()
|
|
|
|
bool m_isLvalue;
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-22 18:35:35 +00:00
|
|
|
/// Assignment, can also be a compound assignment.
|
|
|
|
/// Examples: (a = 7 + 8) or (a *= 2)
|
2014-10-16 21:49:45 +00:00
|
|
|
class Assignment: public Expression
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
2014-10-09 13:57:49 +00:00
|
|
|
public:
|
2014-10-20 12:00:37 +00:00
|
|
|
Assignment(Location const& _location, ASTPointer<Expression> const& _leftHandSide,
|
2014-10-22 22:24:07 +00:00
|
|
|
Token::Value _assignmentOperator, ASTPointer<Expression> const& _rightHandSide):
|
|
|
|
Expression(_location), m_leftHandSide(_leftHandSide),
|
2014-11-05 13:20:56 +00:00
|
|
|
m_assigmentOperator(_assignmentOperator), m_rightHandSide(_rightHandSide)
|
|
|
|
{
|
|
|
|
if (asserts(Token::isAssignmentOp(_assignmentOperator))) BOOST_THROW_EXCEPTION(InternalCompilerError());
|
|
|
|
}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-10-20 12:00:37 +00:00
|
|
|
virtual void checkTypeRequirements() override;
|
2014-10-10 14:37:54 +00:00
|
|
|
|
2014-10-20 10:41:56 +00:00
|
|
|
Expression& getLeftHandSide() const { return *m_leftHandSide; }
|
2014-10-10 14:37:54 +00:00
|
|
|
Token::Value getAssignmentOperator() const { return m_assigmentOperator; }
|
2014-10-20 10:41:56 +00:00
|
|
|
Expression& getRightHandSide() const { return *m_rightHandSide; }
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-07 16:25:04 +00:00
|
|
|
private:
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<Expression> m_leftHandSide;
|
2014-10-09 10:28:37 +00:00
|
|
|
Token::Value m_assigmentOperator;
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<Expression> m_rightHandSide;
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* Operation involving a unary operator, pre- or postfix.
|
|
|
|
* Examples: ++i, delete x or !true
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class UnaryOperation: public Expression
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
2014-10-09 13:57:49 +00:00
|
|
|
public:
|
|
|
|
UnaryOperation(Location const& _location, Token::Value _operator,
|
2014-10-22 22:24:07 +00:00
|
|
|
ASTPointer<Expression> const& _subExpression, bool _isPrefix):
|
|
|
|
Expression(_location), m_operator(_operator),
|
2014-11-05 13:20:56 +00:00
|
|
|
m_subExpression(_subExpression), m_isPrefix(_isPrefix)
|
|
|
|
{
|
|
|
|
if (asserts(Token::isUnaryOp(_operator))) BOOST_THROW_EXCEPTION(InternalCompilerError());
|
|
|
|
}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-10-20 12:00:37 +00:00
|
|
|
virtual void checkTypeRequirements() override;
|
2014-10-09 13:57:49 +00:00
|
|
|
|
2014-10-10 14:37:54 +00:00
|
|
|
Token::Value getOperator() const { return m_operator; }
|
|
|
|
bool isPrefixOperation() const { return m_isPrefix; }
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-07 16:25:04 +00:00
|
|
|
private:
|
2014-10-09 10:28:37 +00:00
|
|
|
Token::Value m_operator;
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<Expression> m_subExpression;
|
2014-10-09 13:57:49 +00:00
|
|
|
bool m_isPrefix;
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* Operation involving a binary operator.
|
|
|
|
* Examples: 1 + 2, true && false or 1 <= 4
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class BinaryOperation: public Expression
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
2014-10-09 13:57:49 +00:00
|
|
|
public:
|
2014-10-20 12:00:37 +00:00
|
|
|
BinaryOperation(Location const& _location, ASTPointer<Expression> const& _left,
|
2014-10-22 22:24:07 +00:00
|
|
|
Token::Value _operator, ASTPointer<Expression> const& _right):
|
2014-11-05 13:20:56 +00:00
|
|
|
Expression(_location), m_left(_left), m_operator(_operator), m_right(_right)
|
|
|
|
{
|
|
|
|
if (asserts(Token::isBinaryOp(_operator) || Token::isCompareOp(_operator))) BOOST_THROW_EXCEPTION(InternalCompilerError());
|
|
|
|
}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-10-20 12:00:37 +00:00
|
|
|
virtual void checkTypeRequirements() override;
|
2014-10-10 14:37:54 +00:00
|
|
|
|
2014-10-20 10:41:56 +00:00
|
|
|
Expression& getLeftExpression() const { return *m_left; }
|
|
|
|
Expression& getRightExpression() const { return *m_right; }
|
2014-10-10 14:37:54 +00:00
|
|
|
Token::Value getOperator() const { return m_operator; }
|
2014-11-04 14:01:07 +00:00
|
|
|
Type const& getCommonType() const { return *m_commonType; }
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-07 16:25:04 +00:00
|
|
|
private:
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<Expression> m_left;
|
2014-10-09 10:28:37 +00:00
|
|
|
Token::Value m_operator;
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<Expression> m_right;
|
2014-10-13 16:22:15 +00:00
|
|
|
|
2014-11-04 14:01:07 +00:00
|
|
|
/// The common type that is used for the operation, not necessarily the result type (e.g. for
|
|
|
|
/// comparisons, this is always bool).
|
2014-10-20 12:00:37 +00:00
|
|
|
std::shared_ptr<Type const> m_commonType;
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* Can be ordinary function call, type cast or struct construction.
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class FunctionCall: public Expression
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
2014-10-09 13:57:49 +00:00
|
|
|
public:
|
2014-10-20 12:00:37 +00:00
|
|
|
FunctionCall(Location const& _location, ASTPointer<Expression> const& _expression,
|
2014-10-22 22:24:07 +00:00
|
|
|
std::vector<ASTPointer<Expression>> const& _arguments):
|
|
|
|
Expression(_location), m_expression(_expression), m_arguments(_arguments) {}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-10-20 12:00:37 +00:00
|
|
|
virtual void checkTypeRequirements() override;
|
2014-10-22 18:35:35 +00:00
|
|
|
|
2014-10-25 14:52:22 +00:00
|
|
|
Expression& getExpression() const { return *m_expression; }
|
|
|
|
std::vector<ASTPointer<Expression>> const& getArguments() const { return m_arguments; }
|
|
|
|
|
2014-10-20 10:41:56 +00:00
|
|
|
/// Returns true if this is not an actual function call, but an explicit type conversion
|
|
|
|
/// or constructor call.
|
|
|
|
bool isTypeConversion() const;
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-07 16:25:04 +00:00
|
|
|
private:
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<Expression> m_expression;
|
|
|
|
std::vector<ASTPointer<Expression>> m_arguments;
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* Access to a member of an object. Example: x.name
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class MemberAccess: public Expression
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
2014-10-09 13:57:49 +00:00
|
|
|
public:
|
2014-10-20 12:00:37 +00:00
|
|
|
MemberAccess(Location const& _location, ASTPointer<Expression> _expression,
|
2014-10-22 22:24:07 +00:00
|
|
|
ASTPointer<ASTString> const& _memberName):
|
|
|
|
Expression(_location), m_expression(_expression), m_memberName(_memberName) {}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-10-29 18:41:07 +00:00
|
|
|
ASTString const& getMemberName() const { return *m_memberName; }
|
2014-10-20 12:00:37 +00:00
|
|
|
virtual void checkTypeRequirements() override;
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-07 16:25:04 +00:00
|
|
|
private:
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<Expression> m_expression;
|
|
|
|
ASTPointer<ASTString> m_memberName;
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* Index access to an array. Example: a[2]
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class IndexAccess: public Expression
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
2014-10-09 13:57:49 +00:00
|
|
|
public:
|
2014-10-20 12:00:37 +00:00
|
|
|
IndexAccess(Location const& _location, ASTPointer<Expression> const& _base,
|
2014-10-22 22:24:07 +00:00
|
|
|
ASTPointer<Expression> const& _index):
|
|
|
|
Expression(_location), m_base(_base), m_index(_index) {}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-10-20 12:00:37 +00:00
|
|
|
virtual void checkTypeRequirements() override;
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-09 13:57:49 +00:00
|
|
|
private:
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<Expression> m_base;
|
|
|
|
ASTPointer<Expression> m_index;
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* Primary expression, i.e. an expression that cannot be divided any further. Examples are literals
|
|
|
|
* or variable references.
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class PrimaryExpression: public Expression
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
2014-10-09 13:57:49 +00:00
|
|
|
public:
|
2014-10-16 21:49:45 +00:00
|
|
|
PrimaryExpression(Location const& _location): Expression(_location) {}
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* An identifier, i.e. a reference to a declaration by name like a variable or function.
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class Identifier: public PrimaryExpression
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
2014-10-09 13:57:49 +00:00
|
|
|
public:
|
2014-10-22 22:24:07 +00:00
|
|
|
Identifier(Location const& _location, ASTPointer<ASTString> const& _name):
|
|
|
|
PrimaryExpression(_location), m_name(_name) {}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-10-20 12:00:37 +00:00
|
|
|
virtual void checkTypeRequirements() override;
|
2014-10-10 14:37:54 +00:00
|
|
|
|
|
|
|
ASTString const& getName() const { return *m_name; }
|
2014-10-22 18:35:35 +00:00
|
|
|
|
2014-10-13 16:22:15 +00:00
|
|
|
void setReferencedDeclaration(Declaration& _referencedDeclaration) { m_referencedDeclaration = &_referencedDeclaration; }
|
|
|
|
Declaration* getReferencedDeclaration() { return m_referencedDeclaration; }
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-07 16:25:04 +00:00
|
|
|
private:
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<ASTString> m_name;
|
2014-10-13 13:07:21 +00:00
|
|
|
|
2014-10-28 08:25:01 +00:00
|
|
|
/// Declaration the name refers to.
|
2014-10-13 16:22:15 +00:00
|
|
|
Declaration* m_referencedDeclaration;
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* An elementary type name expression is used in expressions like "a = uint32(2)" to change the
|
|
|
|
* type of an expression explicitly. Here, "uint32" is the elementary type name expression and
|
|
|
|
* "uint32(2)" is a @ref FunctionCall.
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class ElementaryTypeNameExpression: public PrimaryExpression
|
2014-10-09 13:57:49 +00:00
|
|
|
{
|
|
|
|
public:
|
2014-10-22 22:24:07 +00:00
|
|
|
ElementaryTypeNameExpression(Location const& _location, Token::Value _typeToken):
|
2014-11-05 13:20:56 +00:00
|
|
|
PrimaryExpression(_location), m_typeToken(_typeToken)
|
|
|
|
{
|
|
|
|
if (asserts(Token::isElementaryTypeName(_typeToken))) BOOST_THROW_EXCEPTION(InternalCompilerError());
|
|
|
|
}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-10-20 12:00:37 +00:00
|
|
|
virtual void checkTypeRequirements() override;
|
2014-10-10 14:37:54 +00:00
|
|
|
|
2014-10-13 16:22:15 +00:00
|
|
|
Token::Value getTypeToken() const { return m_typeToken; }
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-09 13:57:49 +00:00
|
|
|
private:
|
2014-10-13 16:22:15 +00:00
|
|
|
Token::Value m_typeToken;
|
2014-10-09 13:57:49 +00:00
|
|
|
};
|
|
|
|
|
2014-10-28 15:51:26 +00:00
|
|
|
/**
|
|
|
|
* A literal string or number. @see Type::literalToBigEndian is used to actually parse its value.
|
|
|
|
*/
|
2014-10-16 21:49:45 +00:00
|
|
|
class Literal: public PrimaryExpression
|
2014-10-07 16:25:04 +00:00
|
|
|
{
|
2014-10-09 13:57:49 +00:00
|
|
|
public:
|
2014-10-22 22:24:07 +00:00
|
|
|
Literal(Location const& _location, Token::Value _token, ASTPointer<ASTString> const& _value):
|
|
|
|
PrimaryExpression(_location), m_token(_token), m_value(_value) {}
|
2014-10-10 14:37:54 +00:00
|
|
|
virtual void accept(ASTVisitor& _visitor) override;
|
2014-10-20 12:00:37 +00:00
|
|
|
virtual void checkTypeRequirements() override;
|
2014-10-10 14:37:54 +00:00
|
|
|
|
|
|
|
Token::Value getToken() const { return m_token; }
|
2014-10-22 18:35:35 +00:00
|
|
|
/// @returns the non-parsed value of the literal
|
2014-10-10 14:37:54 +00:00
|
|
|
ASTString const& getValue() const { return *m_value; }
|
2014-10-20 14:28:24 +00:00
|
|
|
|
2014-10-07 16:25:04 +00:00
|
|
|
private:
|
2014-10-09 13:57:49 +00:00
|
|
|
Token::Value m_token;
|
2014-10-20 12:00:37 +00:00
|
|
|
ASTPointer<ASTString> m_value;
|
2014-10-07 16:25:04 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
/// @}
|
|
|
|
|
2014-10-16 12:08:54 +00:00
|
|
|
}
|
|
|
|
}
|