Changeset 230 in PSPA for Interface_Web/trunk/pspaWT/include

Timestamp:

Jan 3, 2013, 6:35:36 PM (11 years ago)

Author:

lemeur

Message:

fin implementation fit

Location:

Interface_Web/trunk/pspaWT/include

Files:

• dataManager.h (modified) (2 diffs)
• elementsCollection.h (modified) (1 diff)
• trivaluedBool.h (added)

Interface_Web/trunk/pspaWT/include/dataManager.h

@@ -9 +9 @@
 #include "sectionToExecute.h"
 #include "nomDeLogiciel.h"
-
+#include "trivaluedBool.h"
 class dataManager
 {
@@ -49 +49 @@
   string getLabelFromElementNumero(int numero);
   void initializeExecution(string workingDir);
-  string checkExecute();
-  bool executeTransport( unsigned int indexDeb, unsigned int indexFin, string workingDir,  string& resul);
-  bool executeParmela( unsigned int indexDeb, unsigned int indexFin, string workingDir, string& resul);
+  trivaluedBool checkExecute(string& diagnostic);
+  bool executeTransport( unsigned int numeroDeb, unsigned int numeroFin, string workingDir,  string& resul);
+  bool executeParmela( unsigned int numeroDeb, unsigned int numeroFin, string workingDir, string& resul);
   bool executeAll(string workingDir, string& resul);
   void saveConfiguration(string workingDir, string nameOfFile);

Interface_Web/trunk/pspaWT/include/elementsCollection.h

@@ -24 +24 @@
   abstractElement* addElement(typedElement elemType);
   abstractElement* getElementPointer(string label) const;
-  abstractElement* getElementPointer(unsigned int index) const;
+  abstractElement* getElementPointerFromIndex(unsigned int index) const;
   abstractElement* getElementPointerFromNumero(int num) const;