aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLiana Husikyan <liana@ethdev.com>2015-05-08 22:07:25 +0800
committerLiana Husikyan <liana@ethdev.com>2015-05-08 23:51:53 +0800
commit5c1c690e286e4086eb60ef392b816c536e7b1839 (patch)
tree719712fe3e716c5d2ca56d6b9f3be1e4c5402b09
parente7568b5f4d7b07f5b36890852abce7d1b51f9124 (diff)
downloaddexon-solidity-5c1c690e286e4086eb60ef392b816c536e7b1839.tar
dexon-solidity-5c1c690e286e4086eb60ef392b816c536e7b1839.tar.gz
dexon-solidity-5c1c690e286e4086eb60ef392b816c536e7b1839.tar.bz2
dexon-solidity-5c1c690e286e4086eb60ef392b816c536e7b1839.tar.lz
dexon-solidity-5c1c690e286e4086eb60ef392b816c536e7b1839.tar.xz
dexon-solidity-5c1c690e286e4086eb60ef392b816c536e7b1839.tar.zst
dexon-solidity-5c1c690e286e4086eb60ef392b816c536e7b1839.zip
style changes
-rw-r--r--AST.cpp3
-rw-r--r--AST.h2
-rw-r--r--DeclarationContainer.cpp2
-rw-r--r--NameAndTypeResolver.cpp15
-rw-r--r--NameAndTypeResolver.h8
-rw-r--r--Types.h2
6 files changed, 16 insertions, 16 deletions
diff --git a/AST.cpp b/AST.cpp
index 2ef3b03e..2f98ce4f 100644
--- a/AST.cpp
+++ b/AST.cpp
@@ -954,9 +954,6 @@ Declaration const& Identifier::getReferencedDeclaration() const
void Identifier::overloadResolution(TypePointers const& _argumentTypes)
{
solAssert(!m_referencedDeclaration, "Referenced declaration should be null before overload resolution.");
- //to delete
- if (m_overloadedDeclarations.empty())
- //--------------------------->
solAssert(!m_overloadedDeclarations.empty(), "No candidates for overload resolution found.");
vector<Declaration const*> possibles;
diff --git a/AST.h b/AST.h
index be118be3..be5c9a6c 100644
--- a/AST.h
+++ b/AST.h
@@ -1217,7 +1217,7 @@ public:
}
Declaration const& getReferencedDeclaration() const;
- /// Stores a possible declarations referenced by this identifier. Has to be resolved
+ /// Stores a set of possible declarations referenced by this identifier. Has to be resolved
/// providing argument types using overloadResolution before the referenced declaration
/// is accessed.
void setOverloadedDeclarations(std::vector<Declaration const*> const& _declarations)
diff --git a/DeclarationContainer.cpp b/DeclarationContainer.cpp
index ec8a59bb..3e23d93b 100644
--- a/DeclarationContainer.cpp
+++ b/DeclarationContainer.cpp
@@ -73,7 +73,7 @@ bool DeclarationContainer::registerDeclaration(Declaration const& _declaration,
return true;
}
-std::vector<const Declaration *> DeclarationContainer::resolveName(ASTString const& _name, bool _recursive) const
+std::vector<Declaration const*> DeclarationContainer::resolveName(ASTString const& _name, bool _recursive) const
{
solAssert(!_name.empty(), "Attempt to resolve empty name.");
auto result = m_declarations.find(_name);
diff --git a/NameAndTypeResolver.cpp b/NameAndTypeResolver.cpp
index 21b33292..5ef14f60 100644
--- a/NameAndTypeResolver.cpp
+++ b/NameAndTypeResolver.cpp
@@ -53,12 +53,12 @@ void NameAndTypeResolver::resolveNamesAndTypes(ContractDefinition& _contract)
m_currentScope = &m_scopes[&_contract];
linearizeBaseContracts(_contract);
- std::vector<ContractDefinition const*> realBases(
+ std::vector<ContractDefinition const*> properBases(
++_contract.getLinearizedBaseContracts().begin(),
_contract.getLinearizedBaseContracts().end()
);
- for (ContractDefinition const* base: realBases)
+ for (ContractDefinition const* base: properBases)
importInheritedScope(*base);
for (ASTPointer<StructDefinition> const& structDef: _contract.getDefinedStructs())
@@ -130,11 +130,12 @@ vector<Declaration const*> NameAndTypeResolver::getNameFromCurrentScope(ASTStrin
return m_currentScope->resolveName(_name, _recursive);
}
-vector<Declaration const*> NameAndTypeResolver::cleanupedDeclarations(
+vector<Declaration const*> NameAndTypeResolver::cleanedDeclarations(
Identifier const& _identifier,
vector<Declaration const*> const& _declarations
)
{
+ solAssert(_declarations.size() > 1, "");
vector<Declaration const*> uniqueFunctions;
for (auto it = _declarations.begin(); it != _declarations.end(); ++it)
@@ -143,7 +144,7 @@ vector<Declaration const*> NameAndTypeResolver::cleanupedDeclarations(
// the declaration is functionDefinition while declarations > 1
FunctionDefinition const& functionDefinition = dynamic_cast<FunctionDefinition const&>(**it);
FunctionType functionType(functionDefinition);
- for(auto parameter: functionType.getParameterTypes() + functionType.getReturnParameterTypes())
+ for (auto parameter: functionType.getParameterTypes() + functionType.getReturnParameterTypes())
if (!parameter)
BOOST_THROW_EXCEPTION(
DeclarationError() <<
@@ -155,9 +156,7 @@ vector<Declaration const*> NameAndTypeResolver::cleanupedDeclarations(
uniqueFunctions.end(),
[&](Declaration const* d)
{
- FunctionDefinition const& newFunctionDefinition = dynamic_cast<FunctionDefinition const&>(*d);
- FunctionType newFunctionType(newFunctionDefinition);
-
+ FunctionType newFunctionType(dynamic_cast<FunctionDefinition const&>(*d));
return functionType.hasEqualArgumentTypes(newFunctionType);
}
))
@@ -482,7 +481,7 @@ bool ReferencesResolver::visit(Identifier& _identifier)
else if (declarations.size() == 1)
_identifier.setReferencedDeclaration(*declarations.front(), m_currentContract);
else
- _identifier.setOverloadedDeclarations(m_resolver.cleanupedDeclarations(_identifier, declarations));
+ _identifier.setOverloadedDeclarations(m_resolver.cleanedDeclarations(_identifier, declarations));
return false;
}
diff --git a/NameAndTypeResolver.h b/NameAndTypeResolver.h
index 7855217a..d7a0a3b2 100644
--- a/NameAndTypeResolver.h
+++ b/NameAndTypeResolver.h
@@ -56,13 +56,17 @@ public:
/// Resolves the given @a _name inside the scope @a _scope. If @a _scope is omitted,
/// the global scope is used (i.e. the one containing only the contract).
/// @returns a pointer to the declaration on success or nullptr on failure.
- std::vector<const Declaration *> resolveName(ASTString const& _name, Declaration const* _scope = nullptr) const;
+ std::vector<Declaration const*> resolveName(ASTString const& _name, Declaration const* _scope = nullptr) const;
/// Resolves a name in the "current" scope. Should only be called during the initial
/// resolving phase.
std::vector<Declaration const*> getNameFromCurrentScope(ASTString const& _name, bool _recursive = true);
- std::vector<Declaration const*> cleanupedDeclarations(Identifier const& _identifier, std::vector<Declaration const*> const& _declarations);
+ /// returns the vector of declarations without repetitions
+ static std::vector<Declaration const*> cleanedDeclarations(
+ Identifier const& _identifier,
+ std::vector<Declaration const*> const& _declarations
+ );
private:
void reset();
diff --git a/Types.h b/Types.h
index 5b95e556..da2fcdb8 100644
--- a/Types.h
+++ b/Types.h
@@ -617,7 +617,7 @@ public:
/// @returns true if this function can take the given argument types (possibly
/// after implicit conversion).
bool canTakeArguments(TypePointers const& _arguments) const;
- /// @returns true if the types of parameters are equal(does't check return parameter types)
+ /// @returns true if the types of parameters are equal (does't check return parameter types)
bool hasEqualArgumentTypes(FunctionType const& _other) const;
Location const& getLocation() const { return m_location; }