|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.softevo.jdynpur.eval.MultiplePurityTraceAnalyser
public class MultiplePurityTraceAnalyser
This class analyzes several execution traces for the same program and merges the results. If a method was impure in at least one trace, then it is considered to be impure.
Constructor Summary | |
---|---|
MultiplePurityTraceAnalyser(java.lang.String fileName,
java.lang.String resultFileName,
boolean analyseParameterMutability)
Creates a new analyzer for all traces in the given directory. |
Method Summary | |
---|---|
void |
analyse()
Analyzes all trace files in the directory. |
static void |
main(java.lang.String[] args)
Launches analysis of a directory of trace files. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public MultiplePurityTraceAnalyser(java.lang.String fileName, java.lang.String resultFileName, boolean analyseParameterMutability)
fileName
- the name of the directoryMethod Detail |
---|
public void analyse() throws java.io.IOException, javax.xml.parsers.ParserConfigurationException, javax.xml.transform.TransformerException, org.xml.sax.SAXException
HashSet
fields. This
method also outputs some information on System.out
java.io.IOException
- if an exception occurs reading a trace.
javax.xml.transform.TransformerException
javax.xml.parsers.ParserConfigurationException
org.xml.sax.SAXException
public static void main(java.lang.String[] args) throws java.io.IOException, javax.xml.parsers.ParserConfigurationException, javax.xml.transform.TransformerException, org.xml.sax.SAXException
args
- the command line arguments
javax.xml.transform.TransformerException
javax.xml.parsers.ParserConfigurationException
org.xml.sax.SAXException
java.io.IOException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |