@Override public LexNameList caseANamedTraceDefinition(ANamedTraceDefinition node) throws AnalysisException { return new LexNameList(node.getName()); }
/** * obtain all trace definitions, or just the one named * * @param definitions * @param traceName * null or a name of a trace * @return a list of named trace definitions */ private List<ANamedTraceDefinition> getAllTraceDefinitions( List<PDefinition> definitions, String traceName) { List<ANamedTraceDefinition> traceDefs = new Vector<ANamedTraceDefinition>(); for (Object definition : definitions) { if (definition instanceof ANamedTraceDefinition) { if (traceName == null || ((ANamedTraceDefinition) definition).getName().getName().equals(traceName)) { traceDefs.add((ANamedTraceDefinition) definition); } } } return traceDefs; }
infoProcessingTrace(className, mtd.getName().getName(), size); if (storage != null) storage.StartTrace(mtd.getName().getName(), mtd.getLocation().getFile().getName(), mtd.getLocation().getStartLine(), mtd.getLocation().getStartPos(), size, new Float(subset), TraceReductionType.valueOf(traceReductionType.toString()), new Long(seed)); infoProcessingTest(className, mtd.getName().getName(), n, size); infoProcessingTraceFinished(className, mtd.getName().getName(), size, faildCount, inconclusiveCount, skippedCount);