|
Stanse
-1
|
| Defines public abstract class Checker | |
| Defines public class CheckerError, which is base class for all the exceptions which can be thrown in concrete checkers | |
| PointsToAnalyzer factory | |
| ReachabilityChecker implementation | |
| Copyright (c) 2009 Marek Trtik | |
| Licensed under GPLv2 | |
1.8.6