public class Main
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static Analysis |
init(OptionValues options,
IAnalysisMonitoring monitoring,
SolverSynchronizer sync)
Reads the input and prepares an analysis object.
|
static Analysis |
init(java.lang.String[] args,
SolverSynchronizer sync)
Reads the input and prepares an analysis object, using the default monitoring and command-line arguments.
|
static void |
initLogging()
Configures log4j.
|
static void |
main(java.lang.String[] args)
Runs the analysis on the given source files.
|
static void |
reset()
Resets all internal counters, caches, and canonicalized static fields.
|
static void |
run(Analysis analysis)
Runs the analysis.
|
public static Analysis init(OptionValues options, IAnalysisMonitoring monitoring, SolverSynchronizer sync) throws AnalysisException
AnalysisException
- if internal errorpublic static Analysis init(java.lang.String[] args, SolverSynchronizer sync) throws AnalysisException
AnalysisException
public static void initLogging()
public static void main(java.lang.String[] args)
public static void reset()
public static void run(Analysis analysis) throws AnalysisException
AnalysisException
- if internal errorCopyright © 2009-2019 Aarhus University