checker/jtreg/stubs/issue2147/EnumStubTest.java

/*
 * @test
 * @summary Test case for Issue 2147 https://github.com/typetools/checker-framework/issues/2147
 *
 * @compile -XDrawDiagnostics SampleEnum.java
 *
 * @compile/fail/ref=WithoutStub.out -XDrawDiagnostics -processor org.checkerframework.checker.tainting.TaintingChecker -AstubWarnIfNotFound EnumStubTest.java
 * @compile/fail/ref=WithStub.out -XDrawDiagnostics -processor org.checkerframework.checker.tainting.TaintingChecker -AstubWarnIfNotFound -Astubs=SampleEnum.astub EnumStubTest.java
 */

import org.checkerframework.checker.tainting.qual.*;

public class EnumStubTest {
  void test() {
    requireEnum(SampleEnum.FIRST);
    requireEnum(SampleEnum.SECOND);
  }

  void requireEnum(@Untainted SampleEnum sEnum) {}
}