![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ArrayLen.java | 2025-06-05 13:26 | 525 | |
| MatchesRegex.java | 2025-06-05 13:26 | 532 | |
| ArrayLenRange.java | 2025-06-05 13:26 | 578 | |
| BoolVal.java | 2025-06-05 13:26 | 528 | |
| MinLen.java | 2025-06-05 13:26 | 446 | |
| BottomVal.java | 2025-06-05 13:26 | 1.0K | |
| MinLenFieldInvariant.java | 2025-06-05 13:26 | 494 | |
| DoesNotMatchRegex.java | 2025-06-05 13:26 | 537 | |
| PolyValue.java | 2025-06-05 13:26 | 527 | |
| StaticallyExecutable.java | 2025-06-05 13:26 | 428 | |
| DoubleVal.java | 2025-06-05 13:26 | 529 | |
| StringVal.java | 2025-06-05 13:26 | 529 | |
| EnsuresMinLenIf.java | 2025-06-05 13:26 | 1.2K | |
| UnknownVal.java | 2025-06-05 13:26 | 676 | |
| EnumVal.java | 2025-06-05 13:26 | 442 | |
| IntRange.java | 2025-06-05 13:26 | 585 | |
| IntRangeFromGTENegativeOne.java | 2025-06-05 13:26 | 434 | |
| IntRangeFromNonNegative.java | 2025-06-05 13:26 | 431 | |
| IntRangeFromPositive.java | 2025-06-05 13:26 | 428 | |
| IntVal.java | 2025-06-05 13:26 | 524 | |