Annotation Interface PolyGrowShrink


A polymorphic qualifier for @GrowOnly type system.
See the Checker Framework Manual:
Index Checker, Qualifier polymorphism