diff options
Diffstat (limited to 'test/transform/resource/after-delombok')
| -rw-r--r-- | test/transform/resource/after-delombok/CheckerFrameworkBasic.java | 6 | ||||
| -rw-r--r-- | test/transform/resource/after-delombok/CheckerFrameworkSuperBuilder.java | 8 |
2 files changed, 7 insertions, 7 deletions
diff --git a/test/transform/resource/after-delombok/CheckerFrameworkBasic.java b/test/transform/resource/after-delombok/CheckerFrameworkBasic.java index b9d4e0fa..3077728c 100644 --- a/test/transform/resource/after-delombok/CheckerFrameworkBasic.java +++ b/test/transform/resource/after-delombok/CheckerFrameworkBasic.java @@ -8,12 +8,12 @@ class CheckerFrameworkBasic { this.x = x; this.y = y; } - @org.checkerframework.dataflow.qual.SideEffectFree + @org.checkerframework.dataflow.qual.Pure @java.lang.SuppressWarnings("all") public int getX() { return this.x; } - @org.checkerframework.dataflow.qual.SideEffectFree + @org.checkerframework.dataflow.qual.Pure @java.lang.SuppressWarnings("all") public int getY() { return this.y; @@ -42,7 +42,7 @@ class CheckerFrameworkBasic { if (this.getZ() != other.getZ()) return false; return true; } - @org.checkerframework.dataflow.qual.SideEffectFree + @org.checkerframework.dataflow.qual.Pure @java.lang.SuppressWarnings("all") protected boolean canEqual(final java.lang.Object other) { return other instanceof CheckerFrameworkBasic; diff --git a/test/transform/resource/after-delombok/CheckerFrameworkSuperBuilder.java b/test/transform/resource/after-delombok/CheckerFrameworkSuperBuilder.java index b6e0ff3c..0f7f8997 100644 --- a/test/transform/resource/after-delombok/CheckerFrameworkSuperBuilder.java +++ b/test/transform/resource/after-delombok/CheckerFrameworkSuperBuilder.java @@ -23,7 +23,7 @@ class CheckerFrameworkSuperBuilder { @java.lang.SuppressWarnings("all") private java.util.ArrayList<String> names; @org.checkerframework.checker.builder.qual.ReturnsReceiver - @org.checkerframework.dataflow.qual.SideEffectFree + @org.checkerframework.dataflow.qual.Pure @java.lang.SuppressWarnings("all") protected abstract B self(); @org.checkerframework.dataflow.qual.SideEffectFree @@ -86,7 +86,7 @@ class CheckerFrameworkSuperBuilder { } @java.lang.Override @org.checkerframework.checker.builder.qual.ReturnsReceiver - @org.checkerframework.dataflow.qual.SideEffectFree + @org.checkerframework.dataflow.qual.Pure @java.lang.SuppressWarnings("all") protected CheckerFrameworkSuperBuilder.Parent.ParentBuilderImpl self() { return this; @@ -141,7 +141,7 @@ class CheckerFrameworkSuperBuilder { private int b; @java.lang.Override @org.checkerframework.checker.builder.qual.ReturnsReceiver - @org.checkerframework.dataflow.qual.SideEffectFree + @org.checkerframework.dataflow.qual.Pure @java.lang.SuppressWarnings("all") protected abstract B self(); @org.checkerframework.dataflow.qual.SideEffectFree @@ -176,7 +176,7 @@ class CheckerFrameworkSuperBuilder { } @java.lang.Override @org.checkerframework.checker.builder.qual.ReturnsReceiver - @org.checkerframework.dataflow.qual.SideEffectFree + @org.checkerframework.dataflow.qual.Pure @java.lang.SuppressWarnings("all") protected CheckerFrameworkSuperBuilder.Child.ChildBuilderImpl self() { return this; |