dk.brics.tajs

Class Main

java.lang.Object

dk.brics.tajs.Main

public class Main
extends Object

Main class for the TAJS program analysis.

Method Summary

Methods

Modifier and Type	Method and Description
static Analysis	init(String[] args, SolverSynchronizer sync) Reads the input and prepares an analysis object.
static void	initLogging() Configures log4j.
static void	main(String[] args) Runs the analysis on the given source files.
static void	reset() Resets all internal counters and caches.
static void	run(Analysis analysis) Runs the analysis.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

init

public static Analysis init(String[] args,
            SolverSynchronizer sync)
                     throws AnalysisException

Reads the input and prepares an analysis object.

Returns:

analysis object, null if invalid input

Throws:

AnalysisException - if internal error

initLogging

public static void initLogging()

Configures log4j.

main

public static void main(String[] args)

Runs the analysis on the given source files. Run without arguments to see the usage. Terminates with System.exit.

reset

public static void reset()

Resets all internal counters and caches.

run

public static void run(Analysis analysis)
                throws AnalysisException

Runs the analysis.

Throws:

AnalysisException - if internal error