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

de.unisaarland.cs.st.jerify.verifier.quals
Annotation Type TS

@TypeQualifier
@Target(value=METHOD)
@Inherited
@SubtypeOf(value={})
public @interface TS

Encapsulates several ChangeState Annotations, because multiple annotations are not allowed.

Author:
Daniel Wand (typestate@ewand.de)

Required Element Summary
 ChangeState[] value
           
 

Element Detail

value

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