covoar: Merger the covoar source from rtems-testing.git.

Use waf to build covoar.

1 files changed, 191 insertions, 0 deletions

diff --git a/tester/covoar/Explanations.cc b/tester/covoar/Explanations.cc
new file mode 100644
index 0000000..c316a0b
--- /dev/null
+++ b/tester/covoar/Explanations.cc
@@ -0,0 +1,191 @@
+/*! @file Explanations.cc
+ *  @brief Explanations Implementation
+ *
+ *  This file contains the implementation of the functions 
+ *  which provide a base level of functionality of a Explanations.
+ */
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+#include <unistd.h>
+
+#include "Explanations.h"
+#include "app_common.h"
+
+namespace Coverage {
+
+  Explanations::Explanations()
+  {
+  }
+
+  Explanations::~Explanations()
+  {
+  }
+
+  void Explanations::load(
+    const char* const explanations
+  )
+  {
+    #define MAX_LINE_LENGTH 512
+    FILE       *explain;
+    char        *cStatus;
+    Explanation *e;
+    int          line = 1;
+
+    if (!explanations)
+      return;
+
+    explain = fopen( explanations, "r" );
+    if (!explain) {
+      fprintf(
+        stderr,
+        "ERROR: Explanations::load - unable to open explanations file %s\n",
+        explanations
+      );
+      exit(-1);
+    }
+
+    while ( 1 ) {
+      e = new Explanation;
+      // Read the starting line of this explanation and
+      // skip blank lines between
+      do {
+        inputBuffer[0] = '\0';
+        cStatus = fgets( inputBuffer, MAX_LINE_LENGTH, explain );
+        if (cStatus == NULL) {
+          goto done;
+        }
+        inputBuffer[ strlen(inputBuffer) - 1] = '\0';
+        line++;
+      } while ( inputBuffer[0] == '\0' );
+
+      // Have we already seen this one?
+      if (set.find( inputBuffer ) != set.end()) {
+        fprintf(
+          stderr,
+          "ERROR: Explanations::load - line %d "
+          "contains a duplicate explanation (%s)\n",
+          line,
+          inputBuffer
+        );
+        exit( -1 );
+      }
+
+      // Add the starting line and file
+      e->startingPoint = std::string(inputBuffer);
+      e->found = false;
+
+      // Get the classification 
+      cStatus = fgets( inputBuffer, MAX_LINE_LENGTH, explain );
+      if (cStatus == NULL) {
+        fprintf(
+          stderr,
+          "ERROR: Explanations::load - line %d "
+          "out of sync at the classification\n",
+          line
+        );
+        exit( -1 );
+      }
+      inputBuffer[ strlen(inputBuffer) - 1] = '\0';
+      e->classification = inputBuffer;
+      line++;
+
+      // Get the explanation 
+      while (1) {
+        cStatus = fgets( inputBuffer, MAX_LINE_LENGTH, explain );
+        // fprintf( stderr, "%d - %s\n", line, inputBuffer );
+        if (cStatus == NULL) {
+          fprintf(
+            stderr,
+            "ERROR: Explanations::load - line %d "
+            "out of sync at the explanation\n",
+            line
+          );
+          exit( -1 );
+        }
+        inputBuffer[ strlen(inputBuffer) - 1] = '\0';
+        line++;
+
+        const char delimiter[4] = "+++";
+        if (!strncmp( inputBuffer, delimiter, 3 )) {
+          break;
+        }
+        // XXX only taking last line.  Needs to be a vector
+        e->explanation.push_back( inputBuffer );
+      }
+
+      // Add this to the set of Explanations
+      set[ e->startingPoint ] = *e;
+    }
+done:
+    ;
+
+    #undef MAX_LINE_LENGTH
+  }
+
+  const Explanation *Explanations::lookupExplanation(
+    std::string& start
+  )
+  {
+    if (set.find( start ) == set.end()) {
+      #if 0
+        fprintf( stderr, 
+          "Warning: Unable to find explanation for %s\n", 
+          start.c_str() 
+        );
+      #endif
+      return NULL;
+    }
+    set[ start ].found = true;
+    return &set[ start ];
+  }
+
+  void Explanations::writeNotFound(
+    const char* const fileName
+  )
+  {
+    FILE* notFoundFile;
+    bool  notFoundOccurred = false;
+
+    if (!fileName)
+      return;
+   
+    notFoundFile = fopen( fileName, "w" );
+    if (!fileName) {
+      fprintf(
+        stderr,
+        "ERROR: Explanations::writeNotFound - unable to open file %s\n",
+        fileName
+      );
+      exit( -1 );
+    }
+    
+    for (std::map<std::string, Explanation>::iterator itr = set.begin();
+         itr != set.end();
+         itr++) {
+      Explanation e = (*itr).second;
+      std::string key = (*itr).first;
+ 
+      if (!e.found) {
+        notFoundOccurred = true;
+        fprintf(
+          notFoundFile,
+          "%s\n",
+          e.startingPoint.c_str()
+        );
+      } 
+    }
+    fclose( notFoundFile );
+
+    if (!notFoundOccurred) {
+      if (!unlink( fileName )) {
+        fprintf( stderr, 
+          "Warning: Unable to unlink %s\n\n", 
+          fileName 
+        );
+      }
+    } 
+  }
+
+}