Public Member Functions
synchronized Configuration	getConfiguration ()

synchronized void	setConfiguration (Configuration configuration)

String	getRootDirectory ()

String	getOutputDirectory ()

void	setOutputDirectory (final String dir)

void	setVerbosityLevel (final Level level)

synchronized void	dumpAST ()

synchronized void	dumpCFG ()

synchronized void	dumpCallGraph ()

Static Public Member Functions
static void	main (String[] args)

static Stanse	getInstance ()

static UnitManager	getUnitManager ()

Detailed Description

Class containing the main() method. Not supposed to be instantiated. The main functionality is command-line parsing.

Member Function Documentation

synchronized void cz.muni.stanse.Stanse.dumpAST ( )

inline

synchronized void cz.muni.stanse.Stanse.dumpCallGraph ( )

inline

synchronized void cz.muni.stanse.Stanse.dumpCFG ( )

inline

synchronized Configuration cz.muni.stanse.Stanse.getConfiguration ( )

inline

static Stanse cz.muni.stanse.Stanse.getInstance ( )

inlinestatic

String cz.muni.stanse.Stanse.getOutputDirectory ( )

inline

String cz.muni.stanse.Stanse.getRootDirectory ( )

inline

static UnitManager cz.muni.stanse.Stanse.getUnitManager ( )

inlinestatic

static void cz.muni.stanse.Stanse.main ( String[] args )

inlinestatic

synchronized void cz.muni.stanse.Stanse.setConfiguration ( Configuration configuration )

inline

void cz.muni.stanse.Stanse.setOutputDirectory ( final String dir )

inline

void cz.muni.stanse.Stanse.setVerbosityLevel ( final Level level )

inline

The documentation for this class was generated from the following file: