Package cz.muni.stanse.reachabilitychecker

ReachabilityChecker implementation. More...

Classes
class	ReachabilityChecker
	Static checker which is able to detect unrechable code.
class	ReachabilityCheckerCreator

Detailed Description

ReachabilityChecker implementation.

ReachabilityChecker factory.

Copyright (c) 2009 Jiri Slaby jiris.nosp@m.laby.nosp@m.@gmai.nosp@m.l.co.nosp@m.m

Licensed under GPLv2.