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 ReturnValue

@TypeQualifier
@Inherited
@SubtypeOf(value={})
public @interface ReturnValue

Asserts that the return Value of the method is in one of the state specified by isIn.

Author:
Daniel Wand

Required Element Summary
 java.lang.String[] isIn
           
 

Element Detail

isIn

public abstract java.lang.String[] isIn
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: REQUIRED | OPTIONAL DETAIL: ELEMENT