| title | Annotations |
|---|---|
| nav_order | 2 |
| has_children | true |
| has_toc | false |
| permalink | /annotations/ |
| description | Learn the different annotations in LiquidJava for writing specifications. |
LiquidJava extends Java with logical predicates and object protocol specifications. This section covers the different annotations for writing specifications.