Mark a lot of functions const (where possible)

This commit is contained in:
Alex Beregszaszi 2017-08-17 01:14:15 +01:00
parent c94b1f8173
commit e2cfc9ee92
18 changed files with 41 additions and 41 deletions

View File

@ -124,7 +124,7 @@ void ConstantOptimisationMethod::replaceConstants(
_items = std::move(replaced); _items = std::move(replaced);
} }
bigint LiteralMethod::gasNeeded() bigint LiteralMethod::gasNeeded() const
{ {
return combineGas( return combineGas(
simpleRunGas({Instruction::PUSH1}), simpleRunGas({Instruction::PUSH1}),
@ -139,7 +139,7 @@ CodeCopyMethod::CodeCopyMethod(Params const& _params, u256 const& _value):
{ {
} }
bigint CodeCopyMethod::gasNeeded() bigint CodeCopyMethod::gasNeeded() const
{ {
return combineGas( return combineGas(
// Run gas: we ignore memory increase costs // Run gas: we ignore memory increase costs
@ -151,7 +151,7 @@ bigint CodeCopyMethod::gasNeeded()
); );
} }
AssemblyItems CodeCopyMethod::execute(Assembly& _assembly) AssemblyItems CodeCopyMethod::execute(Assembly& _assembly) const
{ {
bytes data = toBigEndian(m_value); bytes data = toBigEndian(m_value);
AssemblyItems actualCopyRoutine = copyRoutine(); AssemblyItems actualCopyRoutine = copyRoutine();
@ -234,7 +234,7 @@ AssemblyItems ComputeMethod::findRepresentation(u256 const& _value)
} }
} }
bool ComputeMethod::checkRepresentation(u256 const& _value, AssemblyItems const& _routine) bool ComputeMethod::checkRepresentation(u256 const& _value, AssemblyItems const& _routine) const
{ {
// This is a tiny EVM that can only evaluate some instructions. // This is a tiny EVM that can only evaluate some instructions.
vector<u256> stack; vector<u256> stack;
@ -282,7 +282,7 @@ bool ComputeMethod::checkRepresentation(u256 const& _value, AssemblyItems const&
return stack.size() == 1 && stack.front() == _value; return stack.size() == 1 && stack.front() == _value;
} }
bigint ComputeMethod::gasNeeded(AssemblyItems const& _routine) bigint ComputeMethod::gasNeeded(AssemblyItems const& _routine) const
{ {
size_t numExps = count(_routine.begin(), _routine.end(), Instruction::EXP); size_t numExps = count(_routine.begin(), _routine.end(), Instruction::EXP);
return combineGas( return combineGas(

View File

@ -63,11 +63,11 @@ public:
explicit ConstantOptimisationMethod(Params const& _params, u256 const& _value): explicit ConstantOptimisationMethod(Params const& _params, u256 const& _value):
m_params(_params), m_value(_value) {} m_params(_params), m_value(_value) {}
virtual bigint gasNeeded() = 0; virtual bigint gasNeeded() const = 0;
/// Executes the method, potentially appending to the assembly and returns a vector of /// Executes the method, potentially appending to the assembly and returns a vector of
/// assembly items the constant should be relpaced with in one sweep. /// assembly items the constant should be relpaced with in one sweep.
/// If the vector is empty, the constants will not be deleted. /// If the vector is empty, the constants will not be deleted.
virtual AssemblyItems execute(Assembly& _assembly) = 0; virtual AssemblyItems execute(Assembly& _assembly) const = 0;
protected: protected:
size_t dataSize() const { return std::max<size_t>(1, dev::bytesRequired(m_value)); } size_t dataSize() const { return std::max<size_t>(1, dev::bytesRequired(m_value)); }
@ -84,7 +84,7 @@ protected:
bigint const& _runGas, bigint const& _runGas,
bigint const& _repeatedDataGas, bigint const& _repeatedDataGas,
bigint const& _uniqueDataGas bigint const& _uniqueDataGas
) ) const
{ {
// _runGas is not multiplied by _multiplicity because the runs are "per opcode" // _runGas is not multiplied by _multiplicity because the runs are "per opcode"
return m_params.runs * _runGas + m_params.multiplicity * _repeatedDataGas + _uniqueDataGas; return m_params.runs * _runGas + m_params.multiplicity * _repeatedDataGas + _uniqueDataGas;
@ -106,8 +106,8 @@ class LiteralMethod: public ConstantOptimisationMethod
public: public:
explicit LiteralMethod(Params const& _params, u256 const& _value): explicit LiteralMethod(Params const& _params, u256 const& _value):
ConstantOptimisationMethod(_params, _value) {} ConstantOptimisationMethod(_params, _value) {}
virtual bigint gasNeeded() override; virtual bigint gasNeeded() const override;
virtual AssemblyItems execute(Assembly&) override { return AssemblyItems{}; } virtual AssemblyItems execute(Assembly&) const override { return AssemblyItems{}; }
}; };
/** /**
@ -117,8 +117,8 @@ class CodeCopyMethod: public ConstantOptimisationMethod
{ {
public: public:
explicit CodeCopyMethod(Params const& _params, u256 const& _value); explicit CodeCopyMethod(Params const& _params, u256 const& _value);
virtual bigint gasNeeded() override; virtual bigint gasNeeded() const override;
virtual AssemblyItems execute(Assembly& _assembly) override; virtual AssemblyItems execute(Assembly& _assembly) const override;
protected: protected:
AssemblyItems const& copyRoutine() const; AssemblyItems const& copyRoutine() const;
@ -141,8 +141,8 @@ public:
); );
} }
virtual bigint gasNeeded() override { return gasNeeded(m_routine); } virtual bigint gasNeeded() const override { return gasNeeded(m_routine); }
virtual AssemblyItems execute(Assembly&) override virtual AssemblyItems execute(Assembly&) const override
{ {
return m_routine; return m_routine;
} }
@ -151,8 +151,8 @@ protected:
/// Tries to recursively find a way to compute @a _value. /// Tries to recursively find a way to compute @a _value.
AssemblyItems findRepresentation(u256 const& _value); AssemblyItems findRepresentation(u256 const& _value);
/// Recomputes the value from the calculated representation and checks for correctness. /// Recomputes the value from the calculated representation and checks for correctness.
bool checkRepresentation(u256 const& _value, AssemblyItems const& _routine); bool checkRepresentation(u256 const& _value, AssemblyItems const& _routine) const;
bigint gasNeeded(AssemblyItems const& _routine); bigint gasNeeded(AssemblyItems const& _routine) const;
/// Counter for the complexity of optimization, will stop when it reaches zero. /// Counter for the complexity of optimization, will stop when it reaches zero.
size_t m_maxSteps = 10000; size_t m_maxSteps = 10000;

View File

@ -30,7 +30,7 @@ CompilerState::CompilerState()
{ {
} }
CodeFragment const& CompilerState::getDef(std::string const& _s) CodeFragment const& CompilerState::getDef(std::string const& _s) const
{ {
if (defs.count(_s)) if (defs.count(_s))
return defs.at(_s); return defs.at(_s);

View File

@ -40,7 +40,7 @@ struct CompilerState
{ {
CompilerState(); CompilerState();
CodeFragment const& getDef(std::string const& _s); CodeFragment const& getDef(std::string const& _s) const;
void populateStandard(); void populateStandard();
unsigned stackSize = 128; unsigned stackSize = 128;

View File

@ -119,7 +119,7 @@ private:
); );
std::string sourceLocationToString(SourceLocation const& _location) const; std::string sourceLocationToString(SourceLocation const& _location) const;
std::string namePathToString(std::vector<ASTString> const& _namePath) const; std::string namePathToString(std::vector<ASTString> const& _namePath) const;
Json::Value idOrNull(ASTNode const* _pt) Json::Value idOrNull(ASTNode const* _pt) const
{ {
return _pt ? Json::Value(nodeId(*_pt)) : Json::nullValue; return _pt ? Json::Value(nodeId(*_pt)) : Json::nullValue;
} }
@ -134,12 +134,12 @@ private:
std::string literalTokenKind(Token::Value _token); std::string literalTokenKind(Token::Value _token);
std::string type(Expression const& _expression); std::string type(Expression const& _expression);
std::string type(VariableDeclaration const& _varDecl); std::string type(VariableDeclaration const& _varDecl);
int nodeId(ASTNode const& _node) int nodeId(ASTNode const& _node) const
{ {
return _node.id(); return _node.id();
} }
template<class Container> template<class Container>
Json::Value getContainerIds(Container const& container) Json::Value getContainerIds(Container const& container) const
{ {
Json::Value tmp(Json::arrayValue); Json::Value tmp(Json::arrayValue);
for (auto const& element: container) for (auto const& element: container)

View File

@ -1056,7 +1056,7 @@ string ABIFunctions::createFunction(string const& _name, function<string ()> con
return _name; return _name;
} }
size_t ABIFunctions::headSize(TypePointers const& _targetTypes) size_t ABIFunctions::headSize(TypePointers const& _targetTypes) const
{ {
size_t headSize = 0; size_t headSize = 0;
for (auto const& t: _targetTypes) for (auto const& t: _targetTypes)

View File

@ -162,7 +162,7 @@ private:
std::string createFunction(std::string const& _name, std::function<std::string()> const& _creator); std::string createFunction(std::string const& _name, std::function<std::string()> const& _creator);
/// @returns the size of the static part of the encoding of the given types. /// @returns the size of the static part of the encoding of the given types.
size_t headSize(TypePointers const& _targetTypes); size_t headSize(TypePointers const& _targetTypes) const;
/// Map from function name to code for a multi-use function. /// Map from function name to code for a multi-use function.
std::map<std::string, std::string> m_requestedFunctions; std::map<std::string, std::string> m_requestedFunctions;

View File

@ -51,9 +51,9 @@ public:
ContractDefinition const& _contract, ContractDefinition const& _contract,
std::map<ContractDefinition const*, eth::Assembly const*> const& _contracts std::map<ContractDefinition const*, eth::Assembly const*> const& _contracts
); );
eth::Assembly const& assembly() { return m_context.assembly(); } eth::Assembly const& assembly() const { return m_context.assembly(); }
eth::LinkerObject assembledObject() { return m_context.assembledObject(); } eth::LinkerObject assembledObject() const { return m_context.assembledObject(); }
eth::LinkerObject runtimeObject() { return m_context.assembledRuntimeObject(m_runtimeSub); } eth::LinkerObject runtimeObject() const { return m_context.assembledRuntimeObject(m_runtimeSub); }
/// @arg _sourceCodes is the map of input files to source code strings /// @arg _sourceCodes is the map of input files to source code strings
/// @arg _inJsonFromat shows whether the out should be in Json format /// @arg _inJsonFromat shows whether the out should be in Json format
Json::Value streamAssembly(std::ostream& _stream, StringMap const& _sourceCodes = StringMap(), bool _inJsonFormat = false) const Json::Value streamAssembly(std::ostream& _stream, StringMap const& _sourceCodes = StringMap(), bool _inJsonFormat = false) const

View File

@ -208,8 +208,8 @@ public:
return m_asm->stream(_stream, "", _sourceCodes, _inJsonFormat); return m_asm->stream(_stream, "", _sourceCodes, _inJsonFormat);
} }
eth::LinkerObject const& assembledObject() { return m_asm->assemble(); } eth::LinkerObject const& assembledObject() const { return m_asm->assemble(); }
eth::LinkerObject const& assembledRuntimeObject(size_t _subIndex) { return m_asm->sub(_subIndex).assemble(); } eth::LinkerObject const& assembledRuntimeObject(size_t _subIndex) const { return m_asm->sub(_subIndex).assemble(); }
/** /**
* Helper class to pop the visited nodes stack when a scope closes * Helper class to pop the visited nodes stack when a scope closes

View File

@ -1811,7 +1811,7 @@ void ExpressionCompiler::setLValueToStorageItem(Expression const& _expression)
setLValue<StorageItem>(_expression, *_expression.annotation().type); setLValue<StorageItem>(_expression, *_expression.annotation().type);
} }
bool ExpressionCompiler::cleanupNeededForOp(Type::Category _type, Token::Value _op) bool ExpressionCompiler::cleanupNeededForOp(Type::Category _type, Token::Value _op) const
{ {
if (Token::isCompareOp(_op) || Token::isShiftOp(_op)) if (Token::isCompareOp(_op) || Token::isShiftOp(_op))
return true; return true;

View File

@ -119,7 +119,7 @@ private:
/// @returns true if the operator applied to the given type requires a cleanup prior to the /// @returns true if the operator applied to the given type requires a cleanup prior to the
/// operation. /// operation.
bool cleanupNeededForOp(Type::Category _type, Token::Value _op); bool cleanupNeededForOp(Type::Category _type, Token::Value _op) const;
/// @returns the CompilerUtils object containing the current context. /// @returns the CompilerUtils object containing the current context.
CompilerUtils utils(); CompilerUtils utils();

View File

@ -45,7 +45,7 @@ public:
protected: protected:
/// Creates an inline assembly node with the given source location. /// Creates an inline assembly node with the given source location.
template <class T> T createWithLocation(SourceLocation const& _loc = SourceLocation()) template <class T> T createWithLocation(SourceLocation const& _loc = SourceLocation()) const
{ {
T r; T r;
r.location = _loc; r.location = _loc;

View File

@ -209,7 +209,7 @@ string AsmPrinter::operator()(Block const& _block)
return "{\n " + body + "\n}"; return "{\n " + body + "\n}";
} }
string AsmPrinter::appendTypeName(std::string const& _type) string AsmPrinter::appendTypeName(std::string const& _type) const
{ {
if (m_julia) if (m_julia)
return ":" + _type; return ":" + _type;

View File

@ -53,7 +53,7 @@ public:
std::string operator()(assembly::Block const& _block); std::string operator()(assembly::Block const& _block);
private: private:
std::string appendTypeName(std::string const& _type); std::string appendTypeName(std::string const& _type) const;
bool m_julia = false; bool m_julia = false;
}; };

View File

@ -70,7 +70,7 @@ Scope::Identifier* Scope::lookup(string const& _name)
return nullptr; return nullptr;
} }
bool Scope::exists(string const& _name) bool Scope::exists(string const& _name) const
{ {
if (identifiers.count(_name)) if (identifiers.count(_name))
return true; return true;

View File

@ -107,7 +107,7 @@ struct Scope
} }
/// @returns true if the name exists in this scope or in super scopes (also searches /// @returns true if the name exists in this scope or in super scopes (also searches
/// across function and assembly boundaries). /// across function and assembly boundaries).
bool exists(std::string const& _name); bool exists(std::string const& _name) const;
/// @returns the number of variables directly registered inside the scope. /// @returns the number of variables directly registered inside the scope.
size_t numberOfVariables() const; size_t numberOfVariables() const;

View File

@ -88,7 +88,7 @@ public:
m_errorReporter(m_errorList) {} m_errorReporter(m_errorList) {}
/// @returns the list of errors that occured during parsing and type checking. /// @returns the list of errors that occured during parsing and type checking.
ErrorList const& errors() { return m_errorReporter.errors(); } ErrorList const& errors() const { return m_errorReporter.errors(); }
/// @returns the current state. /// @returns the current state.
State state() const { return m_stackState; } State state() const { return m_stackState; }

View File

@ -75,7 +75,7 @@ public:
int position() const { return m_position; } int position() const { return m_position; }
bool isPastEndOfInput(size_t _charsForward = 0) const { return (m_position + _charsForward) >= m_source.size(); } bool isPastEndOfInput(size_t _charsForward = 0) const { return (m_position + _charsForward) >= m_source.size(); }
char get(size_t _charsForward = 0) const { return m_source[m_position + _charsForward]; } char get(size_t _charsForward = 0) const { return m_source[m_position + _charsForward]; }
char advanceAndGet(size_t _chars=1); char advanceAndGet(size_t _chars = 1);
char rollback(size_t _amount); char rollback(size_t _amount);
void reset() { m_position = 0; } void reset() { m_position = 0; }
@ -118,11 +118,11 @@ public:
///@name Information about the current token ///@name Information about the current token
/// @returns the current token /// @returns the current token
Token::Value currentToken() Token::Value currentToken() const
{ {
return m_currentToken.token; return m_currentToken.token;
} }
ElementaryTypeNameToken currentElementaryTypeNameToken() ElementaryTypeNameToken currentElementaryTypeNameToken() const
{ {
unsigned firstSize; unsigned firstSize;
unsigned secondSize; unsigned secondSize;
@ -219,8 +219,8 @@ private:
bool scanEscape(); bool scanEscape();
/// Return the current source position. /// Return the current source position.
int sourcePos() { return m_source.position(); } int sourcePos() const { return m_source.position(); }
bool isSourcePastEndOfInput() { return m_source.isPastEndOfInput(); } bool isSourcePastEndOfInput() const { return m_source.isPastEndOfInput(); }
TokenDesc m_skippedComment; // desc for current skipped comment TokenDesc m_skippedComment; // desc for current skipped comment
TokenDesc m_nextSkippedComment; // desc for next skiped comment TokenDesc m_nextSkippedComment; // desc for next skiped comment