Package liquidjava.diagnostics

package liquidjava.diagnostics

Related Packages

Package	Description
liquidjava.diagnostics.errors
liquidjava.diagnostics.warnings

Class	Description
Colors
Diagnostics	Singleton class to store diagnostics (errors and warnings) during the verification process
ErrorPosition
LJDiagnostic
TranslationTable	Translation table mapping variable names to their placement in code