cz.muni.stanse.Stanse Class Reference

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.

Version

$Id$

Member Function Documentation

dumpAST()

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

inline

dumpCallGraph()

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

inline

dumpCFG()

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

inline

getConfiguration()

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

inline

getInstance()

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

inlinestatic

getOutputDirectory()

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

inline

getRootDirectory()

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

inline

getUnitManager()

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

inlinestatic

main()

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

inlinestatic

setConfiguration()

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

inline

setOutputDirectory()

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

inline

setVerbosityLevel()

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

inline

---

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

• src/cz/muni/stanse/Stanse.java