moving terminate() to SimulatorController

git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1017 8c4709b5-6ec9-48aa-a5cd-a96041d1645a

core/SAL/SimulatorController.cc

@@ -282,4 +282,12 @@ T* SimulatorController::getExperimentData()
 	return (concreteExpDat);
 }
 
+void SimulatorController::terminate(int exCode)
+{
+	// Attention: This could cause problems, e.g., because of non-closed sockets
+	std::cout << "[FAIL] Exit called by experiment with exit code: " << exCode << std::endl;
+	// TODO: (Non-)Verbose-Mode?
+	exit(exCode);
+}
+
 } // end-of-namespace: sal

core/SAL/SimulatorController.hpp

@@ -139,7 +139,7 @@ class SimulatorController
 		 * Terminate simulator
 		 * @param exCode Individual exit code
 		 */
-		virtual void terminate(int exCode = EXIT_SUCCESS) = 0;
+		virtual void terminate(int exCode = EXIT_SUCCESS);
 		/**
 		 * Check whether the interrupt should be suppressed.
 		 * @param interruptNum the interrupt-type id

core/SAL/bochs/BochsController.cc

@@ -170,14 +170,6 @@ void BochsController::rebootDone()
 	m_Flows.toggle(m_CurrFlow);
 }
 
-void BochsController::terminate(int exCode)
-{
-	// Attention: This could cause Problems, e.g. because of non-closed sockets
-	std::cout << "[FAIL] Exit called by experiment with exit code: " << exCode << std::endl;
-	// TODO: (Non-)Verbose-Mode?
-	exit(exCode);
-}
-
 void BochsController::fireInterrupt(unsigned irq)
 {
 	interrupt_injection_request = true;

core/SAL/bochs/BochsController.hpp

@@ -8,7 +8,6 @@
 #include <iostream>
 #include <iomanip>
 #include <string.h>
-#include <stdlib.h>
 
 #include "failbochs.hpp"
 
@@ -87,11 +86,6 @@ class BochsController : public SimulatorController
 		 * Reboot finished: Callback from Simulator
 		 */
 		void rebootDone();
-		/**
-		 * Terminate simulator
-		 * @param exCode Individual exit code
-		 */
-		void terminate(int exCode = EXIT_SUCCESS);
 		/**
 		 * Fire an interrupt.
 		 * @param irq Interrupt to be fired

core/SAL/ovp/Controller.cc

@@ -127,10 +127,6 @@ void OVPController::toPreviousCtx()
 	// TODO
 }
 
-void OVPController::terminate(int exCode){
-
-}
-
 
 void OVPController::fireTimer(uint32_t){
 

core/SAL/ovp/OVPController.hpp

@@ -66,11 +66,6 @@ class OVPController : public SimulatorController
 		 * @return the current eip
 		 */
 
-		/**
-		 * Terminate simulator
-		 */
-		 virtual void terminate(int exCode = EXIT_SUCCESS);
-
 		 virtual void fireTimer(uint32_t);		 
 
 		 void makeGPRegister(int, void*, const string&);