Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: REQUIRED | OPTIONAL DETAIL: ELEMENT

org.jmlspecs.annotation
Annotation Type AxiomDefinitions

@Retention(value=RUNTIME)
@Documented
public @interface AxiomDefinitions

Optional Element Summary
 Axiom[] value
           
 

value

public abstract Axiom[] value
Default:
{}
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: REQUIRED | OPTIONAL DETAIL: ELEMENT