/*
 * @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 StubParserEnumTest.java
 * @compile/fail/ref=WithStub.out -XDrawDiagnostics -processor org.checkerframework.common.util.report.ReportChecker -AstubWarnIfNotFound -Astubs=StubParserEnum.astub StubParserEnumTest.java
 */

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

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

class StubParserEnumTest {

    @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);
    }
}