checker-framework icon indicating copy to clipboard operation
checker-framework copied to clipboard

Published 20 hours ago • verified publisher icon typetools

Add `@SideEffectsOnly` annotation

Open mernst opened this issue 2 years ago • 3 comments

mernst avatar Jan 26 '23 00:01 mernst

@mernst The tests are failing:

org.checkerframework.framework.test.junit.SideEffectsOnlyTest > run[/__w/1/s/framework/sideeffectsonly] FAILED
    java.lang.AssertionError: 16 out of 16 expected diagnostics were found.
    2 unexpected diagnostics were found:
      CheckSideEffectsOnly.java:12: error: (purity.incorrect.sideeffectsonly)
      CheckSideEffectsOnly.java:17: error: (purity.incorrect.sideeffectsonly)

smillst avatar Jan 27 '23 16:01 smillst

FYI this commit d4230fe7e043425aa366da2981ca473eef632e7f is the latest good commit before my merge to make refinement happen for local variables.

jyoo980 avatar Apr 17 '24 02:04 jyoo980

Failing test case is fixed with a JDK annotation (not merged).

jyoo980 avatar Apr 25 '24 04:04 jyoo980