|
Stanse
-1
|
Classes | |
| class | cz.muni.stanse.checker.CheckerError |
| Represents output from checkers, which is the error found in the source file (represented by a set of CFGs). More... | |
Packages | |
| package | cz.muni.stanse.checker |
| defines public abstract class Checker. | |
1.8.6