Hierarchy For Package liquidjava.specification

Package Hierarchies:

• All Packages

Annotation Interface Hierarchy

• liquidjava.specification.ExternalRefinementsFor (implements java.lang.annotation.Annotation)
• liquidjava.specification.Ghost (implements java.lang.annotation.Annotation)
• liquidjava.specification.GhostMultiple (implements java.lang.annotation.Annotation)
• liquidjava.specification.Refinement (implements java.lang.annotation.Annotation)
• liquidjava.specification.RefinementAlias (implements java.lang.annotation.Annotation)
• liquidjava.specification.RefinementAliasMultiple (implements java.lang.annotation.Annotation)
• liquidjava.specification.RefinementPredicate (implements java.lang.annotation.Annotation)
• liquidjava.specification.RefinementPredicateMultiple (implements java.lang.annotation.Annotation)
• liquidjava.specification.StateRefinement (implements java.lang.annotation.Annotation)
• liquidjava.specification.StateRefinementMultiple (implements java.lang.annotation.Annotation)
• liquidjava.specification.StateSet (implements java.lang.annotation.Annotation)
• liquidjava.specification.StateSets (implements java.lang.annotation.Annotation)