de.unisaarland.cs.st.jerify.verifier.quals

Annotation Types  ChangeState NoStateChanges RecieverTypestate RequireState ReturnValue ScopeEndStates SetState TS TypestateChecked