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

Classes
class	AliasResolver

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	LinearCode

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

Detailed Description

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

Licensed under GPLv2.

Packages