All Classes and Interfaces
Class
Description
Annotation to create refinements for an external library.
Annotation to create a ghost variable for a class.
Annotation to allow the creation of multiple @Ghost
Main class for the Repair system
Annotation 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 class
Annotation 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.