Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 5 additions & 3 deletions libevmasm/SimplificationRules.h
Original file line number Diff line number Diff line change
Expand Up @@ -29,8 +29,6 @@

#include <libsolutil/CommonData.h>

#include <boost/noncopyable.hpp>

#include <functional>
#include <vector>

Expand All @@ -47,9 +45,13 @@ class Pattern;
/**
* Container for all simplification rules.
*/
class Rules: public boost::noncopyable
class Rules
{
public:
/// Noncopyable.
Rules(Rules const&) = delete;
Rules& operator=(Rules const&) = delete;

using Expression = ExpressionClasses::Expression;

Rules();
Expand Down
7 changes: 5 additions & 2 deletions libsmtutil/CVC4Interface.h
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,6 @@
#pragma once

#include <libsmtutil/SolverInterface.h>
#include <boost/noncopyable.hpp>

#if defined(__GLIBC__)
// The CVC4 headers includes the deprecated system headers <ext/hash_map>
Expand All @@ -37,9 +36,13 @@
namespace solidity::smtutil
{

class CVC4Interface: public SolverInterface, public boost::noncopyable
class CVC4Interface: public SolverInterface
{
public:
/// Noncopyable.
CVC4Interface(CVC4Interface const&) = delete;
CVC4Interface& operator=(CVC4Interface const&) = delete;

CVC4Interface(std::optional<unsigned> _queryTimeout = {});

void reset() override;
Expand Down
7 changes: 5 additions & 2 deletions libsmtutil/SMTLib2Interface.h
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,6 @@
#include <libsolutil/Common.h>
#include <libsolutil/FixedHash.h>

#include <boost/noncopyable.hpp>
#include <cstdio>
#include <map>
#include <set>
Expand All @@ -35,9 +34,13 @@
namespace solidity::smtutil
{

class SMTLib2Interface: public SolverInterface, public boost::noncopyable
class SMTLib2Interface: public SolverInterface
{
public:
/// Noncopyable.
SMTLib2Interface(SMTLib2Interface const&) = delete;
SMTLib2Interface& operator=(SMTLib2Interface const&) = delete;

explicit SMTLib2Interface(
std::map<util::h256, std::string> _queryResponses = {},
frontend::ReadCallback::Callback _smtCallback = {},
Expand Down
7 changes: 5 additions & 2 deletions libsmtutil/SMTPortfolio.h
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,6 @@
#include <libsolidity/interface/ReadFile.h>
#include <libsolutil/FixedHash.h>

#include <boost/noncopyable.hpp>
#include <map>
#include <vector>

Expand All @@ -36,9 +35,13 @@ namespace solidity::smtutil
* It also checks whether different solvers give conflicting answers
* to SMT queries.
*/
class SMTPortfolio: public SolverInterface, public boost::noncopyable
class SMTPortfolio: public SolverInterface
{
public:
/// Noncopyable.
SMTPortfolio(SMTPortfolio const&) = delete;
SMTPortfolio& operator=(SMTPortfolio const&) = delete;

SMTPortfolio(
std::map<util::h256, std::string> _smtlib2Responses = {},
frontend::ReadCallback::Callback _smtCallback = {},
Expand Down
1 change: 0 additions & 1 deletion libsmtutil/SolverInterface.h
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,6 @@

#include <libsolutil/Common.h>

#include <boost/noncopyable.hpp>
#include <cstdio>
#include <map>
#include <memory>
Expand Down
7 changes: 5 additions & 2 deletions libsmtutil/Z3Interface.h
Original file line number Diff line number Diff line change
Expand Up @@ -19,15 +19,18 @@
#pragma once

#include <libsmtutil/SolverInterface.h>
#include <boost/noncopyable.hpp>
#include <z3++.h>

namespace solidity::smtutil
{

class Z3Interface: public SolverInterface, public boost::noncopyable
class Z3Interface: public SolverInterface
{
public:
/// Noncopyable.
Z3Interface(Z3Interface const&) = delete;
Z3Interface& operator=(Z3Interface const&) = delete;

Z3Interface(std::optional<unsigned> _queryTimeout = {});

static bool available();
Expand Down
1 change: 0 additions & 1 deletion libsolidity/analysis/DeclarationContainer.h
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,6 @@
#include <libsolidity/ast/ASTForward.h>
#include <liblangutil/Exceptions.h>
#include <liblangutil/SourceLocation.h>
#include <boost/noncopyable.hpp>

namespace solidity::frontend
{
Expand Down
1 change: 0 additions & 1 deletion libsolidity/analysis/DeclarationTypeChecker.h
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,6 @@
#include <libsolidity/ast/ASTAnnotations.h>
#include <liblangutil/EVMVersion.h>

#include <boost/noncopyable.hpp>
#include <list>
#include <map>

Expand Down
7 changes: 5 additions & 2 deletions libsolidity/analysis/GlobalContext.h
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,6 @@
#pragma once

#include <libsolidity/ast/ASTForward.h>
#include <boost/noncopyable.hpp>
#include <map>
#include <memory>
#include <string>
Expand All @@ -41,9 +40,13 @@ class Type; // forward
* @note must not be destroyed or moved during compilation as its objects can be referenced from
* other objects.
*/
class GlobalContext: private boost::noncopyable
class GlobalContext
{
public:
/// Noncopyable.
GlobalContext(GlobalContext const&) = delete;
GlobalContext& operator=(GlobalContext const&) = delete;

GlobalContext();
void setCurrentContract(ContractDefinition const& _contract);
void resetCurrentContract() { m_currentContract = nullptr; }
Expand Down
8 changes: 5 additions & 3 deletions libsolidity/analysis/NameAndTypeResolver.h
Original file line number Diff line number Diff line change
Expand Up @@ -31,8 +31,6 @@

#include <liblangutil/EVMVersion.h>

#include <boost/noncopyable.hpp>

#include <list>
#include <map>

Expand All @@ -48,9 +46,13 @@ namespace solidity::frontend
* Resolves name references, typenames and sets the (explicitly given) types for all variable
* declarations.
*/
class NameAndTypeResolver: private boost::noncopyable
class NameAndTypeResolver
{
public:
/// Noncopyable.
NameAndTypeResolver(NameAndTypeResolver const&) = delete;
NameAndTypeResolver& operator=(NameAndTypeResolver const&) = delete;

/// Creates the resolver with the given declarations added to the global scope.
/// @param _scopes mapping of scopes to be used (usually default constructed), these
/// are filled during the lifetime of this object.
Expand Down
1 change: 0 additions & 1 deletion libsolidity/analysis/ReferencesResolver.h
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,6 @@
#include <liblangutil/EVMVersion.h>
#include <libyul/optimiser/ASTWalker.h>

#include <boost/noncopyable.hpp>
#include <list>
#include <map>

Expand Down
7 changes: 5 additions & 2 deletions libsolidity/ast/AST.h
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,6 @@
#include <libsolutil/FixedHash.h>
#include <libsolutil/LazyInit.h>

#include <boost/noncopyable.hpp>
#include <json/json.h>

#include <memory>
Expand Down Expand Up @@ -62,9 +61,13 @@ class ASTConstVisitor;
* It is possible to traverse all direct and indirect children of an AST node by calling
* accept, providing an ASTVisitor.
*/
class ASTNode: private boost::noncopyable
class ASTNode
{
public:
/// Noncopyable.
ASTNode(ASTNode const&) = delete;
ASTNode& operator=(ASTNode const&) = delete;

using CompareByID = frontend::ASTCompareByID<ASTNode>;
using SourceLocation = langutil::SourceLocation;

Expand Down
1 change: 0 additions & 1 deletion libsolidity/codegen/ExpressionCompiler.h
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,6 @@
#include <liblangutil/SourceLocation.h>
#include <libsolutil/Common.h>

#include <boost/noncopyable.hpp>
#include <functional>
#include <memory>

Expand Down
7 changes: 5 additions & 2 deletions libsolidity/interface/CompilerStack.h
Original file line number Diff line number Diff line change
Expand Up @@ -45,7 +45,6 @@
#include <libsolutil/FixedHash.h>
#include <libsolutil/LazyInit.h>

#include <boost/noncopyable.hpp>
#include <json/json.h>

#include <functional>
Expand Down Expand Up @@ -88,9 +87,13 @@ class DeclarationContainer;
* If error recovery is active, it is possible to progress through the stages even when
* there are errors. In any case, producing code is only possible without errors.
*/
class CompilerStack: boost::noncopyable
class CompilerStack
{
public:
/// Noncopyable.
CompilerStack(CompilerStack const&) = delete;
CompilerStack& operator=(CompilerStack const&) = delete;

enum State {
Empty,
SourcesSet,
Expand Down
7 changes: 5 additions & 2 deletions libsolidity/interface/ReadFile.h
Original file line number Diff line number Diff line change
Expand Up @@ -20,16 +20,19 @@

#include <liblangutil/Exceptions.h>

#include <boost/noncopyable.hpp>
#include <functional>
#include <string>

namespace solidity::frontend
{

class ReadCallback: boost::noncopyable
class ReadCallback
{
public:
/// Noncopyable.
ReadCallback(ReadCallback const&) = delete;
ReadCallback& operator=(ReadCallback const&) = delete;

/// File reading or generic query result.
struct Result
{
Expand Down
6 changes: 5 additions & 1 deletion libsolidity/interface/StandardCompiler.h
Original file line number Diff line number Diff line change
Expand Up @@ -36,9 +36,13 @@ namespace solidity::frontend
* Standard JSON compiler interface, which expects a JSON input and returns a JSON output.
* See docs/using-the-compiler#compiler-input-and-output-json-description.
*/
class StandardCompiler: boost::noncopyable
class StandardCompiler
{
public:
/// Noncopyable.
StandardCompiler(StandardCompiler const&) = delete;
StandardCompiler& operator=(StandardCompiler const&) = delete;

/// Creates a new StandardCompiler.
/// @param _readFile callback used to read files for import statements. Must return
/// and must not emit exceptions.
Expand Down
8 changes: 5 additions & 3 deletions libyul/Dialect.h
Original file line number Diff line number Diff line change
Expand Up @@ -25,8 +25,6 @@
#include <libyul/SideEffects.h>
#include <libyul/ControlFlowSideEffects.h>

#include <boost/noncopyable.hpp>

#include <vector>
#include <set>
#include <optional>
Expand Down Expand Up @@ -57,8 +55,12 @@ struct BuiltinFunction
}
};

struct Dialect: boost::noncopyable
struct Dialect
{
/// Noncopiable.
Dialect(Dialect const&) = delete;
Dialect& operator=(Dialect const&) = delete;

/// Default type, can be omitted.
YulString defaultType;
/// Type used for the literals "true" and "false".
Expand Down
2 changes: 0 additions & 2 deletions libyul/YulString.h
Original file line number Diff line number Diff line change
Expand Up @@ -21,8 +21,6 @@

#pragma once

#include <boost/noncopyable.hpp>

#include <unordered_map>
#include <memory>
#include <vector>
Expand Down
8 changes: 5 additions & 3 deletions libyul/optimiser/SimplificationRules.h
Original file line number Diff line number Diff line change
Expand Up @@ -31,8 +31,6 @@
#include <liblangutil/EVMVersion.h>
#include <liblangutil/SourceLocation.h>

#include <boost/noncopyable.hpp>

#include <functional>
#include <optional>
#include <vector>
Expand All @@ -46,9 +44,13 @@ class Pattern;
/**
* Container for all simplification rules.
*/
class SimplificationRules: public boost::noncopyable
class SimplificationRules
{
public:
/// Noncopiable.
SimplificationRules(SimplificationRules const&) = delete;
SimplificationRules& operator=(SimplificationRules const&) = delete;

using Rule = evmasm::SimplificationRule<Pattern>;

explicit SimplificationRules(std::optional<langutil::EVMVersion> _evmVersion = std::nullopt);
Expand Down
7 changes: 5 additions & 2 deletions test/Common.h
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,6 @@
#include <test/evmc/evmc.h>

#include <boost/filesystem/path.hpp>
#include <boost/noncopyable.hpp>
#include <boost/program_options.hpp>

namespace solidity::test
Expand All @@ -49,8 +48,12 @@ static constexpr auto heraDownloadLink = "https://github.com/ewasm/hera/releases

struct ConfigException : public util::Exception {};

struct CommonOptions: boost::noncopyable
struct CommonOptions
{
/// Noncopyable.
CommonOptions(CommonOptions const&) = delete;
CommonOptions& operator=(CommonOptions const&) = delete;

std::vector<boost::filesystem::path> vmPaths;
boost::filesystem::path testPath;
bool ewasm = false;
Expand Down