2014-10-13 16:22:15 +00:00
|
|
|
/*
|
2014-10-16 12:08:54 +00:00
|
|
|
This file is part of cpp-ethereum.
|
2014-10-13 16:22:15 +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-13 16:22:15 +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-13 16:22:15 +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-13 16:22:15 +00:00
|
|
|
*/
|
|
|
|
/**
|
|
|
|
* @author Christian <c@ethdev.com>
|
|
|
|
* @date 2014
|
|
|
|
* Solidity data types
|
|
|
|
*/
|
|
|
|
|
2015-03-16 15:15:13 +00:00
|
|
|
#include <libsolidity/Types.h>
|
|
|
|
#include <limits>
|
|
|
|
#include <boost/range/adaptor/reversed.hpp>
|
2014-10-23 19:46:39 +00:00
|
|
|
#include <libdevcore/CommonIO.h>
|
2014-10-20 10:41:56 +00:00
|
|
|
#include <libdevcore/CommonData.h>
|
2015-05-19 17:51:38 +00:00
|
|
|
#include <libdevcore/SHA3.h>
|
2014-12-17 15:23:18 +00:00
|
|
|
#include <libsolidity/Utils.h>
|
2014-10-13 16:22:15 +00:00
|
|
|
#include <libsolidity/AST.h>
|
|
|
|
|
2014-11-04 12:24:35 +00:00
|
|
|
using namespace std;
|
2015-06-30 19:08:34 +00:00
|
|
|
using namespace dev;
|
|
|
|
using namespace dev::solidity;
|
2014-10-13 16:22:15 +00:00
|
|
|
|
2015-03-13 18:48:24 +00:00
|
|
|
void StorageOffsets::computeOffsets(TypePointers const& _types)
|
2015-03-13 09:52:34 +00:00
|
|
|
{
|
2015-03-13 18:48:24 +00:00
|
|
|
bigint slotOffset = 0;
|
|
|
|
unsigned byteOffset = 0;
|
|
|
|
map<size_t, pair<u256, unsigned>> offsets;
|
|
|
|
for (size_t i = 0; i < _types.size(); ++i)
|
2015-03-13 09:52:34 +00:00
|
|
|
{
|
2015-03-13 18:48:24 +00:00
|
|
|
TypePointer const& type = _types[i];
|
|
|
|
if (!type->canBeStored())
|
|
|
|
continue;
|
2015-08-31 16:44:29 +00:00
|
|
|
if (byteOffset + type->storageBytes() > 32)
|
2015-03-13 09:52:34 +00:00
|
|
|
{
|
2015-03-13 18:48:24 +00:00
|
|
|
// would overflow, go to next slot
|
2015-03-13 09:52:34 +00:00
|
|
|
++slotOffset;
|
2015-03-13 18:48:24 +00:00
|
|
|
byteOffset = 0;
|
|
|
|
}
|
2015-03-13 09:52:34 +00:00
|
|
|
if (slotOffset >= bigint(1) << 256)
|
|
|
|
BOOST_THROW_EXCEPTION(TypeError() << errinfo_comment("Object too large for storage."));
|
2015-03-13 18:48:24 +00:00
|
|
|
offsets[i] = make_pair(u256(slotOffset), byteOffset);
|
2015-08-31 16:44:29 +00:00
|
|
|
solAssert(type->storageSize() >= 1, "Invalid storage size.");
|
|
|
|
if (type->storageSize() == 1 && byteOffset + type->storageBytes() <= 32)
|
|
|
|
byteOffset += type->storageBytes();
|
2015-03-13 18:48:24 +00:00
|
|
|
else
|
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
slotOffset += type->storageSize();
|
2015-03-13 18:48:24 +00:00
|
|
|
byteOffset = 0;
|
|
|
|
}
|
2015-03-13 09:52:34 +00:00
|
|
|
}
|
2015-03-13 18:48:24 +00:00
|
|
|
if (byteOffset > 0)
|
|
|
|
++slotOffset;
|
|
|
|
if (slotOffset >= bigint(1) << 256)
|
|
|
|
BOOST_THROW_EXCEPTION(TypeError() << errinfo_comment("Object too large for storage."));
|
|
|
|
m_storageSize = u256(slotOffset);
|
|
|
|
swap(m_offsets, offsets);
|
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
pair<u256, unsigned> const* StorageOffsets::offset(size_t _index) const
|
2015-03-13 18:48:24 +00:00
|
|
|
{
|
|
|
|
if (m_offsets.count(_index))
|
|
|
|
return &m_offsets.at(_index);
|
2015-03-13 09:52:34 +00:00
|
|
|
else
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
2015-03-16 18:00:09 +00:00
|
|
|
MemberList& MemberList::operator=(MemberList&& _other)
|
|
|
|
{
|
2015-08-10 15:55:31 +00:00
|
|
|
assert(&_other != this);
|
|
|
|
|
2015-03-16 18:00:09 +00:00
|
|
|
m_memberTypes = std::move(_other.m_memberTypes);
|
|
|
|
m_storageOffsets = std::move(_other.m_storageOffsets);
|
2015-03-16 18:27:53 +00:00
|
|
|
return *this;
|
2015-03-16 18:00:09 +00:00
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
std::pair<u256, unsigned> const* MemberList::memberStorageOffset(string const& _name) const
|
2015-03-13 18:48:24 +00:00
|
|
|
{
|
|
|
|
if (!m_storageOffsets)
|
|
|
|
{
|
|
|
|
TypePointers memberTypes;
|
|
|
|
memberTypes.reserve(m_memberTypes.size());
|
2015-04-15 15:40:50 +00:00
|
|
|
for (auto const& member: m_memberTypes)
|
|
|
|
memberTypes.push_back(member.type);
|
2015-03-13 18:48:24 +00:00
|
|
|
m_storageOffsets.reset(new StorageOffsets());
|
|
|
|
m_storageOffsets->computeOffsets(memberTypes);
|
|
|
|
}
|
|
|
|
for (size_t index = 0; index < m_memberTypes.size(); ++index)
|
2015-04-15 15:40:50 +00:00
|
|
|
if (m_memberTypes[index].name == _name)
|
2015-08-31 16:44:29 +00:00
|
|
|
return m_storageOffsets->offset(index);
|
2015-03-13 18:48:24 +00:00
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
u256 const& MemberList::storageSize() const
|
2015-03-13 09:52:34 +00:00
|
|
|
{
|
|
|
|
// trigger lazy computation
|
2015-08-31 16:44:29 +00:00
|
|
|
memberStorageOffset("");
|
|
|
|
return m_storageOffsets->storageSize();
|
2015-03-13 09:52:34 +00:00
|
|
|
}
|
|
|
|
|
2015-02-10 16:53:43 +00:00
|
|
|
TypePointer Type::fromElementaryTypeName(Token::Value _typeToken)
|
2014-10-13 16:22:15 +00:00
|
|
|
{
|
2015-03-09 16:48:33 +00:00
|
|
|
char const* tokenCstr = Token::toString(_typeToken);
|
|
|
|
solAssert(Token::isElementaryTypeName(_typeToken),
|
|
|
|
"Expected an elementary type name but got " + ((tokenCstr) ? std::string(Token::toString(_typeToken)) : ""));
|
2014-11-05 13:20:56 +00:00
|
|
|
|
2015-03-09 12:49:53 +00:00
|
|
|
if (Token::Int <= _typeToken && _typeToken <= Token::Bytes32)
|
2014-10-16 12:08:54 +00:00
|
|
|
{
|
2015-02-09 13:00:12 +00:00
|
|
|
int offset = _typeToken - Token::Int;
|
2014-11-05 10:38:26 +00:00
|
|
|
int bytes = offset % 33;
|
2015-06-08 11:08:22 +00:00
|
|
|
if (bytes == 0 && _typeToken != Token::Bytes1)
|
2014-11-05 10:38:26 +00:00
|
|
|
bytes = 32;
|
|
|
|
int modifier = offset / 33;
|
2015-03-05 15:54:55 +00:00
|
|
|
switch(modifier)
|
|
|
|
{
|
|
|
|
case 0:
|
|
|
|
return make_shared<IntegerType>(bytes * 8, IntegerType::Modifier::Signed);
|
|
|
|
case 1:
|
|
|
|
return make_shared<IntegerType>(bytes * 8, IntegerType::Modifier::Unsigned);
|
|
|
|
case 2:
|
2015-06-08 11:08:22 +00:00
|
|
|
return make_shared<FixedBytesType>(bytes + 1);
|
2015-03-05 15:54:55 +00:00
|
|
|
default:
|
|
|
|
solAssert(false, "Unexpected modifier value. Should never happen");
|
|
|
|
return TypePointer();
|
|
|
|
}
|
2014-10-16 12:08:54 +00:00
|
|
|
}
|
2015-03-11 16:41:12 +00:00
|
|
|
else if (_typeToken == Token::Byte)
|
|
|
|
return make_shared<FixedBytesType>(1);
|
2015-02-09 13:00:12 +00:00
|
|
|
else if (_typeToken == Token::Address)
|
|
|
|
return make_shared<IntegerType>(0, IntegerType::Modifier::Address);
|
|
|
|
else if (_typeToken == Token::Bool)
|
2015-01-07 20:35:35 +00:00
|
|
|
return make_shared<BoolType>();
|
2015-02-09 17:45:00 +00:00
|
|
|
else if (_typeToken == Token::Bytes)
|
2015-06-17 10:01:39 +00:00
|
|
|
return make_shared<ArrayType>(DataLocation::Storage);
|
2015-05-28 14:20:50 +00:00
|
|
|
else if (_typeToken == Token::String)
|
2015-06-17 10:01:39 +00:00
|
|
|
return make_shared<ArrayType>(DataLocation::Storage, true);
|
2014-10-16 12:08:54 +00:00
|
|
|
else
|
2015-06-17 10:01:39 +00:00
|
|
|
BOOST_THROW_EXCEPTION(InternalCompilerError() << errinfo_comment(
|
|
|
|
"Unable to convert elementary typename " + std::string(Token::toString(_typeToken)) + " to type."
|
|
|
|
));
|
2014-10-13 16:22:15 +00:00
|
|
|
}
|
|
|
|
|
2015-02-10 16:53:43 +00:00
|
|
|
TypePointer Type::fromElementaryTypeName(string const& _name)
|
|
|
|
{
|
|
|
|
return fromElementaryTypeName(Token::fromIdentifierOrKeyword(_name));
|
|
|
|
}
|
|
|
|
|
|
|
|
TypePointer Type::forLiteral(Literal const& _literal)
|
2014-10-13 16:22:15 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
switch (_literal.token())
|
2014-10-16 12:08:54 +00:00
|
|
|
{
|
2015-02-09 13:00:12 +00:00
|
|
|
case Token::TrueLiteral:
|
|
|
|
case Token::FalseLiteral:
|
2015-01-07 20:35:35 +00:00
|
|
|
return make_shared<BoolType>();
|
2015-02-09 13:00:12 +00:00
|
|
|
case Token::Number:
|
2015-07-14 15:43:13 +00:00
|
|
|
if (!IntegerConstantType::isValidLiteral(_literal))
|
|
|
|
return TypePointer();
|
2015-02-06 12:38:10 +00:00
|
|
|
return make_shared<IntegerConstantType>(_literal);
|
2015-02-09 13:00:12 +00:00
|
|
|
case Token::StringLiteral:
|
2015-07-07 23:13:56 +00:00
|
|
|
return make_shared<StringLiteralType>(_literal);
|
2014-10-13 16:22:15 +00:00
|
|
|
default:
|
2015-01-07 20:35:35 +00:00
|
|
|
return shared_ptr<Type>();
|
2014-10-13 16:22:15 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-12-18 17:53:43 +00:00
|
|
|
TypePointer Type::commonType(TypePointer const& _a, TypePointer const& _b)
|
|
|
|
{
|
|
|
|
if (_b->isImplicitlyConvertibleTo(*_a))
|
|
|
|
return _a;
|
|
|
|
else if (_a->isImplicitlyConvertibleTo(*_b))
|
|
|
|
return _b;
|
|
|
|
else
|
|
|
|
return TypePointer();
|
|
|
|
}
|
|
|
|
|
2015-03-16 18:27:53 +00:00
|
|
|
const MemberList Type::EmptyMemberList;
|
2014-11-20 09:19:43 +00:00
|
|
|
|
2014-10-22 22:24:07 +00:00
|
|
|
IntegerType::IntegerType(int _bits, IntegerType::Modifier _modifier):
|
|
|
|
m_bits(_bits), m_modifier(_modifier)
|
2014-10-13 16:22:15 +00:00
|
|
|
{
|
|
|
|
if (isAddress())
|
2014-11-07 16:34:15 +00:00
|
|
|
m_bits = 160;
|
2014-12-17 15:23:18 +00:00
|
|
|
solAssert(m_bits > 0 && m_bits <= 256 && m_bits % 8 == 0,
|
|
|
|
"Invalid bit number for integer type: " + dev::toString(_bits));
|
2014-10-13 16:22:15 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
bool IntegerType::isImplicitlyConvertibleTo(Type const& _convertTo) const
|
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_convertTo.category() != category())
|
2014-10-13 16:22:15 +00:00
|
|
|
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 (isSigned())
|
|
|
|
return convertTo.isSigned();
|
|
|
|
else
|
|
|
|
return !convertTo.isSigned() || convertTo.m_bits > m_bits;
|
|
|
|
}
|
|
|
|
|
2014-10-20 11:02:06 +00:00
|
|
|
bool IntegerType::isExplicitlyConvertibleTo(Type const& _convertTo) const
|
2014-10-13 16:22:15 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
return _convertTo.category() == category() ||
|
|
|
|
_convertTo.category() == Category::Contract ||
|
|
|
|
_convertTo.category() == Category::Enum ||
|
|
|
|
_convertTo.category() == Category::FixedBytes;
|
2014-10-13 16:22:15 +00:00
|
|
|
}
|
|
|
|
|
2015-01-06 18:08:24 +00:00
|
|
|
TypePointer IntegerType::unaryOperatorResult(Token::Value _operator) const
|
2014-10-13 16:22:15 +00:00
|
|
|
{
|
2015-01-06 18:08:24 +00:00
|
|
|
// "delete" is ok for all integer types
|
2015-02-09 13:00:12 +00:00
|
|
|
if (_operator == Token::Delete)
|
2015-01-14 12:52:03 +00:00
|
|
|
return make_shared<VoidType>();
|
2015-01-06 18:08:24 +00:00
|
|
|
// no further unary operators for addresses
|
|
|
|
else if (isAddress())
|
|
|
|
return TypePointer();
|
2015-03-05 15:54:55 +00:00
|
|
|
// for non-address integers, we allow +, -, ++ and --
|
2015-02-09 13:00:12 +00:00
|
|
|
else if (_operator == Token::Add || _operator == Token::Sub ||
|
2015-03-04 16:35:23 +00:00
|
|
|
_operator == Token::Inc || _operator == Token::Dec ||
|
2015-03-12 16:31:39 +00:00
|
|
|
_operator == Token::After || _operator == Token::BitNot)
|
2015-01-06 18:08:24 +00:00
|
|
|
return shared_from_this();
|
|
|
|
else
|
|
|
|
return TypePointer();
|
2014-10-20 10:41:56 +00:00
|
|
|
}
|
|
|
|
|
2014-10-29 18:28:30 +00:00
|
|
|
bool IntegerType::operator==(Type const& _other) const
|
2014-10-20 10:41:56 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_other.category() != category())
|
2014-10-20 10:41:56 +00:00
|
|
|
return false;
|
|
|
|
IntegerType const& other = dynamic_cast<IntegerType const&>(_other);
|
|
|
|
return other.m_bits == m_bits && other.m_modifier == m_modifier;
|
2014-10-13 16:22:15 +00:00
|
|
|
}
|
|
|
|
|
2015-06-09 12:26:08 +00:00
|
|
|
string IntegerType::toString(bool) const
|
2014-10-16 15:57:27 +00:00
|
|
|
{
|
|
|
|
if (isAddress())
|
|
|
|
return "address";
|
2015-03-05 15:54:55 +00:00
|
|
|
string prefix = isSigned() ? "int" : "uint";
|
2014-10-16 15:57:27 +00:00
|
|
|
return prefix + dev::toString(m_bits);
|
|
|
|
}
|
|
|
|
|
2015-01-06 17:55:31 +00:00
|
|
|
TypePointer IntegerType::binaryOperatorResult(Token::Value _operator, TypePointer const& _other) const
|
2014-12-18 17:53:43 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_other->category() != Category::IntegerConstant && _other->category() != category())
|
2014-12-18 17:53:43 +00:00
|
|
|
return TypePointer();
|
2015-01-06 17:55:31 +00:00
|
|
|
auto commonType = dynamic_pointer_cast<IntegerType const>(Type::commonType(shared_from_this(), _other));
|
2014-12-18 17:53:43 +00:00
|
|
|
|
|
|
|
if (!commonType)
|
|
|
|
return TypePointer();
|
|
|
|
|
2014-12-28 12:35:58 +00:00
|
|
|
// All integer types can be compared
|
|
|
|
if (Token::isCompareOp(_operator))
|
|
|
|
return commonType;
|
2015-08-06 13:33:06 +00:00
|
|
|
if (Token::isBooleanOp(_operator))
|
|
|
|
return TypePointer();
|
2015-03-12 12:39:12 +00:00
|
|
|
// Nothing else can be done with addresses
|
2015-03-09 12:49:53 +00:00
|
|
|
if (commonType->isAddress())
|
|
|
|
return TypePointer();
|
2014-12-28 12:35:58 +00:00
|
|
|
|
2015-03-09 12:49:53 +00:00
|
|
|
return commonType;
|
2014-12-18 17:53:43 +00:00
|
|
|
}
|
|
|
|
|
2015-03-16 18:27:53 +00:00
|
|
|
const MemberList IntegerType::AddressMemberList({
|
|
|
|
{"balance", make_shared<IntegerType >(256)},
|
2015-06-05 12:34:10 +00:00
|
|
|
{"call", make_shared<FunctionType>(strings(), strings{"bool"}, FunctionType::Location::Bare, true)},
|
|
|
|
{"callcode", make_shared<FunctionType>(strings(), strings{"bool"}, FunctionType::Location::BareCallCode, true)},
|
|
|
|
{"send", make_shared<FunctionType>(strings{"uint"}, strings{"bool"}, FunctionType::Location::Send)}
|
2015-03-16 18:27:53 +00:00
|
|
|
});
|
2014-11-21 18:14:56 +00:00
|
|
|
|
2015-07-14 15:43:13 +00:00
|
|
|
bool IntegerConstantType::isValidLiteral(const Literal& _literal)
|
|
|
|
{
|
|
|
|
try
|
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
bigint x(_literal.value());
|
2015-07-14 15:43:13 +00:00
|
|
|
}
|
|
|
|
catch (...)
|
|
|
|
{
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2015-02-06 12:38:10 +00:00
|
|
|
IntegerConstantType::IntegerConstantType(Literal const& _literal)
|
2014-12-19 10:31:17 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
m_value = bigint(_literal.value());
|
2015-02-06 12:38:10 +00:00
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
switch (_literal.subDenomination())
|
2015-02-06 12:38:10 +00:00
|
|
|
{
|
|
|
|
case Literal::SubDenomination::Wei:
|
2015-03-04 16:35:23 +00:00
|
|
|
case Literal::SubDenomination::Second:
|
2015-02-06 12:38:10 +00:00
|
|
|
case Literal::SubDenomination::None:
|
|
|
|
break;
|
|
|
|
case Literal::SubDenomination::Szabo:
|
|
|
|
m_value *= bigint("1000000000000");
|
|
|
|
break;
|
|
|
|
case Literal::SubDenomination::Finney:
|
|
|
|
m_value *= bigint("1000000000000000");
|
|
|
|
break;
|
|
|
|
case Literal::SubDenomination::Ether:
|
|
|
|
m_value *= bigint("1000000000000000000");
|
|
|
|
break;
|
2015-03-04 16:35:23 +00:00
|
|
|
case Literal::SubDenomination::Minute:
|
|
|
|
m_value *= bigint("60");
|
|
|
|
break;
|
|
|
|
case Literal::SubDenomination::Hour:
|
|
|
|
m_value *= bigint("3600");
|
|
|
|
break;
|
|
|
|
case Literal::SubDenomination::Day:
|
|
|
|
m_value *= bigint("86400");
|
|
|
|
break;
|
|
|
|
case Literal::SubDenomination::Week:
|
|
|
|
m_value *= bigint("604800");
|
|
|
|
break;
|
|
|
|
case Literal::SubDenomination::Year:
|
|
|
|
m_value *= bigint("31536000");
|
|
|
|
break;
|
2015-02-06 12:38:10 +00:00
|
|
|
}
|
2014-12-19 10:31:17 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
bool IntegerConstantType::isImplicitlyConvertibleTo(Type const& _convertTo) const
|
|
|
|
{
|
2015-06-04 10:42:55 +00:00
|
|
|
if (auto targetType = dynamic_cast<IntegerType const*>(&_convertTo))
|
2015-03-10 17:22:19 +00:00
|
|
|
{
|
2015-06-03 14:14:23 +00:00
|
|
|
if (m_value == 0)
|
|
|
|
return true;
|
2015-06-04 10:42:55 +00:00
|
|
|
int forSignBit = (targetType->isSigned() ? 1 : 0);
|
2015-06-03 14:14:23 +00:00
|
|
|
if (m_value > 0)
|
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (m_value <= (u256(-1) >> (256 - targetType->numBits() + forSignBit)))
|
2015-06-03 14:14:23 +00:00
|
|
|
return true;
|
|
|
|
}
|
2015-08-31 16:44:29 +00:00
|
|
|
else if (targetType->isSigned() && -m_value <= (u256(1) << (targetType->numBits() - forSignBit)))
|
2015-06-03 14:14:23 +00:00
|
|
|
return true;
|
|
|
|
return false;
|
2015-03-10 17:22:19 +00:00
|
|
|
}
|
2015-08-31 16:44:29 +00:00
|
|
|
else if (_convertTo.category() == Category::FixedBytes)
|
2015-06-04 16:06:06 +00:00
|
|
|
{
|
|
|
|
FixedBytesType const& fixedBytes = dynamic_cast<FixedBytesType const&>(_convertTo);
|
2015-08-31 16:44:29 +00:00
|
|
|
return fixedBytes.numBytes() * 8 >= integerType()->numBits();
|
2015-06-04 16:06:06 +00:00
|
|
|
}
|
|
|
|
else
|
|
|
|
return false;
|
2014-12-19 10:31:17 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
bool IntegerConstantType::isExplicitlyConvertibleTo(Type const& _convertTo) const
|
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
TypePointer intType = integerType();
|
|
|
|
return intType && intType->isExplicitlyConvertibleTo(_convertTo);
|
2014-12-19 10:31:17 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
TypePointer IntegerConstantType::unaryOperatorResult(Token::Value _operator) const
|
|
|
|
{
|
|
|
|
bigint value;
|
|
|
|
switch (_operator)
|
|
|
|
{
|
2015-02-09 13:00:12 +00:00
|
|
|
case Token::BitNot:
|
2014-12-19 10:31:17 +00:00
|
|
|
value = ~m_value;
|
|
|
|
break;
|
2015-02-09 13:00:12 +00:00
|
|
|
case Token::Add:
|
2014-12-19 10:31:17 +00:00
|
|
|
value = m_value;
|
|
|
|
break;
|
2015-02-09 13:00:12 +00:00
|
|
|
case Token::Sub:
|
2014-12-19 10:31:17 +00:00
|
|
|
value = -m_value;
|
|
|
|
break;
|
2015-03-04 18:55:52 +00:00
|
|
|
case Token::After:
|
|
|
|
return shared_from_this();
|
2014-12-19 10:31:17 +00:00
|
|
|
default:
|
|
|
|
return TypePointer();
|
|
|
|
}
|
2015-01-07 20:35:35 +00:00
|
|
|
return make_shared<IntegerConstantType>(value);
|
2014-12-19 10:31:17 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
TypePointer IntegerConstantType::binaryOperatorResult(Token::Value _operator, TypePointer const& _other) const
|
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_other->category() == Category::Integer)
|
2014-12-19 10:31:17 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
shared_ptr<IntegerType const> intType = integerType();
|
|
|
|
if (!intType)
|
2014-12-19 10:31:17 +00:00
|
|
|
return TypePointer();
|
2015-08-31 16:44:29 +00:00
|
|
|
return intType->binaryOperatorResult(_operator, _other);
|
2014-12-19 10:31:17 +00:00
|
|
|
}
|
2015-08-31 16:44:29 +00:00
|
|
|
else if (_other->category() != category())
|
2014-12-19 10:31:17 +00:00
|
|
|
return TypePointer();
|
|
|
|
|
|
|
|
IntegerConstantType const& other = dynamic_cast<IntegerConstantType const&>(*_other);
|
|
|
|
if (Token::isCompareOp(_operator))
|
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
shared_ptr<IntegerType const> thisIntegerType = integerType();
|
|
|
|
shared_ptr<IntegerType const> otherIntegerType = other.integerType();
|
2014-12-19 10:31:17 +00:00
|
|
|
if (!thisIntegerType || !otherIntegerType)
|
|
|
|
return TypePointer();
|
|
|
|
return thisIntegerType->binaryOperatorResult(_operator, otherIntegerType);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
bigint value;
|
|
|
|
switch (_operator)
|
|
|
|
{
|
2015-02-09 13:00:12 +00:00
|
|
|
case Token::BitOr:
|
2014-12-19 10:31:17 +00:00
|
|
|
value = m_value | other.m_value;
|
|
|
|
break;
|
2015-02-09 13:00:12 +00:00
|
|
|
case Token::BitXor:
|
2014-12-19 10:31:17 +00:00
|
|
|
value = m_value ^ other.m_value;
|
|
|
|
break;
|
2015-02-09 13:00:12 +00:00
|
|
|
case Token::BitAnd:
|
2014-12-19 10:31:17 +00:00
|
|
|
value = m_value & other.m_value;
|
|
|
|
break;
|
2015-02-09 13:00:12 +00:00
|
|
|
case Token::Add:
|
2014-12-19 10:31:17 +00:00
|
|
|
value = m_value + other.m_value;
|
|
|
|
break;
|
2015-02-09 13:00:12 +00:00
|
|
|
case Token::Sub:
|
2014-12-19 10:31:17 +00:00
|
|
|
value = m_value - other.m_value;
|
|
|
|
break;
|
2015-02-09 13:00:12 +00:00
|
|
|
case Token::Mul:
|
2014-12-19 10:31:17 +00:00
|
|
|
value = m_value * other.m_value;
|
|
|
|
break;
|
2015-02-09 13:00:12 +00:00
|
|
|
case Token::Div:
|
2014-12-19 10:31:17 +00:00
|
|
|
if (other.m_value == 0)
|
|
|
|
return TypePointer();
|
|
|
|
value = m_value / other.m_value;
|
|
|
|
break;
|
2015-02-09 13:00:12 +00:00
|
|
|
case Token::Mod:
|
2014-12-19 10:31:17 +00:00
|
|
|
if (other.m_value == 0)
|
|
|
|
return TypePointer();
|
|
|
|
value = m_value % other.m_value;
|
|
|
|
break;
|
2015-02-08 11:23:17 +00:00
|
|
|
case Token::Exp:
|
|
|
|
if (other.m_value < 0)
|
2015-02-10 14:43:13 +00:00
|
|
|
return TypePointer();
|
|
|
|
else if (other.m_value > std::numeric_limits<unsigned int>::max())
|
|
|
|
return TypePointer();
|
2015-02-08 11:23:17 +00:00
|
|
|
else
|
2015-02-10 14:43:13 +00:00
|
|
|
value = boost::multiprecision::pow(m_value, other.m_value.convert_to<unsigned int>());
|
2015-02-08 11:23:17 +00:00
|
|
|
break;
|
2014-12-19 10:31:17 +00:00
|
|
|
default:
|
|
|
|
return TypePointer();
|
|
|
|
}
|
2015-01-07 20:35:35 +00:00
|
|
|
return make_shared<IntegerConstantType>(value);
|
2014-12-19 10:31:17 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
bool IntegerConstantType::operator==(Type const& _other) const
|
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_other.category() != category())
|
2014-12-19 10:31:17 +00:00
|
|
|
return false;
|
|
|
|
return m_value == dynamic_cast<IntegerConstantType const&>(_other).m_value;
|
|
|
|
}
|
|
|
|
|
2015-06-09 12:26:08 +00:00
|
|
|
string IntegerConstantType::toString(bool) const
|
2014-12-19 10:31:17 +00:00
|
|
|
{
|
|
|
|
return "int_const " + m_value.str();
|
|
|
|
}
|
|
|
|
|
2015-02-06 12:38:10 +00:00
|
|
|
u256 IntegerConstantType::literalValue(Literal const*) const
|
2014-12-19 10:31:17 +00:00
|
|
|
{
|
2015-02-04 15:37:54 +00:00
|
|
|
u256 value;
|
2014-12-19 10:31:17 +00:00
|
|
|
// we ignore the literal and hope that the type was correctly determined
|
|
|
|
solAssert(m_value <= u256(-1), "Integer constant too large.");
|
|
|
|
solAssert(m_value >= -(bigint(1) << 255), "Integer constant too small.");
|
2015-02-04 15:37:54 +00:00
|
|
|
|
2014-12-19 10:31:17 +00:00
|
|
|
if (m_value >= 0)
|
2015-02-04 15:37:54 +00:00
|
|
|
value = u256(m_value);
|
2014-12-19 10:31:17 +00:00
|
|
|
else
|
2015-02-04 15:37:54 +00:00
|
|
|
value = s2u(s256(m_value));
|
|
|
|
|
|
|
|
return value;
|
2014-12-19 10:31:17 +00:00
|
|
|
}
|
|
|
|
|
2015-06-09 12:26:08 +00:00
|
|
|
TypePointer IntegerConstantType::mobileType() const
|
2015-02-06 12:42:51 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
auto intType = integerType();
|
2015-06-09 12:26:08 +00:00
|
|
|
solAssert(!!intType, "mobileType called with invalid integer constant " + toString(false));
|
2015-02-06 12:42:51 +00:00
|
|
|
return intType;
|
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
shared_ptr<IntegerType const> IntegerConstantType::integerType() const
|
2014-12-19 10:31:17 +00:00
|
|
|
{
|
|
|
|
bigint value = m_value;
|
|
|
|
bool negative = (value < 0);
|
|
|
|
if (negative) // convert to positive number of same bit requirements
|
|
|
|
value = ((-value) - 1) << 1;
|
|
|
|
if (value > u256(-1))
|
|
|
|
return shared_ptr<IntegerType const>();
|
|
|
|
else
|
2015-06-03 14:14:23 +00:00
|
|
|
return make_shared<IntegerType>(
|
|
|
|
max(bytesRequired(value), 1u) * 8,
|
|
|
|
negative ? IntegerType::Modifier::Signed : IntegerType::Modifier::Unsigned
|
|
|
|
);
|
2014-12-19 10:31:17 +00:00
|
|
|
}
|
|
|
|
|
2015-07-07 23:13:56 +00:00
|
|
|
StringLiteralType::StringLiteralType(Literal const& _literal):
|
2015-08-31 16:44:29 +00:00
|
|
|
m_value(_literal.value())
|
2015-07-07 23:13:56 +00:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
bool StringLiteralType::isImplicitlyConvertibleTo(Type const& _convertTo) const
|
|
|
|
{
|
|
|
|
if (auto fixedBytes = dynamic_cast<FixedBytesType const*>(&_convertTo))
|
|
|
|
return size_t(fixedBytes->numBytes()) >= m_value.size();
|
|
|
|
else if (auto arrayType = dynamic_cast<ArrayType const*>(&_convertTo))
|
2015-09-23 15:26:17 +00:00
|
|
|
return
|
|
|
|
arrayType->isByteArray() &&
|
|
|
|
!(arrayType->dataStoredIn(DataLocation::Storage) && arrayType->isPointer());
|
2015-07-07 23:13:56 +00:00
|
|
|
else
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool StringLiteralType::operator==(const Type& _other) const
|
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_other.category() != category())
|
2015-07-07 23:13:56 +00:00
|
|
|
return false;
|
|
|
|
return m_value == dynamic_cast<StringLiteralType const&>(_other).m_value;
|
|
|
|
}
|
|
|
|
|
|
|
|
TypePointer StringLiteralType::mobileType() const
|
|
|
|
{
|
|
|
|
return make_shared<ArrayType>(DataLocation::Memory, true);
|
|
|
|
}
|
|
|
|
|
2015-03-05 15:54:55 +00:00
|
|
|
shared_ptr<FixedBytesType> FixedBytesType::smallestTypeForLiteral(string const& _literal)
|
2014-12-09 17:46:18 +00:00
|
|
|
{
|
2014-12-11 13:19:11 +00:00
|
|
|
if (_literal.length() <= 32)
|
2015-03-05 15:54:55 +00:00
|
|
|
return make_shared<FixedBytesType>(_literal.length());
|
|
|
|
return shared_ptr<FixedBytesType>();
|
2014-12-09 17:46:18 +00:00
|
|
|
}
|
|
|
|
|
2015-03-05 15:54:55 +00:00
|
|
|
FixedBytesType::FixedBytesType(int _bytes): m_bytes(_bytes)
|
2014-12-09 17:46:18 +00:00
|
|
|
{
|
2014-12-17 15:23:18 +00:00
|
|
|
solAssert(m_bytes >= 0 && m_bytes <= 32,
|
2015-03-09 16:48:33 +00:00
|
|
|
"Invalid byte number for fixed bytes type: " + dev::toString(m_bytes));
|
2014-12-09 17:46:18 +00:00
|
|
|
}
|
|
|
|
|
2015-03-05 15:54:55 +00:00
|
|
|
bool FixedBytesType::isImplicitlyConvertibleTo(Type const& _convertTo) const
|
2014-12-09 17:46:18 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_convertTo.category() != category())
|
2014-12-09 17:46:18 +00:00
|
|
|
return false;
|
2015-03-05 15:54:55 +00:00
|
|
|
FixedBytesType const& convertTo = dynamic_cast<FixedBytesType const&>(_convertTo);
|
2014-12-09 17:46:18 +00:00
|
|
|
return convertTo.m_bytes >= m_bytes;
|
|
|
|
}
|
|
|
|
|
2015-03-05 15:54:55 +00:00
|
|
|
bool FixedBytesType::isExplicitlyConvertibleTo(Type const& _convertTo) const
|
2015-01-23 16:36:12 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
return _convertTo.category() == Category::Integer ||
|
|
|
|
_convertTo.category() == Category::Contract ||
|
|
|
|
_convertTo.category() == category();
|
2015-01-23 16:36:12 +00:00
|
|
|
}
|
|
|
|
|
2015-03-05 15:54:55 +00:00
|
|
|
TypePointer FixedBytesType::unaryOperatorResult(Token::Value _operator) const
|
|
|
|
{
|
|
|
|
// "delete" and "~" is okay for FixedBytesType
|
|
|
|
if (_operator == Token::Delete)
|
|
|
|
return make_shared<VoidType>();
|
|
|
|
else if (_operator == Token::BitNot)
|
|
|
|
return shared_from_this();
|
|
|
|
|
|
|
|
return TypePointer();
|
|
|
|
}
|
|
|
|
|
|
|
|
TypePointer FixedBytesType::binaryOperatorResult(Token::Value _operator, TypePointer const& _other) const
|
|
|
|
{
|
|
|
|
auto commonType = dynamic_pointer_cast<FixedBytesType const>(Type::commonType(shared_from_this(), _other));
|
|
|
|
if (!commonType)
|
|
|
|
return TypePointer();
|
|
|
|
|
|
|
|
// FixedBytes can be compared and have bitwise operators applied to them
|
|
|
|
if (Token::isCompareOp(_operator) || Token::isBitOp(_operator))
|
|
|
|
return commonType;
|
|
|
|
|
|
|
|
return TypePointer();
|
|
|
|
}
|
|
|
|
|
|
|
|
bool FixedBytesType::operator==(Type const& _other) const
|
2014-12-09 17:46:18 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_other.category() != category())
|
2014-12-09 17:46:18 +00:00
|
|
|
return false;
|
2015-03-05 15:54:55 +00:00
|
|
|
FixedBytesType const& other = dynamic_cast<FixedBytesType const&>(_other);
|
2014-12-09 17:46:18 +00:00
|
|
|
return other.m_bytes == m_bytes;
|
|
|
|
}
|
|
|
|
|
2014-10-20 11:02:06 +00:00
|
|
|
bool BoolType::isExplicitlyConvertibleTo(Type const& _convertTo) const
|
2014-10-13 16:22:15 +00:00
|
|
|
{
|
2014-10-15 13:54:41 +00:00
|
|
|
// conversion to integer is fine, but not to address
|
|
|
|
// this is an example of explicit conversions being not transitive (though implicit should be)
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_convertTo.category() == category())
|
2014-10-16 12:08:54 +00:00
|
|
|
{
|
2014-10-15 13:54:41 +00:00
|
|
|
IntegerType const& convertTo = dynamic_cast<IntegerType const&>(_convertTo);
|
|
|
|
if (!convertTo.isAddress())
|
|
|
|
return true;
|
|
|
|
}
|
2014-10-13 16:22:15 +00:00
|
|
|
return isImplicitlyConvertibleTo(_convertTo);
|
|
|
|
}
|
|
|
|
|
2014-12-19 10:31:17 +00:00
|
|
|
u256 BoolType::literalValue(Literal const* _literal) const
|
2014-10-13 16:22:15 +00:00
|
|
|
{
|
2014-12-19 10:31:17 +00:00
|
|
|
solAssert(_literal, "");
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_literal->token() == Token::TrueLiteral)
|
2014-10-30 00:20:32 +00:00
|
|
|
return u256(1);
|
2015-08-31 16:44:29 +00:00
|
|
|
else if (_literal->token() == Token::FalseLiteral)
|
2014-10-30 00:20:32 +00:00
|
|
|
return u256(0);
|
2014-10-20 10:41:56 +00:00
|
|
|
else
|
2014-11-05 13:20:56 +00:00
|
|
|
BOOST_THROW_EXCEPTION(InternalCompilerError() << errinfo_comment("Bool type constructed from non-boolean literal."));
|
2014-10-20 10:41:56 +00:00
|
|
|
}
|
|
|
|
|
2015-01-14 12:52:03 +00:00
|
|
|
TypePointer BoolType::unaryOperatorResult(Token::Value _operator) const
|
|
|
|
{
|
2015-02-09 13:00:12 +00:00
|
|
|
if (_operator == Token::Delete)
|
2015-01-14 12:52:03 +00:00
|
|
|
return make_shared<VoidType>();
|
2015-02-09 13:00:12 +00:00
|
|
|
return (_operator == Token::Not) ? shared_from_this() : TypePointer();
|
2015-01-14 12:52:03 +00:00
|
|
|
}
|
|
|
|
|
2015-01-06 17:55:31 +00:00
|
|
|
TypePointer BoolType::binaryOperatorResult(Token::Value _operator, TypePointer const& _other) const
|
2014-12-18 17:53:43 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (category() != _other->category())
|
2014-12-18 17:53:43 +00:00
|
|
|
return TypePointer();
|
2015-02-09 13:00:12 +00:00
|
|
|
if (Token::isCompareOp(_operator) || _operator == Token::And || _operator == Token::Or)
|
2015-01-06 17:55:31 +00:00
|
|
|
return _other;
|
2014-12-18 17:53:43 +00:00
|
|
|
else
|
|
|
|
return TypePointer();
|
|
|
|
}
|
|
|
|
|
2015-01-07 21:54:56 +00:00
|
|
|
bool ContractType::isImplicitlyConvertibleTo(Type const& _convertTo) const
|
2014-11-20 17:33:23 +00:00
|
|
|
{
|
2015-01-07 21:54:56 +00:00
|
|
|
if (*this == _convertTo)
|
2014-11-20 17:33:23 +00:00
|
|
|
return true;
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_convertTo.category() == Category::Integer)
|
2014-11-20 17:33:23 +00:00
|
|
|
return dynamic_cast<IntegerType const&>(_convertTo).isAddress();
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_convertTo.category() == Category::Contract)
|
2015-01-19 22:34:49 +00:00
|
|
|
{
|
2015-09-16 14:56:30 +00:00
|
|
|
auto const& bases = contractDefinition().annotation().linearizedBaseContracts;
|
2015-01-27 13:32:59 +00:00
|
|
|
if (m_super && bases.size() <= 1)
|
|
|
|
return false;
|
|
|
|
return find(m_super ? ++bases.begin() : bases.begin(), bases.end(),
|
2015-08-31 16:44:29 +00:00
|
|
|
&dynamic_cast<ContractType const&>(_convertTo).contractDefinition()) != bases.end();
|
2015-01-19 22:34:49 +00:00
|
|
|
}
|
2014-11-20 17:33:23 +00:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-01-07 21:54:56 +00:00
|
|
|
bool ContractType::isExplicitlyConvertibleTo(Type const& _convertTo) const
|
|
|
|
{
|
2015-09-01 09:19:02 +00:00
|
|
|
return
|
|
|
|
isImplicitlyConvertibleTo(_convertTo) ||
|
|
|
|
_convertTo.category() == Category::Integer ||
|
|
|
|
_convertTo.category() == Category::Contract;
|
2015-01-07 21:54:56 +00:00
|
|
|
}
|
|
|
|
|
2015-01-14 12:52:03 +00:00
|
|
|
TypePointer ContractType::unaryOperatorResult(Token::Value _operator) const
|
|
|
|
{
|
2015-02-09 13:00:12 +00:00
|
|
|
return _operator == Token::Delete ? make_shared<VoidType>() : TypePointer();
|
2015-01-14 12:52:03 +00:00
|
|
|
}
|
|
|
|
|
2015-06-26 17:14:26 +00:00
|
|
|
TypePointer ReferenceType::unaryOperatorResult(Token::Value _operator) const
|
|
|
|
{
|
|
|
|
if (_operator != Token::Delete)
|
|
|
|
return TypePointer();
|
|
|
|
// delete can be used on everything except calldata references or storage pointers
|
|
|
|
// (storage references are ok)
|
|
|
|
switch (location())
|
|
|
|
{
|
|
|
|
case DataLocation::CallData:
|
|
|
|
return TypePointer();
|
|
|
|
case DataLocation::Memory:
|
|
|
|
return make_shared<VoidType>();
|
|
|
|
case DataLocation::Storage:
|
|
|
|
return m_isPointer ? TypePointer() : make_shared<VoidType>();
|
2015-06-26 22:13:53 +00:00
|
|
|
default:
|
|
|
|
solAssert(false, "");
|
2015-06-26 17:14:26 +00:00
|
|
|
}
|
2015-06-29 11:23:02 +00:00
|
|
|
return TypePointer();
|
2015-06-26 17:14:26 +00:00
|
|
|
}
|
|
|
|
|
2015-06-17 10:01:39 +00:00
|
|
|
TypePointer ReferenceType::copyForLocationIfReference(DataLocation _location, TypePointer const& _type)
|
2015-06-09 12:26:08 +00:00
|
|
|
{
|
|
|
|
if (auto type = dynamic_cast<ReferenceType const*>(_type.get()))
|
|
|
|
return type->copyForLocation(_location, false);
|
|
|
|
return _type;
|
|
|
|
}
|
|
|
|
|
|
|
|
TypePointer ReferenceType::copyForLocationIfReference(TypePointer const& _type) const
|
|
|
|
{
|
|
|
|
return copyForLocationIfReference(m_location, _type);
|
|
|
|
}
|
|
|
|
|
|
|
|
string ReferenceType::stringForReferencePart() const
|
|
|
|
{
|
|
|
|
switch (m_location)
|
|
|
|
{
|
2015-06-17 10:01:39 +00:00
|
|
|
case DataLocation::Storage:
|
2015-06-09 12:26:08 +00:00
|
|
|
return string("storage ") + (m_isPointer ? "pointer" : "ref");
|
2015-06-17 10:01:39 +00:00
|
|
|
case DataLocation::CallData:
|
2015-06-09 12:26:08 +00:00
|
|
|
return "calldata";
|
2015-06-17 10:01:39 +00:00
|
|
|
case DataLocation::Memory:
|
2015-06-09 12:26:08 +00:00
|
|
|
return "memory";
|
|
|
|
}
|
2015-06-12 08:48:47 +00:00
|
|
|
solAssert(false, "");
|
|
|
|
return "";
|
2015-06-09 12:26:08 +00:00
|
|
|
}
|
|
|
|
|
2015-02-20 14:52:30 +00:00
|
|
|
bool ArrayType::isImplicitlyConvertibleTo(const Type& _convertTo) const
|
2015-02-10 08:00:50 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_convertTo.category() != category())
|
2015-02-27 13:50:06 +00:00
|
|
|
return false;
|
|
|
|
auto& convertTo = dynamic_cast<ArrayType const&>(_convertTo);
|
2015-05-28 14:20:50 +00:00
|
|
|
if (convertTo.isByteArray() != isByteArray() || convertTo.isString() != isString())
|
2015-02-27 13:50:06 +00:00
|
|
|
return false;
|
2015-06-09 12:26:08 +00:00
|
|
|
// memory/calldata to storage can be converted, but only to a direct storage reference
|
2015-06-17 10:01:39 +00:00
|
|
|
if (convertTo.location() == DataLocation::Storage && location() != DataLocation::Storage && convertTo.isPointer())
|
2015-02-27 13:50:06 +00:00
|
|
|
return false;
|
2015-06-17 10:01:39 +00:00
|
|
|
if (convertTo.location() == DataLocation::CallData && location() != convertTo.location())
|
2015-06-09 12:26:08 +00:00
|
|
|
return false;
|
2015-06-17 10:01:39 +00:00
|
|
|
if (convertTo.location() == DataLocation::Storage && !convertTo.isPointer())
|
2015-06-09 12:26:08 +00:00
|
|
|
{
|
|
|
|
// Less restrictive conversion, since we need to copy anyway.
|
2015-08-31 16:44:29 +00:00
|
|
|
if (!baseType()->isImplicitlyConvertibleTo(*convertTo.baseType()))
|
2015-06-09 12:26:08 +00:00
|
|
|
return false;
|
|
|
|
if (convertTo.isDynamicallySized())
|
|
|
|
return true;
|
2015-08-31 16:44:29 +00:00
|
|
|
return !isDynamicallySized() && convertTo.length() >= length();
|
2015-06-09 12:26:08 +00:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2015-06-23 12:55:33 +00:00
|
|
|
// Conversion to storage pointer or to memory, we de not copy element-for-element here, so
|
|
|
|
// require that the base type is the same, not only convertible.
|
|
|
|
// This disallows assignment of nested dynamic arrays from storage to memory for now.
|
|
|
|
if (
|
2015-08-31 16:44:29 +00:00
|
|
|
*copyForLocationIfReference(location(), baseType()) !=
|
|
|
|
*copyForLocationIfReference(location(), convertTo.baseType())
|
2015-06-23 12:55:33 +00:00
|
|
|
)
|
2015-06-09 12:26:08 +00:00
|
|
|
return false;
|
|
|
|
if (isDynamicallySized() != convertTo.isDynamicallySized())
|
|
|
|
return false;
|
|
|
|
// We also require that the size is the same.
|
2015-08-31 16:44:29 +00:00
|
|
|
if (!isDynamicallySized() && length() != convertTo.length())
|
2015-06-09 12:26:08 +00:00
|
|
|
return false;
|
2015-02-27 13:50:06 +00:00
|
|
|
return true;
|
2015-06-09 12:26:08 +00:00
|
|
|
}
|
2015-02-10 08:00:50 +00:00
|
|
|
}
|
|
|
|
|
2015-08-04 09:06:57 +00:00
|
|
|
bool ArrayType::isExplicitlyConvertibleTo(const Type& _convertTo) const
|
|
|
|
{
|
|
|
|
if (isImplicitlyConvertibleTo(_convertTo))
|
|
|
|
return true;
|
|
|
|
// allow conversion bytes <-> string
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_convertTo.category() != category())
|
2015-08-04 09:06:57 +00:00
|
|
|
return false;
|
|
|
|
auto& convertTo = dynamic_cast<ArrayType const&>(_convertTo);
|
|
|
|
if (convertTo.location() != location())
|
|
|
|
return false;
|
|
|
|
if (!isByteArray() || !convertTo.isByteArray())
|
|
|
|
return false;
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2015-02-20 14:52:30 +00:00
|
|
|
bool ArrayType::operator==(Type const& _other) const
|
2015-02-09 17:45:00 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_other.category() != category())
|
2015-02-09 17:45:00 +00:00
|
|
|
return false;
|
2015-02-20 14:52:30 +00:00
|
|
|
ArrayType const& other = dynamic_cast<ArrayType const&>(_other);
|
2015-05-28 14:20:50 +00:00
|
|
|
if (
|
2015-06-09 12:26:08 +00:00
|
|
|
!ReferenceType::operator==(other) ||
|
2015-05-28 14:20:50 +00:00
|
|
|
other.isByteArray() != isByteArray() ||
|
|
|
|
other.isString() != isString() ||
|
|
|
|
other.isDynamicallySized() != isDynamicallySized()
|
|
|
|
)
|
2015-02-27 13:50:06 +00:00
|
|
|
return false;
|
2015-08-31 16:44:29 +00:00
|
|
|
return isDynamicallySized() || length() == other.length();
|
2015-02-09 17:45:00 +00:00
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
unsigned ArrayType::calldataEncodedSize(bool _padded) const
|
2015-03-03 10:28:56 +00:00
|
|
|
{
|
|
|
|
if (isDynamicallySized())
|
|
|
|
return 0;
|
2015-08-31 16:44:29 +00:00
|
|
|
bigint size = bigint(length()) * (isByteArray() ? 1 : baseType()->calldataEncodedSize(_padded));
|
2015-03-05 17:22:17 +00:00
|
|
|
size = ((size + 31) / 32) * 32;
|
2015-03-03 10:28:56 +00:00
|
|
|
solAssert(size <= numeric_limits<unsigned>::max(), "Array size does not fit unsigned.");
|
|
|
|
return unsigned(size);
|
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
u256 ArrayType::storageSize() const
|
2015-02-22 18:15:41 +00:00
|
|
|
{
|
|
|
|
if (isDynamicallySized())
|
|
|
|
return 1;
|
2015-03-16 16:52:19 +00:00
|
|
|
|
|
|
|
bigint size;
|
2015-08-31 16:44:29 +00:00
|
|
|
unsigned baseBytes = baseType()->storageBytes();
|
2015-03-16 16:52:19 +00:00
|
|
|
if (baseBytes == 0)
|
|
|
|
size = 1;
|
|
|
|
else if (baseBytes < 32)
|
2015-02-22 18:15:41 +00:00
|
|
|
{
|
2015-03-16 16:52:19 +00:00
|
|
|
unsigned itemsPerSlot = 32 / baseBytes;
|
2015-08-31 16:44:29 +00:00
|
|
|
size = (bigint(length()) + (itemsPerSlot - 1)) / itemsPerSlot;
|
2015-02-22 18:15:41 +00:00
|
|
|
}
|
2015-03-16 16:52:19 +00:00
|
|
|
else
|
2015-08-31 16:44:29 +00:00
|
|
|
size = bigint(length()) * baseType()->storageSize();
|
2015-03-16 16:52:19 +00:00
|
|
|
if (size >= bigint(1) << 256)
|
|
|
|
BOOST_THROW_EXCEPTION(TypeError() << errinfo_comment("Array too large for storage."));
|
|
|
|
return max<u256>(1, u256(size));
|
2015-02-22 18:15:41 +00:00
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
unsigned ArrayType::sizeOnStack() const
|
2015-02-10 13:57:01 +00:00
|
|
|
{
|
2015-06-17 10:01:39 +00:00
|
|
|
if (m_location == DataLocation::CallData)
|
2015-03-03 10:28:56 +00:00
|
|
|
// offset [length] (stack top)
|
|
|
|
return 1 + (isDynamicallySized() ? 1 : 0);
|
2015-02-10 13:57:01 +00:00
|
|
|
else
|
2015-07-14 09:58:16 +00:00
|
|
|
// storage slot or memory offset
|
|
|
|
// byte offset inside storage value is omitted
|
2015-02-10 13:57:01 +00:00
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
2015-06-09 12:26:08 +00:00
|
|
|
string ArrayType::toString(bool _short) const
|
2015-02-16 16:33:13 +00:00
|
|
|
{
|
2015-06-09 12:26:08 +00:00
|
|
|
string ret;
|
2015-05-28 14:20:50 +00:00
|
|
|
if (isString())
|
2015-06-09 12:26:08 +00:00
|
|
|
ret = "string";
|
2015-05-28 14:20:50 +00:00
|
|
|
else if (isByteArray())
|
2015-06-09 12:26:08 +00:00
|
|
|
ret = "bytes";
|
|
|
|
else
|
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
ret = baseType()->toString(_short) + "[";
|
2015-06-09 12:26:08 +00:00
|
|
|
if (!isDynamicallySized())
|
2015-08-31 16:44:29 +00:00
|
|
|
ret += length().str();
|
2015-06-09 12:26:08 +00:00
|
|
|
ret += "]";
|
|
|
|
}
|
|
|
|
if (!_short)
|
|
|
|
ret += " " + stringForReferencePart();
|
|
|
|
return ret;
|
2015-02-20 14:52:30 +00:00
|
|
|
}
|
|
|
|
|
2015-03-19 15:48:54 +00:00
|
|
|
TypePointer ArrayType::externalType() const
|
|
|
|
{
|
2015-05-28 14:20:50 +00:00
|
|
|
if (m_arrayKind != ArrayKind::Ordinary)
|
2015-06-24 15:25:36 +00:00
|
|
|
return this->copyForLocation(DataLocation::Memory, true);
|
2015-06-26 14:52:30 +00:00
|
|
|
TypePointer baseExt = m_baseType->externalType();
|
|
|
|
if (!baseExt)
|
2015-03-19 15:48:54 +00:00
|
|
|
return TypePointer();
|
2015-08-31 16:44:29 +00:00
|
|
|
if (m_baseType->category() == Category::Array && m_baseType->isDynamicallySized())
|
2015-03-19 15:48:54 +00:00
|
|
|
return TypePointer();
|
|
|
|
|
2015-03-20 16:02:24 +00:00
|
|
|
if (isDynamicallySized())
|
2015-06-26 14:52:30 +00:00
|
|
|
return std::make_shared<ArrayType>(DataLocation::Memory, baseExt);
|
2015-03-19 15:48:54 +00:00
|
|
|
else
|
2015-06-26 14:52:30 +00:00
|
|
|
return std::make_shared<ArrayType>(DataLocation::Memory, baseExt, m_length);
|
2015-03-19 15:48:54 +00:00
|
|
|
}
|
|
|
|
|
2015-09-23 15:31:37 +00:00
|
|
|
u256 ArrayType::memorySize() const
|
|
|
|
{
|
|
|
|
solAssert(!isDynamicallySized(), "");
|
|
|
|
solAssert(m_location == DataLocation::Memory, "");
|
2015-09-23 15:26:52 +00:00
|
|
|
u256 size = m_length * m_baseType->memoryHeadSize();
|
|
|
|
solAssert(size <= numeric_limits<unsigned>::max(), "Array size does not fit unsigned.");
|
|
|
|
return size;
|
2015-09-23 15:31:37 +00:00
|
|
|
}
|
|
|
|
|
2015-06-17 10:01:39 +00:00
|
|
|
TypePointer ArrayType::copyForLocation(DataLocation _location, bool _isPointer) const
|
2015-02-20 14:52:30 +00:00
|
|
|
{
|
|
|
|
auto copy = make_shared<ArrayType>(_location);
|
2015-06-09 12:26:08 +00:00
|
|
|
copy->m_isPointer = _isPointer;
|
2015-05-28 14:20:50 +00:00
|
|
|
copy->m_arrayKind = m_arrayKind;
|
2015-06-09 12:26:08 +00:00
|
|
|
copy->m_baseType = copy->copyForLocationIfReference(m_baseType);
|
2015-02-20 14:52:30 +00:00
|
|
|
copy->m_hasDynamicLength = m_hasDynamicLength;
|
|
|
|
copy->m_length = m_length;
|
|
|
|
return copy;
|
2015-02-16 16:33:13 +00:00
|
|
|
}
|
|
|
|
|
2015-03-16 18:27:53 +00:00
|
|
|
const MemberList ArrayType::s_arrayTypeMemberList({{"length", make_shared<IntegerType>(256)}});
|
2015-02-12 14:44:35 +00:00
|
|
|
|
2014-10-29 18:28:30 +00:00
|
|
|
bool ContractType::operator==(Type const& _other) const
|
2014-10-20 10:41:56 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_other.category() != category())
|
2014-10-13 16:22:15 +00:00
|
|
|
return false;
|
2014-10-20 10:41:56 +00:00
|
|
|
ContractType const& other = dynamic_cast<ContractType const&>(_other);
|
2015-01-27 13:32:59 +00:00
|
|
|
return other.m_contract == m_contract && other.m_super == m_super;
|
2014-10-13 16:22:15 +00:00
|
|
|
}
|
|
|
|
|
2015-06-09 12:26:08 +00:00
|
|
|
string ContractType::toString(bool) const
|
2014-11-20 17:33:23 +00:00
|
|
|
{
|
2015-09-11 14:36:47 +00:00
|
|
|
return
|
|
|
|
string(m_contract.isLibrary() ? "library " : "contract ") +
|
|
|
|
string(m_super ? "super " : "") +
|
|
|
|
m_contract.name();
|
2014-11-20 17:33:23 +00:00
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
MemberList const& ContractType::members() const
|
2014-12-04 18:38:24 +00:00
|
|
|
{
|
|
|
|
// We need to lazy-initialize it because of recursive references.
|
|
|
|
if (!m_members)
|
|
|
|
{
|
2015-01-07 21:54:56 +00:00
|
|
|
// All address members and all interface functions
|
2015-04-15 15:40:50 +00:00
|
|
|
MemberList::MemberMap members(
|
|
|
|
IntegerType::AddressMemberList.begin(),
|
|
|
|
IntegerType::AddressMemberList.end()
|
|
|
|
);
|
2015-01-27 13:32:59 +00:00
|
|
|
if (m_super)
|
|
|
|
{
|
2015-04-15 15:40:50 +00:00
|
|
|
// add the most derived of all functions which are visible in derived contracts
|
2015-09-16 14:56:30 +00:00
|
|
|
for (ContractDefinition const* base: m_contract.annotation().linearizedBaseContracts)
|
2015-08-31 16:44:29 +00:00
|
|
|
for (ASTPointer<FunctionDefinition> const& function: base->definedFunctions())
|
2015-04-15 15:40:50 +00:00
|
|
|
{
|
|
|
|
if (!function->isVisibleInDerivedContracts())
|
|
|
|
continue;
|
|
|
|
auto functionType = make_shared<FunctionType>(*function, true);
|
|
|
|
bool functionWithEqualArgumentsFound = false;
|
|
|
|
for (auto const& member: members)
|
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (member.name != function->name())
|
2015-04-15 15:40:50 +00:00
|
|
|
continue;
|
|
|
|
auto memberType = dynamic_cast<FunctionType const*>(member.type.get());
|
|
|
|
solAssert(!!memberType, "Override changes type.");
|
|
|
|
if (!memberType->hasEqualArgumentTypes(*functionType))
|
|
|
|
continue;
|
|
|
|
functionWithEqualArgumentsFound = true;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if (!functionWithEqualArgumentsFound)
|
|
|
|
members.push_back(MemberList::Member(
|
2015-08-31 16:44:29 +00:00
|
|
|
function->name(),
|
2015-04-15 15:40:50 +00:00
|
|
|
functionType,
|
|
|
|
function.get()
|
|
|
|
));
|
|
|
|
}
|
2015-01-27 13:32:59 +00:00
|
|
|
}
|
|
|
|
else
|
2015-08-31 16:44:29 +00:00
|
|
|
for (auto const& it: m_contract.interfaceFunctions())
|
2015-04-15 15:40:50 +00:00
|
|
|
members.push_back(MemberList::Member(
|
2015-08-31 16:44:29 +00:00
|
|
|
it.second->declaration().name(),
|
2015-09-11 14:36:47 +00:00
|
|
|
it.second->asMemberFunction(m_contract.isLibrary()),
|
2015-08-31 16:44:29 +00:00
|
|
|
&it.second->declaration()
|
2015-04-15 15:40:50 +00:00
|
|
|
));
|
2014-12-04 18:38:24 +00:00
|
|
|
m_members.reset(new MemberList(members));
|
|
|
|
}
|
|
|
|
return *m_members;
|
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
shared_ptr<FunctionType const> const& ContractType::constructorType() const
|
2014-12-12 15:49:26 +00:00
|
|
|
{
|
|
|
|
if (!m_constructorType)
|
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
FunctionDefinition const* constructor = m_contract.constructor();
|
2014-12-16 15:15:34 +00:00
|
|
|
if (constructor)
|
2015-01-07 20:35:35 +00:00
|
|
|
m_constructorType = make_shared<FunctionType>(*constructor);
|
2014-12-12 15:49:26 +00:00
|
|
|
else
|
2015-01-07 20:35:35 +00:00
|
|
|
m_constructorType = make_shared<FunctionType>(TypePointers(), TypePointers());
|
2014-12-12 15:49:26 +00:00
|
|
|
}
|
|
|
|
return m_constructorType;
|
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
vector<tuple<VariableDeclaration const*, u256, unsigned>> ContractType::stateVariables() const
|
2015-03-16 15:15:13 +00:00
|
|
|
{
|
|
|
|
vector<VariableDeclaration const*> variables;
|
2015-09-16 14:56:30 +00:00
|
|
|
for (ContractDefinition const* contract: boost::adaptors::reverse(m_contract.annotation().linearizedBaseContracts))
|
2015-08-31 16:44:29 +00:00
|
|
|
for (ASTPointer<VariableDeclaration> const& variable: contract->stateVariables())
|
2015-03-16 15:15:13 +00:00
|
|
|
if (!variable->isConstant())
|
|
|
|
variables.push_back(variable.get());
|
|
|
|
TypePointers types;
|
|
|
|
for (auto variable: variables)
|
2015-09-16 14:56:30 +00:00
|
|
|
types.push_back(variable->annotation().type);
|
2015-03-16 15:15:13 +00:00
|
|
|
StorageOffsets offsets;
|
|
|
|
offsets.computeOffsets(types);
|
|
|
|
|
|
|
|
vector<tuple<VariableDeclaration const*, u256, unsigned>> variablesAndOffsets;
|
|
|
|
for (size_t index = 0; index < variables.size(); ++index)
|
2015-08-31 16:44:29 +00:00
|
|
|
if (auto const* offset = offsets.offset(index))
|
2015-03-16 15:15:13 +00:00
|
|
|
variablesAndOffsets.push_back(make_tuple(variables[index], offset->first, offset->second));
|
|
|
|
return variablesAndOffsets;
|
|
|
|
}
|
|
|
|
|
2015-06-09 12:26:08 +00:00
|
|
|
bool StructType::isImplicitlyConvertibleTo(const Type& _convertTo) const
|
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_convertTo.category() != category())
|
2015-06-09 12:26:08 +00:00
|
|
|
return false;
|
|
|
|
auto& convertTo = dynamic_cast<StructType const&>(_convertTo);
|
|
|
|
// memory/calldata to storage can be converted, but only to a direct storage reference
|
2015-06-17 10:01:39 +00:00
|
|
|
if (convertTo.location() == DataLocation::Storage && location() != DataLocation::Storage && convertTo.isPointer())
|
2015-06-09 12:26:08 +00:00
|
|
|
return false;
|
2015-06-17 10:01:39 +00:00
|
|
|
if (convertTo.location() == DataLocation::CallData && location() != convertTo.location())
|
2015-06-09 12:26:08 +00:00
|
|
|
return false;
|
|
|
|
return this->m_struct == convertTo.m_struct;
|
|
|
|
}
|
|
|
|
|
2014-10-29 18:28:30 +00:00
|
|
|
bool StructType::operator==(Type const& _other) const
|
2014-10-13 16:22:15 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_other.category() != category())
|
2014-10-13 16:22:15 +00:00
|
|
|
return false;
|
2014-10-20 10:41:56 +00:00
|
|
|
StructType const& other = dynamic_cast<StructType const&>(_other);
|
2015-06-09 12:26:08 +00:00
|
|
|
return ReferenceType::operator==(other) && other.m_struct == m_struct;
|
2014-10-13 16:22:15 +00:00
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
unsigned StructType::calldataEncodedSize(bool _padded) const
|
2015-06-24 15:25:36 +00:00
|
|
|
{
|
|
|
|
unsigned size = 0;
|
2015-08-31 16:44:29 +00:00
|
|
|
for (auto const& member: members())
|
2015-06-24 15:25:36 +00:00
|
|
|
if (!member.type->canLiveOutsideStorage())
|
|
|
|
return 0;
|
|
|
|
else
|
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
unsigned memberSize = member.type->calldataEncodedSize(_padded);
|
2015-06-24 15:25:36 +00:00
|
|
|
if (memberSize == 0)
|
|
|
|
return 0;
|
|
|
|
size += memberSize;
|
|
|
|
}
|
|
|
|
return size;
|
|
|
|
}
|
|
|
|
|
2015-06-30 09:54:51 +00:00
|
|
|
u256 StructType::memorySize() const
|
|
|
|
{
|
|
|
|
u256 size;
|
2015-08-31 16:44:29 +00:00
|
|
|
for (auto const& member: members())
|
2015-06-30 09:54:51 +00:00
|
|
|
if (member.type->canLiveOutsideStorage())
|
|
|
|
size += member.type->memoryHeadSize();
|
|
|
|
return size;
|
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
u256 StructType::storageSize() const
|
2014-11-07 01:06:37 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
return max<u256>(1, members().storageSize());
|
2014-11-07 01:06:37 +00:00
|
|
|
}
|
|
|
|
|
2015-06-09 12:26:08 +00:00
|
|
|
string StructType::toString(bool _short) const
|
2014-11-13 00:12:57 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
string ret = "struct " + m_struct.name();
|
2015-06-09 12:26:08 +00:00
|
|
|
if (!_short)
|
|
|
|
ret += " " + stringForReferencePart();
|
|
|
|
return ret;
|
2014-11-13 00:12:57 +00:00
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
MemberList const& StructType::members() const
|
2014-11-13 00:12:57 +00:00
|
|
|
{
|
2014-11-20 09:19:43 +00:00
|
|
|
// We need to lazy-initialize it because of recursive references.
|
|
|
|
if (!m_members)
|
|
|
|
{
|
2015-02-17 15:21:38 +00:00
|
|
|
MemberList::MemberMap members;
|
2015-08-31 16:44:29 +00:00
|
|
|
for (ASTPointer<VariableDeclaration> const& variable: m_struct.members())
|
2015-06-09 12:26:08 +00:00
|
|
|
{
|
2015-09-16 14:56:30 +00:00
|
|
|
TypePointer type = variable->annotation().type;
|
2015-07-15 23:06:19 +00:00
|
|
|
// Skip all mapping members if we are not in storage.
|
|
|
|
if (location() != DataLocation::Storage && !type->canLiveOutsideStorage())
|
|
|
|
continue;
|
2015-06-09 12:26:08 +00:00
|
|
|
members.push_back(MemberList::Member(
|
2015-08-31 16:44:29 +00:00
|
|
|
variable->name(),
|
2015-07-15 23:06:19 +00:00
|
|
|
copyForLocationIfReference(type),
|
2015-06-09 12:26:08 +00:00
|
|
|
variable.get())
|
|
|
|
);
|
|
|
|
}
|
2014-11-20 09:19:43 +00:00
|
|
|
m_members.reset(new MemberList(members));
|
|
|
|
}
|
|
|
|
return *m_members;
|
2014-11-13 00:12:57 +00:00
|
|
|
}
|
|
|
|
|
2015-06-17 10:01:39 +00:00
|
|
|
TypePointer StructType::copyForLocation(DataLocation _location, bool _isPointer) const
|
2015-06-05 09:07:50 +00:00
|
|
|
{
|
2015-07-15 23:06:19 +00:00
|
|
|
auto copy = make_shared<StructType>(m_struct, _location);
|
2015-06-09 12:26:08 +00:00
|
|
|
copy->m_isPointer = _isPointer;
|
2015-06-05 09:07:50 +00:00
|
|
|
return copy;
|
|
|
|
}
|
|
|
|
|
2015-06-30 19:08:34 +00:00
|
|
|
FunctionTypePointer StructType::constructorType() const
|
|
|
|
{
|
|
|
|
TypePointers paramTypes;
|
|
|
|
strings paramNames;
|
2015-08-31 16:44:29 +00:00
|
|
|
for (auto const& member: members())
|
2015-06-30 19:08:34 +00:00
|
|
|
{
|
|
|
|
if (!member.type->canLiveOutsideStorage())
|
|
|
|
continue;
|
|
|
|
paramNames.push_back(member.name);
|
|
|
|
paramTypes.push_back(copyForLocationIfReference(DataLocation::Memory, member.type));
|
|
|
|
}
|
|
|
|
return make_shared<FunctionType>(
|
|
|
|
paramTypes,
|
|
|
|
TypePointers{copyForLocation(DataLocation::Memory, false)},
|
|
|
|
paramNames,
|
|
|
|
strings(),
|
|
|
|
FunctionType::Location::Internal
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
pair<u256, unsigned> const& StructType::storageOffsetsOfMember(string const& _name) const
|
2014-11-13 00:12:57 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
auto const* offsets = members().memberStorageOffset(_name);
|
2015-03-13 18:48:24 +00:00
|
|
|
solAssert(offsets, "Storage offset of non-existing member requested.");
|
|
|
|
return *offsets;
|
2014-11-13 00:12:57 +00:00
|
|
|
}
|
|
|
|
|
2015-06-30 09:54:51 +00:00
|
|
|
u256 StructType::memoryOffsetOfMember(string const& _name) const
|
|
|
|
{
|
|
|
|
u256 offset;
|
2015-08-31 16:44:29 +00:00
|
|
|
for (auto const& member: members())
|
2015-06-30 09:54:51 +00:00
|
|
|
if (member.name == _name)
|
|
|
|
return offset;
|
|
|
|
else
|
|
|
|
offset += member.type->memoryHeadSize();
|
|
|
|
solAssert(false, "Member not found in struct.");
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2015-07-15 23:06:19 +00:00
|
|
|
set<string> StructType::membersMissingInMemory() const
|
|
|
|
{
|
|
|
|
set<string> missing;
|
2015-08-31 16:44:29 +00:00
|
|
|
for (ASTPointer<VariableDeclaration> const& variable: m_struct.members())
|
2015-09-16 14:56:30 +00:00
|
|
|
if (!variable->annotation().type->canLiveOutsideStorage())
|
2015-08-31 16:44:29 +00:00
|
|
|
missing.insert(variable->name());
|
2015-07-15 23:06:19 +00:00
|
|
|
return missing;
|
|
|
|
}
|
|
|
|
|
2015-02-11 15:37:46 +00:00
|
|
|
TypePointer EnumType::unaryOperatorResult(Token::Value _operator) const
|
|
|
|
{
|
|
|
|
return _operator == Token::Delete ? make_shared<VoidType>() : TypePointer();
|
|
|
|
}
|
|
|
|
|
|
|
|
bool EnumType::operator==(Type const& _other) const
|
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_other.category() != category())
|
2015-02-11 15:37:46 +00:00
|
|
|
return false;
|
|
|
|
EnumType const& other = dynamic_cast<EnumType const&>(_other);
|
|
|
|
return other.m_enum == m_enum;
|
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
unsigned EnumType::storageBytes() const
|
2015-03-13 09:52:34 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
size_t elements = m_enum.members().size();
|
2015-03-13 09:52:34 +00:00
|
|
|
if (elements <= 1)
|
|
|
|
return 1;
|
|
|
|
else
|
|
|
|
return dev::bytesRequired(elements - 1);
|
|
|
|
}
|
|
|
|
|
2015-06-09 12:26:08 +00:00
|
|
|
string EnumType::toString(bool) const
|
2015-02-11 15:37:46 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
return string("enum ") + m_enum.name();
|
2015-02-11 15:37:46 +00:00
|
|
|
}
|
|
|
|
|
2015-02-12 16:59:52 +00:00
|
|
|
bool EnumType::isExplicitlyConvertibleTo(Type const& _convertTo) const
|
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
return _convertTo.category() == category() || _convertTo.category() == Category::Integer;
|
2015-02-12 16:59:52 +00:00
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
unsigned int EnumType::memberValue(ASTString const& _member) const
|
2015-02-13 22:03:32 +00:00
|
|
|
{
|
|
|
|
unsigned int index = 0;
|
2015-08-31 16:44:29 +00:00
|
|
|
for (ASTPointer<EnumValue> const& decl: m_enum.members())
|
2015-02-13 22:03:32 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (decl->name() == _member)
|
2015-02-13 22:03:32 +00:00
|
|
|
return index;
|
|
|
|
++index;
|
|
|
|
}
|
|
|
|
BOOST_THROW_EXCEPTION(m_enum.createTypeError("Requested unknown enum value ." + _member));
|
|
|
|
}
|
|
|
|
|
2015-01-14 10:01:42 +00:00
|
|
|
FunctionType::FunctionType(FunctionDefinition const& _function, bool _isInternal):
|
2015-02-09 13:08:48 +00:00
|
|
|
m_location(_isInternal ? Location::Internal : Location::External),
|
2015-01-29 15:39:30 +00:00
|
|
|
m_isConstant(_function.isDeclaredConst()),
|
2015-01-29 16:28:14 +00:00
|
|
|
m_declaration(&_function)
|
2014-11-25 13:43:23 +00:00
|
|
|
{
|
|
|
|
TypePointers params;
|
2015-01-23 15:37:06 +00:00
|
|
|
vector<string> paramNames;
|
2014-11-25 13:43:23 +00:00
|
|
|
TypePointers retParams;
|
2015-01-23 15:37:06 +00:00
|
|
|
vector<string> retParamNames;
|
2015-01-29 15:39:30 +00:00
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
params.reserve(_function.parameters().size());
|
|
|
|
paramNames.reserve(_function.parameters().size());
|
|
|
|
for (ASTPointer<VariableDeclaration> const& var: _function.parameters())
|
2015-01-23 15:37:06 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
paramNames.push_back(var->name());
|
2015-09-16 14:56:30 +00:00
|
|
|
params.push_back(var->annotation().type);
|
2015-01-23 15:37:06 +00:00
|
|
|
}
|
2015-08-31 16:44:29 +00:00
|
|
|
retParams.reserve(_function.returnParameters().size());
|
|
|
|
retParamNames.reserve(_function.returnParameters().size());
|
|
|
|
for (ASTPointer<VariableDeclaration> const& var: _function.returnParameters())
|
2015-01-23 15:37:06 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
retParamNames.push_back(var->name());
|
2015-09-16 14:56:30 +00:00
|
|
|
retParams.push_back(var->annotation().type);
|
2015-01-23 15:37:06 +00:00
|
|
|
}
|
2014-11-25 13:43:23 +00:00
|
|
|
swap(params, m_parameterTypes);
|
2015-01-23 15:37:06 +00:00
|
|
|
swap(paramNames, m_parameterNames);
|
2014-11-25 13:43:23 +00:00
|
|
|
swap(retParams, m_returnParameterTypes);
|
2015-01-23 15:37:06 +00:00
|
|
|
swap(retParamNames, m_returnParameterNames);
|
2014-11-25 13:43:23 +00:00
|
|
|
}
|
|
|
|
|
2015-01-22 16:40:22 +00:00
|
|
|
FunctionType::FunctionType(VariableDeclaration const& _varDecl):
|
2015-02-09 13:08:48 +00:00
|
|
|
m_location(Location::External), m_isConstant(true), m_declaration(&_varDecl)
|
2015-01-22 16:40:22 +00:00
|
|
|
{
|
2015-04-02 15:03:02 +00:00
|
|
|
TypePointers paramTypes;
|
2015-01-30 15:06:56 +00:00
|
|
|
vector<string> paramNames;
|
2015-09-16 14:56:30 +00:00
|
|
|
auto returnType = _varDecl.annotation().type;
|
2015-01-28 12:16:09 +00:00
|
|
|
|
2015-04-01 12:22:42 +00:00
|
|
|
while (true)
|
2015-01-30 15:06:56 +00:00
|
|
|
{
|
2015-04-02 15:03:02 +00:00
|
|
|
if (auto mappingType = dynamic_cast<MappingType const*>(returnType.get()))
|
2015-04-01 12:22:42 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
paramTypes.push_back(mappingType->keyType());
|
2015-04-01 12:22:42 +00:00
|
|
|
paramNames.push_back("");
|
2015-08-31 16:44:29 +00:00
|
|
|
returnType = mappingType->valueType();
|
2015-04-01 12:22:42 +00:00
|
|
|
}
|
2015-04-02 15:03:02 +00:00
|
|
|
else if (auto arrayType = dynamic_cast<ArrayType const*>(returnType.get()))
|
2015-04-01 12:22:42 +00:00
|
|
|
{
|
2015-06-17 10:01:39 +00:00
|
|
|
if (arrayType->isByteArray())
|
|
|
|
// Return byte arrays as as whole.
|
|
|
|
break;
|
2015-08-31 16:44:29 +00:00
|
|
|
returnType = arrayType->baseType();
|
2015-04-02 15:03:02 +00:00
|
|
|
paramNames.push_back("");
|
|
|
|
paramTypes.push_back(make_shared<IntegerType>(256));
|
2015-04-01 12:22:42 +00:00
|
|
|
}
|
|
|
|
else
|
|
|
|
break;
|
2015-01-30 15:06:56 +00:00
|
|
|
}
|
2015-02-02 16:52:50 +00:00
|
|
|
|
2015-02-06 18:57:08 +00:00
|
|
|
TypePointers retParams;
|
|
|
|
vector<string> retParamNames;
|
|
|
|
if (auto structType = dynamic_cast<StructType const*>(returnType.get()))
|
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
for (auto const& member: structType->members())
|
|
|
|
if (member.type->category() != Category::Mapping)
|
2015-02-06 18:57:08 +00:00
|
|
|
{
|
2015-06-17 10:01:39 +00:00
|
|
|
if (auto arrayType = dynamic_cast<ArrayType const*>(member.type.get()))
|
|
|
|
if (!arrayType->isByteArray())
|
|
|
|
continue;
|
2015-04-15 15:40:50 +00:00
|
|
|
retParams.push_back(member.type);
|
2015-06-17 10:01:39 +00:00
|
|
|
retParamNames.push_back(member.name);
|
2015-02-06 18:57:08 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2015-06-17 10:01:39 +00:00
|
|
|
retParams.push_back(ReferenceType::copyForLocationIfReference(
|
|
|
|
DataLocation::Memory,
|
|
|
|
returnType
|
|
|
|
));
|
2015-02-06 18:57:08 +00:00
|
|
|
retParamNames.push_back("");
|
|
|
|
}
|
2015-02-02 16:52:50 +00:00
|
|
|
|
2015-04-02 15:03:02 +00:00
|
|
|
swap(paramTypes, m_parameterTypes);
|
2015-01-23 15:37:06 +00:00
|
|
|
swap(paramNames, m_parameterNames);
|
2015-01-22 16:40:22 +00:00
|
|
|
swap(retParams, m_returnParameterTypes);
|
2015-01-23 15:37:06 +00:00
|
|
|
swap(retParamNames, m_returnParameterNames);
|
2015-01-22 16:40:22 +00:00
|
|
|
}
|
|
|
|
|
2015-01-29 13:35:28 +00:00
|
|
|
FunctionType::FunctionType(const EventDefinition& _event):
|
2015-02-17 08:24:58 +00:00
|
|
|
m_location(Location::Event), m_isConstant(true), m_declaration(&_event)
|
2015-01-29 13:35:28 +00:00
|
|
|
{
|
|
|
|
TypePointers params;
|
|
|
|
vector<string> paramNames;
|
2015-08-31 16:44:29 +00:00
|
|
|
params.reserve(_event.parameters().size());
|
|
|
|
paramNames.reserve(_event.parameters().size());
|
|
|
|
for (ASTPointer<VariableDeclaration> const& var: _event.parameters())
|
2015-01-29 13:35:28 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
paramNames.push_back(var->name());
|
2015-09-16 14:56:30 +00:00
|
|
|
params.push_back(var->annotation().type);
|
2015-01-29 13:35:28 +00:00
|
|
|
}
|
|
|
|
swap(params, m_parameterTypes);
|
|
|
|
swap(paramNames, m_parameterNames);
|
|
|
|
}
|
|
|
|
|
2014-10-29 18:28:30 +00:00
|
|
|
bool FunctionType::operator==(Type const& _other) const
|
2014-10-20 10:41:56 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_other.category() != category())
|
2014-10-20 10:41:56 +00:00
|
|
|
return false;
|
|
|
|
FunctionType const& other = dynamic_cast<FunctionType const&>(_other);
|
2014-11-25 13:43:23 +00:00
|
|
|
|
2014-12-04 18:38:24 +00:00
|
|
|
if (m_location != other.m_location)
|
|
|
|
return false;
|
2015-01-29 16:28:14 +00:00
|
|
|
if (m_isConstant != other.isConstant())
|
|
|
|
return false;
|
|
|
|
|
2014-11-25 13:43:23 +00:00
|
|
|
if (m_parameterTypes.size() != other.m_parameterTypes.size() ||
|
|
|
|
m_returnParameterTypes.size() != other.m_returnParameterTypes.size())
|
|
|
|
return false;
|
|
|
|
auto typeCompare = [](TypePointer const& _a, TypePointer const& _b) -> bool { return *_a == *_b; };
|
|
|
|
|
|
|
|
if (!equal(m_parameterTypes.cbegin(), m_parameterTypes.cend(),
|
|
|
|
other.m_parameterTypes.cbegin(), typeCompare))
|
|
|
|
return false;
|
|
|
|
if (!equal(m_returnParameterTypes.cbegin(), m_returnParameterTypes.cend(),
|
|
|
|
other.m_returnParameterTypes.cbegin(), typeCompare))
|
|
|
|
return false;
|
2015-01-12 11:47:37 +00:00
|
|
|
//@todo this is ugly, but cannot be prevented right now
|
|
|
|
if (m_gasSet != other.m_gasSet || m_valueSet != other.m_valueSet)
|
|
|
|
return false;
|
2014-11-25 13:43:23 +00:00
|
|
|
return true;
|
2014-10-20 10:41:56 +00:00
|
|
|
}
|
|
|
|
|
2015-06-09 12:26:08 +00:00
|
|
|
string FunctionType::toString(bool _short) const
|
2014-11-13 00:12:57 +00:00
|
|
|
{
|
2014-11-25 13:43:23 +00:00
|
|
|
string name = "function (";
|
|
|
|
for (auto it = m_parameterTypes.begin(); it != m_parameterTypes.end(); ++it)
|
2015-06-09 12:26:08 +00:00
|
|
|
name += (*it)->toString(_short) + (it + 1 == m_parameterTypes.end() ? "" : ",");
|
2014-11-25 13:43:23 +00:00
|
|
|
name += ") returns (";
|
|
|
|
for (auto it = m_returnParameterTypes.begin(); it != m_returnParameterTypes.end(); ++it)
|
2015-06-09 12:26:08 +00:00
|
|
|
name += (*it)->toString(_short) + (it + 1 == m_returnParameterTypes.end() ? "" : ",");
|
2014-11-25 13:43:23 +00:00
|
|
|
return name + ")";
|
2014-11-13 00:12:57 +00:00
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
u256 FunctionType::storageSize() const
|
2015-03-13 09:52:34 +00:00
|
|
|
{
|
|
|
|
BOOST_THROW_EXCEPTION(
|
|
|
|
InternalCompilerError()
|
|
|
|
<< errinfo_comment("Storage size of non-storable function type requested."));
|
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
unsigned FunctionType::sizeOnStack() const
|
2015-01-12 11:47:37 +00:00
|
|
|
{
|
2015-02-22 17:38:32 +00:00
|
|
|
Location location = m_location;
|
|
|
|
if (m_location == Location::SetGas || m_location == Location::SetValue)
|
|
|
|
{
|
|
|
|
solAssert(m_returnParameterTypes.size() == 1, "");
|
|
|
|
location = dynamic_cast<FunctionType const&>(*m_returnParameterTypes.front()).m_location;
|
|
|
|
}
|
|
|
|
|
2015-01-12 11:47:37 +00:00
|
|
|
unsigned size = 0;
|
2015-05-15 16:02:09 +00:00
|
|
|
if (location == Location::External || location == Location::CallCode)
|
2015-01-12 11:47:37 +00:00
|
|
|
size = 2;
|
2015-05-15 16:02:09 +00:00
|
|
|
else if (location == Location::Bare || location == Location::BareCallCode)
|
|
|
|
size = 1;
|
|
|
|
else if (location == Location::Internal)
|
2015-01-12 11:47:37 +00:00
|
|
|
size = 1;
|
|
|
|
if (m_gasSet)
|
|
|
|
size++;
|
|
|
|
if (m_valueSet)
|
|
|
|
size++;
|
|
|
|
return size;
|
|
|
|
}
|
|
|
|
|
2015-04-21 11:35:38 +00:00
|
|
|
FunctionTypePointer FunctionType::externalFunctionType() const
|
2015-03-27 12:28:32 +00:00
|
|
|
{
|
|
|
|
TypePointers paramTypes;
|
|
|
|
TypePointers retParamTypes;
|
|
|
|
|
2015-04-01 13:19:33 +00:00
|
|
|
for (auto type: m_parameterTypes)
|
2015-03-27 16:07:32 +00:00
|
|
|
{
|
2015-06-26 14:52:30 +00:00
|
|
|
if (auto ext = type->externalType())
|
|
|
|
paramTypes.push_back(ext);
|
|
|
|
else
|
2015-04-21 11:35:38 +00:00
|
|
|
return FunctionTypePointer();
|
2015-03-27 16:07:32 +00:00
|
|
|
}
|
2015-04-01 13:19:33 +00:00
|
|
|
for (auto type: m_returnParameterTypes)
|
2015-03-27 16:07:32 +00:00
|
|
|
{
|
2015-06-26 14:52:30 +00:00
|
|
|
if (auto ext = type->externalType())
|
|
|
|
retParamTypes.push_back(ext);
|
|
|
|
else
|
2015-04-21 11:35:38 +00:00
|
|
|
return FunctionTypePointer();
|
2015-03-27 16:07:32 +00:00
|
|
|
}
|
2015-04-27 11:07:25 +00:00
|
|
|
return make_shared<FunctionType>(paramTypes, retParamTypes, m_parameterNames, m_returnParameterNames, m_location, m_arbitraryParameters);
|
2015-03-27 12:28:32 +00:00
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
MemberList const& FunctionType::members() const
|
2014-11-25 17:23:39 +00:00
|
|
|
{
|
|
|
|
switch (m_location)
|
|
|
|
{
|
2015-02-09 13:08:48 +00:00
|
|
|
case Location::External:
|
|
|
|
case Location::Creation:
|
|
|
|
case Location::ECRecover:
|
2015-01-12 11:47:37 +00:00
|
|
|
case Location::SHA256:
|
|
|
|
case Location::RIPEMD160:
|
2015-02-09 13:08:48 +00:00
|
|
|
case Location::Bare:
|
2015-05-15 16:02:09 +00:00
|
|
|
case Location::BareCallCode:
|
2015-01-12 11:47:37 +00:00
|
|
|
if (!m_members)
|
|
|
|
{
|
2015-04-15 15:40:50 +00:00
|
|
|
MemberList::MemberMap members{
|
2015-04-22 16:53:58 +00:00
|
|
|
{
|
|
|
|
"value",
|
|
|
|
make_shared<FunctionType>(
|
|
|
|
parseElementaryTypeVector({"uint"}),
|
|
|
|
TypePointers{copyAndSetGasOrValue(false, true)},
|
|
|
|
strings(),
|
2015-04-27 11:07:25 +00:00
|
|
|
strings(),
|
2015-04-22 16:53:58 +00:00
|
|
|
Location::SetValue,
|
|
|
|
false,
|
2015-06-22 16:05:13 +00:00
|
|
|
nullptr,
|
2015-04-22 16:53:58 +00:00
|
|
|
m_gasSet,
|
|
|
|
m_valueSet
|
|
|
|
)
|
|
|
|
}
|
|
|
|
};
|
2015-02-17 15:19:11 +00:00
|
|
|
if (m_location != Location::Creation)
|
2015-04-22 16:53:58 +00:00
|
|
|
members.push_back(
|
|
|
|
MemberList::Member(
|
|
|
|
"gas",
|
|
|
|
make_shared<FunctionType>(
|
|
|
|
parseElementaryTypeVector({"uint"}),
|
|
|
|
TypePointers{copyAndSetGasOrValue(true, false)},
|
|
|
|
strings(),
|
2015-04-27 11:07:25 +00:00
|
|
|
strings(),
|
2015-04-22 16:53:58 +00:00
|
|
|
Location::SetGas,
|
|
|
|
false,
|
2015-06-22 16:05:13 +00:00
|
|
|
nullptr,
|
2015-04-22 16:53:58 +00:00
|
|
|
m_gasSet,
|
|
|
|
m_valueSet
|
|
|
|
)
|
|
|
|
)
|
|
|
|
);
|
2015-01-12 11:47:37 +00:00
|
|
|
m_members.reset(new MemberList(members));
|
|
|
|
}
|
|
|
|
return *m_members;
|
2014-11-25 17:23:39 +00:00
|
|
|
default:
|
2015-01-12 11:47:37 +00:00
|
|
|
return EmptyMemberList;
|
2014-11-25 17:23:39 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-04-15 15:40:50 +00:00
|
|
|
bool FunctionType::canTakeArguments(TypePointers const& _argumentTypes) const
|
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
TypePointers const& paramTypes = parameterTypes();
|
2015-04-15 15:40:50 +00:00
|
|
|
if (takesArbitraryParameters())
|
|
|
|
return true;
|
2015-08-31 16:44:29 +00:00
|
|
|
else if (_argumentTypes.size() != paramTypes.size())
|
2015-04-15 15:40:50 +00:00
|
|
|
return false;
|
|
|
|
else
|
|
|
|
return std::equal(
|
|
|
|
_argumentTypes.cbegin(),
|
|
|
|
_argumentTypes.cend(),
|
2015-08-31 16:44:29 +00:00
|
|
|
paramTypes.cbegin(),
|
2015-04-15 15:40:50 +00:00
|
|
|
[](TypePointer const& argumentType, TypePointer const& parameterType)
|
|
|
|
{
|
|
|
|
return argumentType->isImplicitlyConvertibleTo(*parameterType);
|
|
|
|
}
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
bool FunctionType::hasEqualArgumentTypes(FunctionType const& _other) const
|
|
|
|
{
|
|
|
|
if (m_parameterTypes.size() != _other.m_parameterTypes.size())
|
|
|
|
return false;
|
|
|
|
return equal(
|
|
|
|
m_parameterTypes.cbegin(),
|
|
|
|
m_parameterTypes.cend(),
|
|
|
|
_other.m_parameterTypes.cbegin(),
|
|
|
|
[](TypePointer const& _a, TypePointer const& _b) -> bool { return *_a == *_b; }
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2015-05-15 16:02:09 +00:00
|
|
|
bool FunctionType::isBareCall() const
|
|
|
|
{
|
|
|
|
switch (m_location)
|
|
|
|
{
|
|
|
|
case Location::Bare:
|
|
|
|
case Location::BareCallCode:
|
|
|
|
case Location::ECRecover:
|
|
|
|
case Location::SHA256:
|
|
|
|
case Location::RIPEMD160:
|
|
|
|
return true;
|
|
|
|
default:
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-03-27 12:28:32 +00:00
|
|
|
string FunctionType::externalSignature(std::string const& _name) const
|
2015-01-07 01:27:05 +00:00
|
|
|
{
|
2015-01-29 15:39:30 +00:00
|
|
|
std::string funcName = _name;
|
|
|
|
if (_name == "")
|
|
|
|
{
|
|
|
|
solAssert(m_declaration != nullptr, "Function type without name needs a declaration");
|
2015-08-31 16:44:29 +00:00
|
|
|
funcName = m_declaration->name();
|
2015-01-29 15:39:30 +00:00
|
|
|
}
|
|
|
|
string ret = funcName + "(";
|
2015-01-07 01:27:05 +00:00
|
|
|
|
2015-04-21 08:59:48 +00:00
|
|
|
FunctionTypePointer external = externalFunctionType();
|
|
|
|
solAssert(!!external, "External function type requested.");
|
2015-08-31 16:44:29 +00:00
|
|
|
TypePointers externalParameterTypes = external->parameterTypes();
|
2015-03-27 12:28:32 +00:00
|
|
|
for (auto it = externalParameterTypes.cbegin(); it != externalParameterTypes.cend(); ++it)
|
2015-03-23 17:08:45 +00:00
|
|
|
{
|
2015-03-27 12:28:32 +00:00
|
|
|
solAssert(!!(*it), "Parameter should have external type");
|
2015-06-09 12:26:08 +00:00
|
|
|
ret += (*it)->toString(true) + (it + 1 == externalParameterTypes.cend() ? "" : ",");
|
2015-03-23 17:08:45 +00:00
|
|
|
}
|
2015-03-27 12:28:32 +00:00
|
|
|
|
2015-01-07 01:27:05 +00:00
|
|
|
return ret + ")";
|
|
|
|
}
|
|
|
|
|
2015-04-15 15:40:50 +00:00
|
|
|
u256 FunctionType::externalIdentifier() const
|
|
|
|
{
|
|
|
|
return FixedHash<4>::Arith(FixedHash<4>(dev::sha3(externalSignature())));
|
|
|
|
}
|
|
|
|
|
2015-01-12 12:29:16 +00:00
|
|
|
TypePointers FunctionType::parseElementaryTypeVector(strings const& _types)
|
2015-01-12 11:46:52 +00:00
|
|
|
{
|
|
|
|
TypePointers pointers;
|
|
|
|
pointers.reserve(_types.size());
|
|
|
|
for (string const& type: _types)
|
2015-02-10 16:53:43 +00:00
|
|
|
pointers.push_back(Type::fromElementaryTypeName(type));
|
2015-01-12 11:46:52 +00:00
|
|
|
return pointers;
|
|
|
|
}
|
|
|
|
|
2015-01-12 11:47:37 +00:00
|
|
|
TypePointer FunctionType::copyAndSetGasOrValue(bool _setGas, bool _setValue) const
|
|
|
|
{
|
2015-04-22 16:53:58 +00:00
|
|
|
return make_shared<FunctionType>(
|
|
|
|
m_parameterTypes,
|
|
|
|
m_returnParameterTypes,
|
2015-04-27 11:07:25 +00:00
|
|
|
m_parameterNames,
|
|
|
|
m_returnParameterNames,
|
2015-04-22 16:53:58 +00:00
|
|
|
m_location,
|
|
|
|
m_arbitraryParameters,
|
2015-06-22 16:05:13 +00:00
|
|
|
m_declaration,
|
2015-04-22 16:53:58 +00:00
|
|
|
m_gasSet || _setGas,
|
|
|
|
m_valueSet || _setValue
|
|
|
|
);
|
2015-01-12 11:47:37 +00:00
|
|
|
}
|
|
|
|
|
2015-09-10 17:40:07 +00:00
|
|
|
FunctionTypePointer FunctionType::asMemberFunction(bool _inLibrary) const
|
2015-06-22 16:05:13 +00:00
|
|
|
{
|
2015-06-22 18:50:29 +00:00
|
|
|
TypePointers parameterTypes;
|
|
|
|
for (auto const& t: m_parameterTypes)
|
|
|
|
{
|
|
|
|
auto refType = dynamic_cast<ReferenceType const*>(t.get());
|
|
|
|
if (refType && refType->location() == DataLocation::CallData)
|
|
|
|
parameterTypes.push_back(refType->copyForLocation(DataLocation::Memory, false));
|
|
|
|
else
|
|
|
|
parameterTypes.push_back(t);
|
|
|
|
}
|
|
|
|
|
2015-06-22 16:05:13 +00:00
|
|
|
//@todo make this more intelligent once we support destructuring assignments
|
|
|
|
TypePointers returnParameterTypes;
|
|
|
|
vector<string> returnParameterNames;
|
2015-08-31 16:44:29 +00:00
|
|
|
if (!m_returnParameterTypes.empty() && m_returnParameterTypes.front()->calldataEncodedSize() > 0)
|
2015-06-22 16:05:13 +00:00
|
|
|
{
|
|
|
|
returnParameterTypes.push_back(m_returnParameterTypes.front());
|
|
|
|
returnParameterNames.push_back(m_returnParameterNames.front());
|
|
|
|
}
|
|
|
|
return make_shared<FunctionType>(
|
2015-06-22 18:50:29 +00:00
|
|
|
parameterTypes,
|
2015-06-22 16:05:13 +00:00
|
|
|
returnParameterTypes,
|
|
|
|
m_parameterNames,
|
|
|
|
returnParameterNames,
|
2015-09-10 17:40:07 +00:00
|
|
|
_inLibrary ? Location::CallCode : m_location,
|
2015-06-22 16:05:13 +00:00
|
|
|
m_arbitraryParameters,
|
|
|
|
m_declaration,
|
|
|
|
m_gasSet,
|
|
|
|
m_valueSet
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
vector<string> const FunctionType::parameterTypeNames() const
|
2015-01-29 15:39:30 +00:00
|
|
|
{
|
|
|
|
vector<string> names;
|
|
|
|
for (TypePointer const& t: m_parameterTypes)
|
2015-06-09 12:26:08 +00:00
|
|
|
names.push_back(t->toString(true));
|
2015-01-29 15:39:30 +00:00
|
|
|
|
|
|
|
return names;
|
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
vector<string> const FunctionType::returnParameterTypeNames() const
|
2015-01-29 15:39:30 +00:00
|
|
|
{
|
|
|
|
vector<string> names;
|
|
|
|
for (TypePointer const& t: m_returnParameterTypes)
|
2015-06-09 12:26:08 +00:00
|
|
|
names.push_back(t->toString(true));
|
2015-01-29 15:39:30 +00:00
|
|
|
|
|
|
|
return names;
|
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
ASTPointer<ASTString> FunctionType::documentation() const
|
2015-01-29 15:39:30 +00:00
|
|
|
{
|
2015-01-29 16:28:14 +00:00
|
|
|
auto function = dynamic_cast<Documented const*>(m_declaration);
|
2015-01-29 15:39:30 +00:00
|
|
|
if (function)
|
2015-08-31 16:44:29 +00:00
|
|
|
return function->documentation();
|
2015-01-29 15:39:30 +00:00
|
|
|
|
|
|
|
return ASTPointer<ASTString>();
|
|
|
|
}
|
|
|
|
|
2014-10-29 18:28:30 +00:00
|
|
|
bool MappingType::operator==(Type const& _other) const
|
2014-10-20 10:41:56 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_other.category() != category())
|
2014-10-20 10:41:56 +00:00
|
|
|
return false;
|
|
|
|
MappingType const& other = dynamic_cast<MappingType const&>(_other);
|
|
|
|
return *other.m_keyType == *m_keyType && *other.m_valueType == *m_valueType;
|
|
|
|
}
|
|
|
|
|
2015-06-09 12:26:08 +00:00
|
|
|
string MappingType::toString(bool _short) const
|
2014-11-13 00:12:57 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
return "mapping(" + keyType()->toString(_short) + " => " + valueType()->toString(_short) + ")";
|
2014-11-13 00:12:57 +00:00
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
u256 VoidType::storageSize() const
|
2015-03-13 09:52:34 +00:00
|
|
|
{
|
|
|
|
BOOST_THROW_EXCEPTION(
|
|
|
|
InternalCompilerError()
|
|
|
|
<< errinfo_comment("Storage size of non-storable void type requested."));
|
|
|
|
}
|
|
|
|
|
2014-10-29 18:28:30 +00:00
|
|
|
bool TypeType::operator==(Type const& _other) const
|
2014-10-20 10:41:56 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_other.category() != category())
|
2014-10-20 10:41:56 +00:00
|
|
|
return false;
|
|
|
|
TypeType const& other = dynamic_cast<TypeType const&>(_other);
|
2015-08-31 16:44:29 +00:00
|
|
|
return *actualType() == *other.actualType();
|
2014-10-20 10:41:56 +00:00
|
|
|
}
|
2014-10-13 16:22:15 +00:00
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
u256 TypeType::storageSize() const
|
2015-03-13 09:52:34 +00:00
|
|
|
{
|
|
|
|
BOOST_THROW_EXCEPTION(
|
|
|
|
InternalCompilerError()
|
|
|
|
<< errinfo_comment("Storage size of non-storable type type requested."));
|
|
|
|
}
|
|
|
|
|
2015-09-10 17:40:07 +00:00
|
|
|
unsigned TypeType::sizeOnStack() const
|
|
|
|
{
|
|
|
|
if (auto contractType = dynamic_cast<ContractType const*>(m_actualType.get()))
|
|
|
|
if (contractType->contractDefinition().isLibrary())
|
|
|
|
return 1;
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
MemberList const& TypeType::members() const
|
2015-01-19 18:18:34 +00:00
|
|
|
{
|
|
|
|
// We need to lazy-initialize it because of recursive references.
|
|
|
|
if (!m_members)
|
|
|
|
{
|
2015-04-15 15:40:50 +00:00
|
|
|
MemberList::MemberMap members;
|
2015-09-10 17:40:07 +00:00
|
|
|
if (m_actualType->category() == Category::Contract)
|
2015-01-19 18:18:34 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
ContractDefinition const& contract = dynamic_cast<ContractType const&>(*m_actualType).contractDefinition();
|
2015-09-10 17:40:07 +00:00
|
|
|
if (contract.isLibrary())
|
|
|
|
for (auto const& it: contract.interfaceFunctions())
|
|
|
|
members.push_back(MemberList::Member(
|
|
|
|
it.second->declaration().name(),
|
|
|
|
it.second->asMemberFunction(true), // use callcode
|
|
|
|
&it.second->declaration()
|
|
|
|
));
|
|
|
|
else if (m_currentContract != nullptr)
|
|
|
|
{
|
2015-09-16 14:56:30 +00:00
|
|
|
auto const& currentBases = m_currentContract->annotation().linearizedBaseContracts;
|
2015-09-10 17:40:07 +00:00
|
|
|
if (find(currentBases.begin(), currentBases.end(), &contract) != currentBases.end())
|
|
|
|
// We are accessing the type of a base contract, so add all public and protected
|
|
|
|
// members. Note that this does not add inherited functions on purpose.
|
|
|
|
for (Declaration const* decl: contract.inheritableMembers())
|
|
|
|
members.push_back(MemberList::Member(decl->name(), decl->type(), decl));
|
|
|
|
}
|
2015-01-19 18:18:34 +00:00
|
|
|
}
|
2015-08-31 16:44:29 +00:00
|
|
|
else if (m_actualType->category() == Category::Enum)
|
2015-02-12 14:19:04 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
EnumDefinition const& enumDef = dynamic_cast<EnumType const&>(*m_actualType).enumDefinition();
|
2015-02-13 22:26:03 +00:00
|
|
|
auto enumType = make_shared<EnumType>(enumDef);
|
2015-08-31 16:44:29 +00:00
|
|
|
for (ASTPointer<EnumValue> const& enumValue: enumDef.members())
|
|
|
|
members.push_back(MemberList::Member(enumValue->name(), enumType));
|
2015-02-12 14:19:04 +00:00
|
|
|
}
|
2015-01-19 18:18:34 +00:00
|
|
|
m_members.reset(new MemberList(members));
|
|
|
|
}
|
|
|
|
return *m_members;
|
|
|
|
}
|
|
|
|
|
2015-01-22 00:02:38 +00:00
|
|
|
ModifierType::ModifierType(const ModifierDefinition& _modifier)
|
|
|
|
{
|
|
|
|
TypePointers params;
|
2015-08-31 16:44:29 +00:00
|
|
|
params.reserve(_modifier.parameters().size());
|
|
|
|
for (ASTPointer<VariableDeclaration> const& var: _modifier.parameters())
|
2015-09-16 14:56:30 +00:00
|
|
|
params.push_back(var->annotation().type);
|
2015-01-22 00:02:38 +00:00
|
|
|
swap(params, m_parameterTypes);
|
|
|
|
}
|
|
|
|
|
2015-08-31 16:44:29 +00:00
|
|
|
u256 ModifierType::storageSize() const
|
2015-03-13 09:52:34 +00:00
|
|
|
{
|
|
|
|
BOOST_THROW_EXCEPTION(
|
|
|
|
InternalCompilerError()
|
|
|
|
<< errinfo_comment("Storage size of non-storable type type requested."));
|
|
|
|
}
|
|
|
|
|
2015-01-22 00:02:38 +00:00
|
|
|
bool ModifierType::operator==(Type const& _other) const
|
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_other.category() != category())
|
2015-01-22 00:02:38 +00:00
|
|
|
return false;
|
|
|
|
ModifierType const& other = dynamic_cast<ModifierType const&>(_other);
|
|
|
|
|
|
|
|
if (m_parameterTypes.size() != other.m_parameterTypes.size())
|
|
|
|
return false;
|
|
|
|
auto typeCompare = [](TypePointer const& _a, TypePointer const& _b) -> bool { return *_a == *_b; };
|
|
|
|
|
|
|
|
if (!equal(m_parameterTypes.cbegin(), m_parameterTypes.cend(),
|
|
|
|
other.m_parameterTypes.cbegin(), typeCompare))
|
|
|
|
return false;
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2015-06-09 12:26:08 +00:00
|
|
|
string ModifierType::toString(bool _short) const
|
2015-01-22 00:02:38 +00:00
|
|
|
{
|
|
|
|
string name = "modifier (";
|
|
|
|
for (auto it = m_parameterTypes.begin(); it != m_parameterTypes.end(); ++it)
|
2015-06-09 12:26:08 +00:00
|
|
|
name += (*it)->toString(_short) + (it + 1 == m_parameterTypes.end() ? "" : ",");
|
2015-01-22 00:02:38 +00:00
|
|
|
return name + ")";
|
|
|
|
}
|
2015-01-19 18:18:34 +00:00
|
|
|
|
2014-11-24 12:23:58 +00:00
|
|
|
MagicType::MagicType(MagicType::Kind _kind):
|
|
|
|
m_kind(_kind)
|
|
|
|
{
|
|
|
|
switch (m_kind)
|
|
|
|
{
|
2015-02-09 13:08:48 +00:00
|
|
|
case Kind::Block:
|
2015-06-08 10:09:24 +00:00
|
|
|
m_members = MemberList({
|
2015-03-16 17:06:34 +00:00
|
|
|
{"coinbase", make_shared<IntegerType>(0, IntegerType::Modifier::Address)},
|
|
|
|
{"timestamp", make_shared<IntegerType>(256)},
|
|
|
|
{"blockhash", make_shared<FunctionType>(strings{"uint"}, strings{"bytes32"}, FunctionType::Location::BlockHash)},
|
|
|
|
{"difficulty", make_shared<IntegerType>(256)},
|
|
|
|
{"number", make_shared<IntegerType>(256)},
|
|
|
|
{"gaslimit", make_shared<IntegerType>(256)}
|
2015-06-08 10:09:24 +00:00
|
|
|
});
|
2014-11-24 12:23:58 +00:00
|
|
|
break;
|
2015-02-09 13:08:48 +00:00
|
|
|
case Kind::Message:
|
2015-06-08 10:09:24 +00:00
|
|
|
m_members = MemberList({
|
2015-03-16 17:06:34 +00:00
|
|
|
{"sender", make_shared<IntegerType>(0, IntegerType::Modifier::Address)},
|
|
|
|
{"gas", make_shared<IntegerType>(256)},
|
|
|
|
{"value", make_shared<IntegerType>(256)},
|
2015-06-17 10:01:39 +00:00
|
|
|
{"data", make_shared<ArrayType>(DataLocation::CallData)},
|
2015-03-16 17:06:34 +00:00
|
|
|
{"sig", make_shared<FixedBytesType>(4)}
|
2015-06-08 10:09:24 +00:00
|
|
|
});
|
2014-11-24 12:23:58 +00:00
|
|
|
break;
|
2015-02-09 13:08:48 +00:00
|
|
|
case Kind::Transaction:
|
2015-06-08 10:09:24 +00:00
|
|
|
m_members = MemberList({
|
2015-03-16 17:06:34 +00:00
|
|
|
{"origin", make_shared<IntegerType>(0, IntegerType::Modifier::Address)},
|
|
|
|
{"gasprice", make_shared<IntegerType>(256)}
|
2015-06-08 10:09:24 +00:00
|
|
|
});
|
2014-11-24 12:23:58 +00:00
|
|
|
break;
|
|
|
|
default:
|
|
|
|
BOOST_THROW_EXCEPTION(InternalCompilerError() << errinfo_comment("Unknown kind of magic."));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MagicType::operator==(Type const& _other) const
|
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
if (_other.category() != category())
|
2014-11-24 12:23:58 +00:00
|
|
|
return false;
|
|
|
|
MagicType const& other = dynamic_cast<MagicType const&>(_other);
|
|
|
|
return other.m_kind == m_kind;
|
|
|
|
}
|
|
|
|
|
2015-06-09 12:26:08 +00:00
|
|
|
string MagicType::toString(bool) const
|
2014-11-24 12:23:58 +00:00
|
|
|
{
|
|
|
|
switch (m_kind)
|
|
|
|
{
|
2015-02-09 13:08:48 +00:00
|
|
|
case Kind::Block:
|
2014-11-24 12:23:58 +00:00
|
|
|
return "block";
|
2015-02-09 13:08:48 +00:00
|
|
|
case Kind::Message:
|
2014-11-24 12:23:58 +00:00
|
|
|
return "msg";
|
2015-02-09 13:08:48 +00:00
|
|
|
case Kind::Transaction:
|
2014-11-24 12:23:58 +00:00
|
|
|
return "tx";
|
|
|
|
default:
|
|
|
|
BOOST_THROW_EXCEPTION(InternalCompilerError() << errinfo_comment("Unknown kind of magic."));
|
|
|
|
}
|
|
|
|
}
|