framework/jtreg/StubParserEnum/AnnotationFileParserEnumTest.java

/*
 * @test
 * @summary Adapted test case for Issue 2147
 * https://github.com/typetools/checker-framework/issues/2147 using framework package quals
 *
 * @compile/fail/ref=WithoutStub.out -XDrawDiagnostics -processor org.checkerframework.common.util.report.ReportChecker -AstubWarnIfNotFound AnnotationFileParserEnumTest.java
 * @compile/fail/ref=WithStub.out -XDrawDiagnostics -processor org.checkerframework.common.util.report.ReportChecker -AstubWarnIfNotFound -Astubs=AnnotationFileParserEnum.astub AnnotationFileParserEnumTest.java
 */

import static java.util.concurrent.TimeUnit.*;

import java.util.concurrent.TimeUnit;
import org.checkerframework.common.util.report.qual.*;

public class AnnotationFileParserEnumTest {

  @SuppressWarnings("report")
  enum MyTimeUnit {
    NANOSECONDS,
    MICROSECONDS,
    @ReportReadWrite
    MILLISECONDS,
    @ReportReadWrite
    SECONDS;

    @ReportCall
    long toMicros(long d) {
      return d;
    }
  }

  void readFromEnumInSource() {
    MyTimeUnit u1 = MyTimeUnit.SECONDS;
    MyTimeUnit u2 = MyTimeUnit.MILLISECONDS;
    MyTimeUnit u3 = MyTimeUnit.MICROSECONDS;
    MyTimeUnit u4 = MyTimeUnit.NANOSECONDS;
    long sUS = MyTimeUnit.SECONDS.toMicros(10);
  }

  void readFromEnumInStub() {
    TimeUnit u1 = TimeUnit.SECONDS;
    TimeUnit u2 = MILLISECONDS;
    TimeUnit u3 = TimeUnit.MICROSECONDS;
    TimeUnit u4 = NANOSECONDS;
    long sUS = TimeUnit.SECONDS.toMicros(10);
    long sNS = SECONDS.toNanos(10);
    long msMS = TimeUnit.MILLISECONDS.toMillis(10);
    long msUS = TimeUnit.MILLISECONDS.toMicros(10);
    long msNS = MILLISECONDS.toNanos(10);
  }
}