public class JavaSource2CFGDOT
extends java.lang.Object
Constructor and Description |
---|
JavaSource2CFGDOT() |
Modifier and Type | Method and Description |
---|---|
static void |
generateDOTofCFG(java.lang.String inputFile,
java.lang.String outputFile,
java.lang.String method,
java.lang.String clas,
boolean pdf)
Just like method above but without analysis.
|
static <A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> |
generateDOTofCFG(java.lang.String inputFile,
java.lang.String outputFile,
java.lang.String method,
java.lang.String clas,
boolean pdf,
@Nullable Analysis<A,S,T> analysis)
Generate the DOT representation of the CFG for a method.
|
static <A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> |
generateDOTofCFG(java.lang.String inputFile,
java.lang.String outputFile,
java.lang.String method,
java.lang.String clas,
boolean pdf,
@Nullable Analysis<A,S,T> analysis,
com.sun.source.tree.MethodTree m,
com.sun.source.tree.CompilationUnitTree r) |
static @Nullable com.sun.source.tree.MethodTree |
getMethodTree(java.lang.String file,
java.lang.String method,
java.lang.String clas) |
static java.util.Map.Entry<com.sun.source.tree.MethodTree,com.sun.source.tree.CompilationUnitTree> |
getMethodTreeAndCompilationUnit(java.lang.String file,
java.lang.String method,
java.lang.String clas) |
static void |
main(java.lang.String[] args)
Main method.
|
protected static void |
printError(java.lang.String string)
Print an error message.
|
protected static void |
printUsage()
Print usage information.
|
protected static void |
producePDF(java.lang.String file)
Invoke DOT to generate a PDF.
|
public static void main(java.lang.String[] args)
protected static void printError(java.lang.String string)
protected static void printUsage()
public static void generateDOTofCFG(java.lang.String inputFile, java.lang.String outputFile, java.lang.String method, java.lang.String clas, boolean pdf)
public static <A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> void generateDOTofCFG(java.lang.String inputFile, java.lang.String outputFile, java.lang.String method, java.lang.String clas, boolean pdf, @Nullable Analysis<A,S,T> analysis)
inputFile
- Java source input file.outputFile
- Source output file (without file extension)method
- Method name to generate the CFG for.pdf
- Also generate a PDF?analysis
- Analysis to perform befor the visualization (or
null
if no analysis is to be performed).public static <A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> void generateDOTofCFG(java.lang.String inputFile, java.lang.String outputFile, java.lang.String method, java.lang.String clas, boolean pdf, @Nullable Analysis<A,S,T> analysis, com.sun.source.tree.MethodTree m, com.sun.source.tree.CompilationUnitTree r)
protected static void producePDF(java.lang.String file)
public static @Nullable com.sun.source.tree.MethodTree getMethodTree(java.lang.String file, java.lang.String method, java.lang.String clas)
public static java.util.Map.Entry<com.sun.source.tree.MethodTree,com.sun.source.tree.CompilationUnitTree> getMethodTreeAndCompilationUnit(java.lang.String file, java.lang.String method, java.lang.String clas)
CompilationUnitTree
in a specific file (or null they do
not exist).