diff options
Diffstat (limited to 'test/transform/resource/after-delombok')
3 files changed, 15 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; diff --git a/test/transform/resource/after-delombok/UtilityClassInner.java b/test/transform/resource/after-delombok/UtilityClassInner.java new file mode 100644 index 00000000..72f1656a --- /dev/null +++ b/test/transform/resource/after-delombok/UtilityClassInner.java @@ -0,0 +1,8 @@ +class UtilityClassInner { + static final class UtilClass { + @java.lang.SuppressWarnings("all") + private UtilClass() { + throw new java.lang.UnsupportedOperationException("This is a utility class and cannot be instantiated"); + } + } +}
\ No newline at end of file |