100644 blob c491909478e5ecc442752528af2e136eab75892c	AnnoWithStringArg.java
100644 blob e452855cdc5995d532a26a8c26f8fe9e15c3631c	Critical.java
100644 blob 600cb2fdf2dc078380eef9d63aa8dfcc87a80fd9	Encrypted.java
100644 blob 0b0cd24cfea97e18595fad1d2dcfc2ad8ed534be	EnsuresOdd.java
100644 blob 2cdeabab07e586baa949c2b6333e47a09358dbae	EnsuresOddIf.java
100644 blob f803f9841b592d698256498d03f58fe1d640e6dd	Even.java
100644 blob 720688c874a0393bf1127a68cf5d2ad30fd55879	EvenOddChecker.java
100644 blob d449ddab772152e8b347f6f229b811867fcc9bd9	FactoryTestChecker.java
100644 blob ac8d0865b8b964eaa4effaf1b0c3597179052450	FlowTestAnnotatedTypeFactory.java
100644 blob ad60a102491a1a32016532d7aa9c19d187a5d140	FlowTestChecker.java
100644 blob 36a8492989a0c001f15ce66b3bda7697c0825784	MonotonicOdd.java
100644 blob fe5407621b4a1a2af1530d20b01ef89f7f27d3f2	Odd.java
100644 blob 07d863bf16f289df04dd39349848e74fd3194b80	PatternA.java
100644 blob dc2768014bcec8b71cd27a3144c8f419f4ce0dd8	PatternAB.java
100644 blob bdcef53aac123c286499ecf2219163c95c439b83	PatternAC.java
100644 blob 6b2b13d7cb4d40bb0e132212f5ea86fdd900c159	PatternB.java
100644 blob b68509fa21830f96a1419275a6713b7382962c3c	PatternBC.java
100644 blob 7135fb6e7a88dd980498185da449714d8f39d4a4	PatternBottomFull.java
100644 blob ef12d93f792190cb814a0a2e8f92ebb6d64204af	PatternC.java
100644 blob bbccec3a478d830b0444ab50c8ca91f8a2bf2622	PatternUnknown.java
100644 blob 05ec1d312c2789e8c89260b424395abbc2a655ed	PolyEncrypted.java
100644 blob 81dafd5df51842c62f47be830b02f441b9f7ce2b	RequiresOdd.java
100644 blob db0eab4ddd540186f8a1e3b39ea02c3ff5727f30	SubQual.java
100644 blob 17b5e8b73c1ae44be3a1648657bf0736f32b7b08	SuperQual.java
100644 blob e17328e6420282281e60b22edb5def28f01163ac	Value.java
100644 blob 413e61761b494ad70af29d57d19c995683c747dd	package-info.java