Uses of Package
liquidjava.specification

Packages that use liquidjava.specification

Package	Description
example

Classes in liquidjava.specification used by example

Class	Description
Refinement	Annotation to add a refinement to variables, class fields, method's parameters and method's return value e.g.