From 967be9e750221ab2ab783f95df79bb26d290a45e Mon Sep 17 00:00:00 2001
From: Martial Simon <msimon_fr@hotmail.com>
Date: Mon, 15 Sep 2025 01:07:58 +0200
Subject: add: added projects

---
 tiger-compiler/lib/misc/contract.cc | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 tiger-compiler/lib/misc/contract.cc

(limited to 'tiger-compiler/lib/misc/contract.cc')

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();
+}
-- 
cgit v1.2.3