All Classes and Interfaces

Class
Description
A single defect found.
Default implementation of Defect.
A single checker for an .xmir file.
A single XMIR program to analyze.
A collection of XMIR programs to analyze.
Severity.