patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Resolved compiler warnings with clang.

Browse Source
This commit is contained in:
Patrick Lühne
2017-05-09 13:00:44 +02:00
parent 33e61beb4f
commit 9c9995380e
4 changed files with 2 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
include/plasp/output/Logger.h
View File

@@ -24,8 +24,6 @@ class Logger
explicit Logger();
explicit Logger(ColorStream &&outputStream);
explicit Logger(ColorStream &&outputStream, ColorStream &&errorStream);
Logger(Logger &&other);
Logger &operator=(Logger &&other);
ColorStream &outputStream();
ColorStream &errorStream();

2
include/plasp/pddl/expressions/Quantified.h
View File

@@ -57,7 +57,7 @@ class QuantifiedCRTP: public Quantified
ExpressionPointer simplified() override;
ExpressionPointer decomposed(DerivedPredicates &derivedPredicates) override;
void collectParameters(std::set<VariablePointer> &parameters);
void collectParameters(std::set<VariablePointer> &parameters) override;
void print(std::ostream &ostream) const override;
};

19
src/plasp/output/Logger.cpp
View File

@@ -64,25 +64,6 @@ Logger::Logger(ColorStream &&outputStream, ColorStream &&errorStream)
////////////////////////////////////////////////////////////////////////////////////////////////////
Logger::Logger(Logger &&other)
: m_outputStream{std::move(other.m_outputStream)},
m_errorStream{std::move(other.m_errorStream)},
m_logPriority{other.m_logPriority},
m_abortPriority{other.m_abortPriority}
{
}
////////////////////////////////////////////////////////////////////////////////////////////////////
Logger &Logger::operator=(Logger &&other)
{
*this = std::move(other);
return *this;
}
////////////////////////////////////////////////////////////////////////////////////////////////////
ColorStream &Logger::outputStream()
{
return m_outputStream;

2
src/plasp/pddl/Expression.cpp
View File

@@ -63,7 +63,7 @@ ExpressionPointer Expression::simplified()
////////////////////////////////////////////////////////////////////////////////////////////////////
[[ noreturn ]] ExpressionPointer Expression::decomposed(expressions::DerivedPredicates &)
ExpressionPointer Expression::decomposed(expressions::DerivedPredicates &)
{
throw output::TranslatorException("expression cannot be decomposed (not normalized)");
}