100644 blob df857d2acb71d5616fa4503fc73d05ba1f0ead99	AnnotatedFor.java
100644 blob f9ef370b5914a634ebe647ea365045fc4b3f60d3	CFComment.java
100644 blob 9b7feb69237b7cf888322c61d8e08da08db54dcf	ConditionalPostconditionAnnotation.java
100644 blob 1599464f6ac3f59d9aa9987b6c82d8e6fc81c023	Covariant.java
100644 blob a9a8c6c690ec4f506d5950926e9f1a0c32cd63f7	DefaultFor.java
100644 blob 19eb9a10bb86890bf74d9f9f1732fac48de07809	DefaultQualifier.java
100644 blob c88065e8d1a84dee0a933dad7a25abdc9cb4d8de	DefaultQualifierForUse.java
100644 blob 69515f78251e94b2dd11bea68ad5245cb855e6c0	DefaultQualifierInHierarchy.java
100644 blob 8af324d539b1300c1b02f86d48c531da1c1ee9f3	EnsuresQualifier.java
100644 blob 2596dbea864d280667baa5cd94f5a7627524f02c	EnsuresQualifierIf.java
100644 blob 2a5b604971605ea51a4af78621664b1a8e28d9d9	FieldInvariant.java
100644 blob 11522ff6a1f43ffd8264678a7c842dd386331508	FromByteCode.java
100644 blob de528eebb37c362cfaa5b4e266053263cf0db8ae	FromStubFile.java
100644 blob 9cc75018286a9ccada9398d2f5af10b91e459add	HasQualifierParameter.java
100644 blob 588bf67a145be9caab17037332e3858656cafaed	IgnoreInWholeProgramInference.java
100644 blob cd1db57dc269f1e54ac6416e42d0e6cac3cc4df0	InheritedAnnotation.java
100644 blob 1925dc085d08a797feae318629fd28ec04864238	InvisibleQualifier.java
100644 blob 18e01ca3bb99df08782ab4ad050fdd35b9dd830d	JavaExpression.java
100644 blob 7b3b291007b663f7b29e12af066bb798b47bd261	LiteralKind.java
100644 blob 73b2fde809aa24a8d71f61f08d522e24a9cdf4be	MonotonicQualifier.java
100644 blob d1d1c76658d695fc258946dff96838f355e9cb9a	NoDefaultQualifierForUse.java
100644 blob 4dd970b9c732dbfd4b20c9e45f2fa44ba1691667	NoQualifierParameter.java
100644 blob adcc86500194ecdef3ed43cd59e2c8cc38cb4f1a	PolymorphicQualifier.java
100644 blob 67bb434e8483331f126ba9e47319ebecc25a9a3b	PostconditionAnnotation.java
100644 blob 95af23ec37612e77a8414c37b8c61cfaa66c0a6c	PreconditionAnnotation.java
100644 blob 231f999ab987da9882dbb78b3438701d56eb031b	PurityUnqualified.java
100644 blob e56a2800ccc96f8cd5f42eab1d2143d87baf9635	QualifierArgument.java
100644 blob 95eb06890c67bbd37ed58c38b61f74e3a2655259	QualifierForLiterals.java
100644 blob 667f408627e3f09db7d4af7fb6e64520ca83d020	RelevantJavaTypes.java
100644 blob f8d57e4c0cad2e50ffa9d4961fe0e6a225ccabcf	RequiresQualifier.java
100644 blob 25d74cbda4a42f5206bd7f68b7c2f9f3213118ef	StubFiles.java
100644 blob 66a51941739eb64d78e74f4b24a4fac05331fbf3	SubtypeOf.java
100644 blob 704566ab8ce77f54e78dbc8b13eeb1d762f67471	TargetLocations.java
100644 blob 9adef287c7c0e0c03ff68dfcea5d291eca637a69	TypeKind.java
100644 blob 5ae57a2da2ab1b461de50be5092d8795bd49231e	TypeUseLocation.java
100644 blob e431e76dc32835c2d2ea5db59bdd3564624392b6	Unused.java
100644 blob f1f334242e7417be4f7bc5c1af17fc130433b548	UpperBoundFor.java
100644 blob 8fc168e53856d3d60754d3d27a2d147fbad236b9	package-info.java