Hierarchy For Package de.unisaarland.cs.st.jerify.verifier.quals

Package Hierarchies:

All Packages

Annotation Type Hierarchy

• de.unisaarland.cs.st.jerify.verifier.quals.RequireState (implements java.lang.annotation.Annotation)
• de.unisaarland.cs.st.jerify.verifier.quals.TS (implements java.lang.annotation.Annotation)
• de.unisaarland.cs.st.jerify.verifier.quals.ReturnValue (implements java.lang.annotation.Annotation)
• de.unisaarland.cs.st.jerify.verifier.quals.TypestateChecked (implements java.lang.annotation.Annotation)
• de.unisaarland.cs.st.jerify.verifier.quals.NoStateChanges (implements java.lang.annotation.Annotation)
• de.unisaarland.cs.st.jerify.verifier.quals.RecieverTypestate (implements java.lang.annotation.Annotation)
• de.unisaarland.cs.st.jerify.verifier.quals.ScopeEndStates (implements java.lang.annotation.Annotation)
• de.unisaarland.cs.st.jerify.verifier.quals.SetState (implements java.lang.annotation.Annotation)
• de.unisaarland.cs.st.jerify.verifier.quals.ChangeState (implements java.lang.annotation.Annotation)