Package liquidjava.specification
package liquidjava.specification
-
Annotation InterfacesClassDescriptionAnnotation to create refinements for an external library.Annotation to create a ghost variable for a class.Annotation to allow the creation of multiple @GhostAnnotation to add a refinement to variables, class fields, method's parameters and method's return value e.g.Annotation to create a ghost variable for a class.Annotation to create a multiple Alias in a classAnnotation to create state transitions in a method.Interface to allow multiple state refinements in a method.Annotation to create the disjoint states in which class objects can be.Interface to allow multiple StateSets in a class.