de.unisaarland.cs.st.jerify.verifier.quals
Annotation Type RecieverTypestate
@TypeQualifier
@Inherited
@SubtypeOf(value={})
public @interface RecieverTypestate
Asserts that the receiver of the method invocation can only be in the returnsTrueIsIn states
if the method returns true, and only in the returnsFalseIsIn states if it returns false
it has no effect on methods that do not return a boolean
The effect on the typestate analysis is only that it is filtered with the possible states,
the states are not added to the analysis.
- Author:
- Daniel Wand
returnsTrueIsIn
public abstract java.lang.String[] returnsTrueIsIn
returnsFalseIsIn
public abstract java.lang.String[] returnsFalseIsIn