Christian
10 years ago
14 changed files with 823 additions and 130 deletions
@ -0,0 +1,48 @@ |
|||||
|
/*
|
||||
|
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 |
||||
|
* Scope - object that holds declaration of names. |
||||
|
*/ |
||||
|
|
||||
|
#include <libsolidity/Scope.h> |
||||
|
#include <libsolidity/AST.h> |
||||
|
|
||||
|
namespace dev { |
||||
|
namespace solidity { |
||||
|
|
||||
|
|
||||
|
bool Scope::registerDeclaration(Declaration& _declaration) |
||||
|
{ |
||||
|
if (m_declarations.find(_declaration.getName()) != m_declarations.end()) |
||||
|
return false; |
||||
|
m_declarations[_declaration.getName()] = &_declaration; |
||||
|
return true; |
||||
|
} |
||||
|
|
||||
|
Declaration*Scope::resolveName(ASTString const& _name, bool _recursive) const |
||||
|
{ |
||||
|
auto result = m_declarations.find(_name); |
||||
|
if (result != m_declarations.end()) |
||||
|
return result->second; |
||||
|
if (_recursive && m_outerScope != nullptr) |
||||
|
return m_outerScope->resolveName(_name, true); |
||||
|
return nullptr; |
||||
|
} |
||||
|
|
||||
|
} } |
||||
@ -0,0 +1,152 @@ |
|||||
|
/*
|
||||
|
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 data types |
||||
|
*/ |
||||
|
|
||||
|
#include <libsolidity/Types.h> |
||||
|
#include <libsolidity/AST.h> |
||||
|
|
||||
|
namespace dev { |
||||
|
namespace solidity { |
||||
|
|
||||
|
ptr<Type> Type::fromElementaryTypeName(Token::Value _typeToken) |
||||
|
{ |
||||
|
if (Token::INT <= _typeToken && _typeToken <= Token::HASH256) { |
||||
|
int offset = _typeToken - Token::INT; |
||||
|
int bits = offset % 5; |
||||
|
if (bits == 0) |
||||
|
bits = 256; |
||||
|
else |
||||
|
bits = (1 << (bits - 1)) * 32; |
||||
|
int modifier = offset / 5; |
||||
|
return std::make_shared<IntegerType>(bits, |
||||
|
modifier == 0 ? IntegerType::Modifier::UNSIGNED : |
||||
|
modifier == 1 ? IntegerType::Modifier::SIGNED : |
||||
|
IntegerType::Modifier::HASH); |
||||
|
} else if (_typeToken == Token::ADDRESS) { |
||||
|
return std::make_shared<IntegerType>(0, IntegerType::Modifier::ADDRESS); |
||||
|
} else if (_typeToken == Token::BOOL) { |
||||
|
return std::make_shared<BoolType>(); |
||||
|
} else { |
||||
|
BOOST_ASSERT(false); |
||||
|
// @todo add other tyes
|
||||
|
} |
||||
|
} |
||||
|
|
||||
|
ptr<Type> Type::fromUserDefinedTypeName(const UserDefinedTypeName& _typeName) |
||||
|
{ |
||||
|
return std::make_shared<StructType>(*_typeName.getReferencedStruct()); |
||||
|
} |
||||
|
|
||||
|
ptr<Type> Type::fromMapping(const Mapping&) |
||||
|
{ |
||||
|
BOOST_ASSERT(false); //@todo not yet implemented
|
||||
|
return ptr<Type>(); |
||||
|
} |
||||
|
|
||||
|
ptr<Type> Type::forLiteral(const Literal& _literal) |
||||
|
{ |
||||
|
switch (_literal.getToken()) { |
||||
|
case Token::TRUE_LITERAL: |
||||
|
case Token::FALSE_LITERAL: |
||||
|
return std::make_shared<BoolType>(); |
||||
|
case Token::NUMBER: |
||||
|
return IntegerType::smallestTypeForLiteral(_literal.getValue()); |
||||
|
case Token::STRING_LITERAL: |
||||
|
return ptr<Type>(); // @todo
|
||||
|
default: |
||||
|
return ptr<Type>(); |
||||
|
} |
||||
|
} |
||||
|
|
||||
|
ptr<IntegerType> IntegerType::smallestTypeForLiteral(const std::string&) |
||||
|
{ |
||||
|
//@todo
|
||||
|
return std::make_shared<IntegerType>(256, Modifier::UNSIGNED); |
||||
|
} |
||||
|
|
||||
|
IntegerType::IntegerType(int _bits, IntegerType::Modifier _modifier) |
||||
|
: m_bits(_bits), m_modifier(_modifier) |
||||
|
{ |
||||
|
BOOST_ASSERT(_bits > 0 && _bits <= 256 && _bits % 8 == 0); |
||||
|
if (isAddress()) |
||||
|
_bits = 160; |
||||
|
} |
||||
|
|
||||
|
bool IntegerType::isImplicitlyConvertibleTo(Type const& _convertTo) const |
||||
|
{ |
||||
|
if (_convertTo.getCategory() != Category::INTEGER) |
||||
|
return false; |
||||
|
IntegerType const& convertTo = dynamic_cast<IntegerType const&>(_convertTo); |
||||
|
if (convertTo.m_bits < m_bits) |
||||
|
return false; |
||||
|
if (isAddress()) |
||||
|
return convertTo.isAddress(); |
||||
|
else if (isHash()) |
||||
|
return convertTo.isHash(); |
||||
|
else if (isSigned()) |
||||
|
return convertTo.isSigned(); |
||||
|
else |
||||
|
return !convertTo.isSigned() || convertTo.m_bits > m_bits; |
||||
|
} |
||||
|
|
||||
|
bool IntegerType::isExplicitlyConvertibleTo(const Type& _convertTo) const |
||||
|
{ |
||||
|
// @todo
|
||||
|
return false; |
||||
|
} |
||||
|
|
||||
|
bool IntegerType::acceptsBinaryOperator(Token::Value _operator) const |
||||
|
{ |
||||
|
//@todo
|
||||
|
return true; |
||||
|
} |
||||
|
|
||||
|
bool IntegerType::acceptsUnaryOperator(Token::Value _operator) const |
||||
|
{ |
||||
|
//@todo
|
||||
|
return true; |
||||
|
} |
||||
|
|
||||
|
bool BoolType::isExplicitlyConvertibleTo(const Type& _convertTo) const |
||||
|
{ |
||||
|
//@todo conversion to integer is fine, but not to address
|
||||
|
//@todo this is an example of explicit conversions being not transitive (though implicit should)
|
||||
|
return isImplicitlyConvertibleTo(_convertTo); |
||||
|
} |
||||
|
|
||||
|
bool ContractType::isImplicitlyConvertibleTo(const Type& _convertTo) const |
||||
|
{ |
||||
|
if (_convertTo.getCategory() != Category::CONTRACT) |
||||
|
return false; |
||||
|
ContractType const& convertTo = dynamic_cast<ContractType const&>(_convertTo); |
||||
|
return &m_contract == &convertTo.m_contract; |
||||
|
} |
||||
|
|
||||
|
bool StructType::isImplicitlyConvertibleTo(const Type& _convertTo) const |
||||
|
{ |
||||
|
if (_convertTo.getCategory() != Category::STRUCT) |
||||
|
return false; |
||||
|
StructType const& convertTo = dynamic_cast<StructType const&>(_convertTo); |
||||
|
return &m_struct == &convertTo.m_struct; |
||||
|
} |
||||
|
|
||||
|
|
||||
|
} } |
||||
@ -0,0 +1,171 @@ |
|||||
|
/*
|
||||
|
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 data types |
||||
|
*/ |
||||
|
|
||||
|
#pragma once |
||||
|
|
||||
|
#include <memory> |
||||
|
#include <string> |
||||
|
#include <boost/noncopyable.hpp> |
||||
|
#include <boost/assert.hpp> |
||||
|
|
||||
|
#include <libsolidity/Token.h> |
||||
|
|
||||
|
namespace dev { |
||||
|
namespace solidity { |
||||
|
|
||||
|
// AST forward declarations
|
||||
|
class ContractDefinition; |
||||
|
class FunctionDefinition; |
||||
|
class StructDefinition; |
||||
|
class Literal; |
||||
|
class ElementaryTypeName; |
||||
|
class UserDefinedTypeName; |
||||
|
class Mapping; |
||||
|
|
||||
|
template <typename T> |
||||
|
using ptr = std::shared_ptr<T>; |
||||
|
|
||||
|
// @todo realMxN, string<N>, mapping
|
||||
|
|
||||
|
class Type : private boost::noncopyable |
||||
|
{ |
||||
|
public: |
||||
|
enum class Category { |
||||
|
INTEGER, BOOL, REAL, STRING, CONTRACT, STRUCT, FUNCTION, MAPPING, VOID, TYPE |
||||
|
}; |
||||
|
|
||||
|
//! factory functions that convert an AST TypeName to a Type.
|
||||
|
static ptr<Type> fromElementaryTypeName(Token::Value _typeToken); |
||||
|
static ptr<Type> fromUserDefinedTypeName(UserDefinedTypeName const& _typeName); |
||||
|
static ptr<Type> fromMapping(Mapping const& _typeName); |
||||
|
|
||||
|
static ptr<Type> forLiteral(Literal const& _literal); |
||||
|
|
||||
|
virtual Category getCategory() const = 0; |
||||
|
virtual bool isImplicitlyConvertibleTo(const Type& _convertTo) const { return false; } |
||||
|
virtual bool isExplicitlyConvertibleTo(const Type& _convertTo) const { return isImplicitlyConvertibleTo(_convertTo); } |
||||
|
virtual bool acceptsBinaryOperator(Token::Value _operator) const { return false; } |
||||
|
virtual bool acceptsUnaryOperator(Token::Value _operator) const { return false; } |
||||
|
}; |
||||
|
|
||||
|
class IntegerType : public Type |
||||
|
{ |
||||
|
public: |
||||
|
enum class Modifier { |
||||
|
UNSIGNED, SIGNED, HASH, ADDRESS |
||||
|
}; |
||||
|
virtual Category getCategory() const { return Category::INTEGER; } |
||||
|
|
||||
|
static ptr<IntegerType> smallestTypeForLiteral(std::string const& _literal); |
||||
|
|
||||
|
explicit IntegerType(int _bits, Modifier _modifier = Modifier::UNSIGNED); |
||||
|
|
||||
|
virtual bool isImplicitlyConvertibleTo(Type const& _convertTo) const override; |
||||
|
virtual bool isExplicitlyConvertibleTo(const Type& _convertTo) const override; |
||||
|
virtual bool acceptsBinaryOperator(Token::Value _operator) const override; |
||||
|
virtual bool acceptsUnaryOperator(Token::Value _operator) const override; |
||||
|
|
||||
|
int getNumBits() const { return m_bits; } |
||||
|
bool isHash() const { return m_modifier == Modifier::HASH || m_modifier == Modifier::ADDRESS; } |
||||
|
bool isAddress() const { return m_modifier == Modifier::ADDRESS; } |
||||
|
int isSigned() const { return m_modifier == Modifier::SIGNED; } |
||||
|
private: |
||||
|
int m_bits; |
||||
|
Modifier m_modifier; |
||||
|
}; |
||||
|
|
||||
|
class BoolType : public Type |
||||
|
{ |
||||
|
public: |
||||
|
virtual Category getCategory() const { return Category::BOOL; } |
||||
|
virtual bool isImplicitlyConvertibleTo(const Type& _convertTo) const override |
||||
|
{ return _convertTo.getCategory() == Category::BOOL; } |
||||
|
virtual bool isExplicitlyConvertibleTo(const Type& _convertTo) const override; |
||||
|
virtual bool acceptsBinaryOperator(Token::Value _operator) const override |
||||
|
{ return _operator == Token::AND || _operator == Token::OR; } |
||||
|
virtual bool acceptsUnaryOperator(Token::Value _operator) const override |
||||
|
{ return _operator == Token::NOT || _operator == Token::DELETE; } |
||||
|
}; |
||||
|
|
||||
|
class ContractType : public Type |
||||
|
{ |
||||
|
public: |
||||
|
virtual Category getCategory() const { return Category::CONTRACT; } |
||||
|
ContractType(ContractDefinition const& _contract) : m_contract(_contract) {} |
||||
|
virtual bool isImplicitlyConvertibleTo(Type const& _convertTo) const; |
||||
|
private: |
||||
|
ContractDefinition const& m_contract; |
||||
|
}; |
||||
|
|
||||
|
class StructType : public Type |
||||
|
{ |
||||
|
public: |
||||
|
virtual Category getCategory() const { return Category::STRUCT; } |
||||
|
StructType(StructDefinition const& _struct) : m_struct(_struct) {} |
||||
|
virtual bool isImplicitlyConvertibleTo(Type const& _convertTo) const; |
||||
|
virtual bool acceptsUnaryOperator(Token::Value _operator) const override |
||||
|
{ return _operator == Token::DELETE; } |
||||
|
private: |
||||
|
StructDefinition const& m_struct; |
||||
|
}; |
||||
|
|
||||
|
class FunctionType : public Type |
||||
|
{ |
||||
|
public: |
||||
|
virtual Category getCategory() const { return Category::FUNCTION; } |
||||
|
FunctionType(FunctionDefinition const& _function) : m_function(_function) {} |
||||
|
|
||||
|
FunctionDefinition const& getFunction() const { return m_function; } |
||||
|
private: |
||||
|
FunctionDefinition const& m_function; |
||||
|
}; |
||||
|
|
||||
|
class MappingType : public Type |
||||
|
{ |
||||
|
public: |
||||
|
virtual Category getCategory() const { return Category::MAPPING; } |
||||
|
MappingType() {} |
||||
|
private: |
||||
|
//@todo
|
||||
|
}; |
||||
|
|
||||
|
//@todo should be changed into "empty anonymous struct"
|
||||
|
class VoidType : public Type |
||||
|
{ |
||||
|
public: |
||||
|
virtual Category getCategory() const { return Category::VOID; } |
||||
|
VoidType() {} |
||||
|
}; |
||||
|
|
||||
|
class TypeType : public Type |
||||
|
{ |
||||
|
public: |
||||
|
virtual Category getCategory() const { return Category::TYPE; } |
||||
|
TypeType(ptr<Type> const& _actualType) : m_actualType(_actualType) {} |
||||
|
|
||||
|
ptr<Type> const& getActualType() { return m_actualType; } |
||||
|
private: |
||||
|
ptr<Type> m_actualType; |
||||
|
}; |
||||
|
|
||||
|
|
||||
|
} } |
||||
Loading…
Reference in new issue