cz::muni::stanse::codestructures Namespace Reference

defines public class CheckerError, which is base class for all the exceptions which can be thrown in concrete checkers. More...

Classes
class	ArgumentPassingManager
class	CFG
class	CFGBranchNode
class	CFGBreakNode
class	CFGHandle
class	CFGJoinNode
class	CFGNode
class	CFGNodeNumber
class	CFGPart
interface	CFGsNavigator
class	ElementCFGdictionary
class	InterproceduralCFGsNavigator
class	IntraproceduralCFGsNavigator
class	LazyInternalStructures
class	LazyInternalStructuresInter
class	LazyInternalStructuresIntra
class	ParserException
	Defines base class for all the exceptions which can be thrown in concrete checkers. More...
class	PassingSolver
class	ReturnValuePassingManager
class	Unit
	Holds all the relevant data about the code in one compilation unit (usually a file). More...
interface	UnitManager
class	UnitManagerLRU
Namespaces
namespace	builders
namespace	traversal

---

Detailed Description

defines public class CheckerError, which is base class for all the exceptions which can be thrown in concrete checkers.

Copyright (c) 2008-2009 Marek Trtik Copyright (c) 2009 Jiri Slaby <jirislaby@gmail.com>

Licensed under GPLv2.