diff options
| author |  ccalvarin <ccalvarin@google.com> | 2017-08-23 21:40:49 +0200 |
|---|---|---|
| committer |  Damien Martin-Guillerez <dmarting@google.com> | 2017-08-24 13:59:07 +0200 |
| commit | edee4f2b02528f240cb342e9fe8c2ad14be0ada5 (patch) | |
| tree | 12a1920eae7916ca0a0edf801d5a6981bd426507 /src/main/java/com/google/devtools/build | |
| parent | 1e2954d4b4094f5f3c1c5a4b5cf70240d0c82d52 (diff) | |
Check at compile time that all options are declared public, and are non-final and non-static.
Remove the now redundant check in the testing framework, as the cases being tested no longer compile. Keep tests that check the contents of the OptionsBase as a whole, however, as this is still not being tested at compile time.
PiperOrigin-RevId: 166239209
Diffstat (limited to 'src/main/java/com/google/devtools/build')
0 files changed, 0 insertions, 0 deletions