From e87f86af950a437665cff299fc488a115c1d3461 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Sat, 28 Oct 2017 16:49:15 +0200
Subject: [PATCH] Removed Boost dependency in assertions.

Instead of using BOOST_ASSERT, this commit changes all assertions to
plain C-style assertions in order to drop the dependency to Boost.
---
 src/plasp/pddl/TranslatorASP.cpp     | 2 +-
 src/plasp/sas/AssignedVariable.cpp   | 7 +++----
 src/plasp/sas/TranslatorASP.cpp      | 4 +---
 src/plasp/sas/VariableTransition.cpp | 9 ++++-----
 4 files changed, 9 insertions(+), 13 deletions(-)

diff --git a/src/plasp/pddl/TranslatorASP.cpp b/src/plasp/pddl/TranslatorASP.cpp
index 037039b..be72d38 100644
--- a/src/plasp/pddl/TranslatorASP.cpp
+++ b/src/plasp/pddl/TranslatorASP.cpp
@@ -1,6 +1,6 @@
 #include <plasp/pddl/TranslatorASP.h>
 
-#include <boost/assert.hpp>
+#include <cassert>
 
 #include <colorlog/Formatting.h>
 
diff --git a/src/plasp/sas/AssignedVariable.cpp b/src/plasp/sas/AssignedVariable.cpp
index 5cdd961..4951657 100644
--- a/src/plasp/sas/AssignedVariable.cpp
+++ b/src/plasp/sas/AssignedVariable.cpp
@@ -1,9 +1,8 @@
 #include <plasp/sas/AssignedVariable.h>
 
+#include <cassert>
 #include <iostream>
 
-#include <boost/assert.hpp>
-
 namespace plasp
 {
 namespace sas
@@ -57,7 +56,7 @@ AssignedVariable AssignedVariable::fromSAS(tokenize::Tokenizer<> &tokenizer, con
 
 const Variable &AssignedVariable::variable() const
 {
-	BOOST_ASSERT(m_variable != nullptr);
+	assert(m_variable != nullptr);
 
 	return *m_variable;
 }
@@ -66,7 +65,7 @@ const Variable &AssignedVariable::variable() const
 
 const Value &AssignedVariable::value() const
 {
-	BOOST_ASSERT(m_value != nullptr);
+	assert(m_value != nullptr);
 
 	return *m_value;
 }
diff --git a/src/plasp/sas/TranslatorASP.cpp b/src/plasp/sas/TranslatorASP.cpp
index dbe7d46..7bb560b 100644
--- a/src/plasp/sas/TranslatorASP.cpp
+++ b/src/plasp/sas/TranslatorASP.cpp
@@ -1,7 +1,5 @@
 #include <plasp/sas/TranslatorASP.h>
 
-#include <boost/assert.hpp>
-
 #include <colorlog/Formatting.h>
 
 namespace plasp
@@ -121,7 +119,7 @@ void TranslatorASP::translateVariables() const
 		{
 			const auto &values = variable.values();
 
-			BOOST_ASSERT(!values.empty());
+			assert(!values.empty());
 
 			m_outputStream << std::endl << colorlog::Function("variable") << "(";
 			variable.printNameAsASPPredicate(m_outputStream);
diff --git a/src/plasp/sas/VariableTransition.cpp b/src/plasp/sas/VariableTransition.cpp
index 49e626d..92783c9 100644
--- a/src/plasp/sas/VariableTransition.cpp
+++ b/src/plasp/sas/VariableTransition.cpp
@@ -1,9 +1,8 @@
 #include <plasp/sas/VariableTransition.h>
 
+#include <cassert>
 #include <iostream>
 
-#include <boost/assert.hpp>
-
 namespace plasp
 {
 namespace sas
@@ -39,7 +38,7 @@ VariableTransition VariableTransition::fromSAS(tokenize::Tokenizer<> &tokenizer,
 
 const Variable &VariableTransition::variable() const
 {
-	BOOST_ASSERT(m_variable != nullptr);
+	assert(m_variable != nullptr);
 
 	return *m_variable;
 }
@@ -48,7 +47,7 @@ const Variable &VariableTransition::variable() const
 
 const Value &VariableTransition::valueBefore() const
 {
-	BOOST_ASSERT(m_valueBefore != nullptr);
+	assert(m_valueBefore != nullptr);
 
 	return *m_valueBefore;
 }
@@ -57,7 +56,7 @@ const Value &VariableTransition::valueBefore() const
 
 const Value &VariableTransition::valueAfter() const
 {
-	BOOST_ASSERT(m_valueAfter != nullptr);
+	assert(m_valueAfter != nullptr);
 
 	return *m_valueAfter;
 }