All Classes and Interfaces

Class
Description
A single defect found.
Default implementation of Defect.
A single checker for an .xmir file.
Whole EO program, as collection of XMIR sources to analyze.
Severity.
A single source XMIR to analyze.