1 files changed, 31 insertions, 0 deletions
diff --git a/tiger-compiler/lib/misc/contract.cc b/tiger-compiler/lib/misc/contract.cc
new file mode 100644
index 0000000..3dc70be
--- /dev/null
+++ b/tiger-compiler/lib/misc/contract.cc
@@ -0,0 +1,31 @@
+/** \file misc/contract.cc
+ ** \brief Implementation for contract.hh
+ */
+
+#include <cstdlib>
+#include <iostream>
+
+#include <misc/contract.hh>
+
+Contract::Contract(const char* condType,
+                   const char* condText,
+                   const char* fileName,
+                   int fileLine)
+  : condType(condType)
+  , condText(condText)
+  , fileName(fileName)
+  , fileLine(fileLine)
+{}
+
+Contract::~Contract()
+{
+  const std::string message = std::string(condType) + ' ' + condText + " was false";
+  __Terminate(fileName, fileLine, message.c_str());
+}
+
+void __Terminate(const char* fileName, int fileLine, const char* reason)
+{
+  std::cerr << fileName << ":" << fileLine << ": Program abortion (" << reason
+            << ")\n";
+  abort();
+}