Package statechum.analysis.CodeCoverage

Examples of statechum.analysis.CodeCoverage.CodeCoverageMap

189
190
191
192
193
194
195
196
197
198
199
                            for (Trace p : paths) {
                                //System.out.println("Generating coverage for " + path + "-" + p);
                                Collection<Trace> onlyPath = new LinkedList<Trace>();
                                onlyPath.add(p);
                                Pair<Trace, Trace> prefixSuffix = ErlangOracleVisualiser.getPrefixSuffixPair(allPrefixTraces, onlyPath);
                                CodeCoverageMap map = ErlangOracleVisualiser.getCoverageMap(prefixSuffix.firstElem, prefixSuffix.secondElem);
                                //System.out.println("Generated coverage " + prefixSuffix[0] + "-" + prefixSuffix[1] + ": " + map.toString());
                                erlCoverage.coverage.add(map);
                            }
                        }
                    }
View Full Code Here
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
                Pair<Trace, Trace> index = new Pair<Trace, Trace>(new Trace(), new Trace(toks[0].trim()));
                String map = toks[1].trim();
                map = map.substring(1, map.length() - 1);

                CodeCoverageMap mapObject = new CodeCoverageMap();
                if (map.length() > 0) {
                    // Create the parsed coverage map object
                    String[] maplets = (map.trim()).split("\\},\\{");
                    // Trim the {} off the first and last items...
                    maplets[0] = maplets[0].substring(1);
                    maplets[maplets.length - 1] = maplets[maplets.length - 1].substring(0, maplets[maplets.length - 1].length() - 1);
                    for (String m : maplets) {
                        // Maplets have the form {line, count} but should be missing the {} from the way we split the string.
                        String[] parts = m.split(",");
                        mapObject.add(parts[0], Integer.parseInt(parts[1]));
                    }

                }
                coverageMaps.put(index, mapObject);
                //System.out.println("Loading coverage map for \"" + index.secondElem + "\" = " + coverageMaps.get(index) + " (" + (coverageMaps.get(index) == null) + ")");
View Full Code Here
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
        Pair<Trace, Trace> index = new Pair<Trace, Trace>(new Trace(),
            Trace.fromString(toks[0].trim()));
        String map = toks[1].trim();
        map = map.substring(1, map.length() - 1);

        CodeCoverageMap mapObject = new CodeCoverageMap();
        if (map.length() > 0) {
          // Create the parsed coverage map object
          String[] maplets = (map.trim()).split("\\},\\{");
          // Trim the {} off the first and last items...
          maplets[0] = maplets[0].substring(1);
          maplets[maplets.length - 1] = maplets[maplets.length - 1]
              .substring(0,
                  maplets[maplets.length - 1].length() - 1);
          for (String m : maplets) {
            // Maplets have the form {line, count} but should be
            // missing the {} from the way we split the string.
            String[] parts = m.split(",");
            mapObject.add(parts[0], Integer.parseInt(parts[1]));
          }

        }
        coverageMaps.put(index, mapObject);
        // System.out.println("Loading coverage map for \"" +
View Full Code Here
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
        Pair<Trace, Trace> index = new Pair<Trace, Trace>(new Trace(),
            Trace.fromString(toks[0].trim()));
        String map = toks[1].trim();
        map = map.substring(1, map.length() - 1);

        CodeCoverageMap mapObject = new CodeCoverageMap();
        if (map.length() > 0) {
          // Create the parsed coverage map object
          String[] maplets = (map.trim()).split("\\},\\{");
          // Trim the {} off the first and last items...
          maplets[0] = maplets[0].substring(1);
          maplets[maplets.length - 1] = maplets[maplets.length - 1]
              .substring(0,
                  maplets[maplets.length - 1].length() - 1);
          for (String m : maplets) {
            // Maplets have the form {line, count} but should be
            // missing the {} from the way we split the string.
            String[] parts = m.split(",");
            mapObject.add(parts[0], Integer.parseInt(parts[1]));
          }

        }
        coverageMaps.put(index, mapObject);
        // System.out.println("Loading coverage map for \"" +
View Full Code Here
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
        Pair<Trace, Trace> index = new Pair<Trace, Trace>(new Trace(),
            Trace.fromString(toks[0].trim()));
        String map = toks[1].trim();
        map = map.substring(1, map.length() - 1);

        CodeCoverageMap mapObject = new CodeCoverageMap();
        if (map.length() > 0) {
          // Create the parsed coverage map object
          String[] maplets = (map.trim()).split("\\},\\{");
          // Trim the {} off the first and last items...
          maplets[0] = maplets[0].substring(1);
          maplets[maplets.length - 1] = maplets[maplets.length - 1]
              .substring(0,
                  maplets[maplets.length - 1].length() - 1);
          for (String m : maplets) {
            // Maplets have the form {line, count} but should be
            // missing the {} from the way we split the string.
            String[] parts = m.split(",");
            mapObject.add(parts[0], Integer.parseInt(parts[1]));
          }

        }
        coverageMaps.put(index, mapObject);
        // System.out.println("Loading coverage map for \"" +
View Full Code Here
177
178
179
180
181
182
183
184
185
186
187
                            for (Trace p : paths) {
                                //System.out.println("Generating coverage for " + path + "-" + p);
                                Collection<Trace> onlyPath = new LinkedList<Trace>();
                                onlyPath.add(p);
                                Pair<Trace, Trace> prefixSuffix = ErlangOracleVisualiser.getPrefixSuffixPair(allPrefixTraces, onlyPath);
                                CodeCoverageMap map = ErlangOracleVisualiser.getCoverageMap(prefixSuffix.firstElem, prefixSuffix.secondElem);
                                //System.out.println("Generated coverage " + prefixSuffix[0] + "-" + prefixSuffix[1] + ": " + map.toString());
                                erlCoverage.coverage.add(map);
                            }
                        }
                    }
View Full Code Here
152
153
154
155
156
157
158
159
160
161
162
                            for (Trace p : paths) {
                                //System.out.println("Generating coverage for " + path + "-" + p);
                                Collection<Trace> onlyPath = new LinkedList<Trace>();
                                onlyPath.add(p);
                                Pair<Trace, Trace> prefixSuffix = ErlangOracleVisualiser.getPrefixSuffixPair(allPrefixTraces, onlyPath);
                                CodeCoverageMap map = ErlangOracleVisualiser.getCoverageMap(prefixSuffix.firstElem, prefixSuffix.secondElem);
                                //System.out.println("Generated coverage " + prefixSuffix[0] + "-" + prefixSuffix[1] + ": " + map.toString());
                                coverage.add(map);
                            }
                        }
                        v.addUserDatum(JUConstants.PATH, allPrefixTraces, UserData.SHARED);
View Full Code Here
189
190
191
192
193
194
195
196
197
198
199
                            for (Trace p : paths) {
                                //System.out.println("Generating coverage for " + path + "-" + p);
                                Collection<Trace> onlyPath = new LinkedList<Trace>();
                                onlyPath.add(p);
                                Pair<Trace, Trace> prefixSuffix = ErlangOracleVisualiser.getPrefixSuffixPair(allPrefixTraces, onlyPath);
                                CodeCoverageMap map = ErlangOracleVisualiser.getCoverageMap(prefixSuffix.firstElem, prefixSuffix.secondElem);
                                //System.out.println("Generated coverage " + prefixSuffix[0] + "-" + prefixSuffix[1] + ": " + map.toString());
                                erlCoverage.coverage.add(map);
                            }
                        }
                    }
View Full Code Here
TOP

Related Classes of statechum.analysis.CodeCoverage.CodeCoverageMap

  • statechum.analysis.learning.RPNILearner
  • statechum.apps.ErlangQSMOracle
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.