Uses of Package
liquidjava.diagnostics

Packages that use liquidjava.diagnostics

Package	Description
liquidjava.diagnostics
liquidjava.diagnostics.errors
liquidjava.diagnostics.warnings
liquidjava.processor.refinement_checker

Classes in liquidjava.diagnostics used by liquidjava.diagnostics

Class	Description
Diagnostics	Singleton class to store diagnostics (errors and warnings) during the verification process
ErrorPosition

Classes in liquidjava.diagnostics used by liquidjava.diagnostics.errors

Class	Description
LJDiagnostic
TranslationTable	Translation table mapping variable names to their placement in code

Classes in liquidjava.diagnostics used by liquidjava.diagnostics.warnings

Class	Description
LJDiagnostic

Classes in liquidjava.diagnostics used by liquidjava.processor.refinement_checker

Class	Description
TranslationTable	Translation table mapping variable names to their placement in code