All Classes and Interfaces
Class
Description
A single defect found.
Default.
A single checker for an
.xmir
file.A comment must include only ASCII characters.
All FQNs that have `@atom` in the entire scope must be unique.
Checks that `+alias` is pointing to existing `.xmir` files.
Object is not unique.
Lint that checks test object name is a verb in singular.
A test is missing for a live EO program.
Unit test without live file.
A collection of lints for Whole Program Analysis (WPA),
provided by the
Programs
class.A single XMIR program to analyze.
A collection of XMIR programs to analyze.
Severity.