Diagnostics

In this section, you can learn about the different types of errors and warnings that LiquidJava can report, how to use custom error messages to provide more informative feedback, and how to interpret refinement errors.

Errors

Learn about the different verification errors LiquidJava can report and what each one means.

Warnings

Learn about the different verification warnings LiquidJava can report and what each one means.

Custom Messages

Learn how to provide clearer diagnostic messages.

Understanding Refinement Errors

Learn how to read and interpret LiquidJava refinement errors.