- Allow the user to select the (CPU|Resource)Policy from

the GUI


git-svn-id: svn://svn.gna.org/svn/sgpemv2/trunk@982 3ecf2c5c-341e-0410-92b4-d18e462d057c

src/backend/simulation.hh

@@ -32,6 +32,7 @@ namespace sgpem
 #include "config.h"
 #include "history.hh"
 #include "singleton.hh"
+#include "cpu_policy_exception.hh"
 #include "user_interrupt_exception.hh"
 #include "null_policy_exception.hh"
 #include "malformed_policy_exception.hh"
@@ -138,7 +139,7 @@ namespace sgpem
     /**
       \brief Setup the CPU policy to be used by the system.
      */
-    virtual void set_policy(CPUPolicy*) = 0;
+    virtual void set_policy(CPUPolicy*) throw(CPUPolicyException) = 0;
 
     /**
       \brief Setup the resource policy to be used by the system.