Error Prone是一个Java静态分析工具

/* * Copyright 2015 The Error Prone Authors. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. */ package com.google.errorprone.bugpatterns.threadsafety; import static org.junit.Assume.assumeTrue; import com.google.common.collect.ImmutableList; import com.google.errorprone.CompilationTestHelper; import com.google.errorprone.annotations.CanIgnoreReturnValue; import com.google.errorprone.annotations.Immutable; import com.google.errorprone.annotations.concurrent.LazyInit; import com.google.errorprone.util.RuntimeVersion; import java.util.Arrays; import org.junit.Ignore; import org.junit.Test; import org.junit.runner.RunWith; import org.junit.runners.JUnit4; /** {@link ImmutableChecker}Test */ @RunWith(JUnit4.class) public class ImmutableCheckerTest { private final CompilationTestHelper compilationHelper = CompilationTestHelper.newInstance(ImmutableChecker.class, getClass()); @Test public void basicFields() { compilationHelper .addSourceLines( "Test.java", "import com.google.errorprone.annotations.Immutable;", "import com.google.common.collect.ImmutableList;", "@Immutable class Test {", " final int a = 42;", " final String b = null;", " final java.lang.String c = null;", " final com.google.common.collect.ImmutableList<String> d = null;", " final ImmutableList<Integer> e = null;", " final Deprecated dep = null;", " final Class<?> clazz = Class.class;", "}") .doTest(); } @Test public void interfacesMutableByDefault() { compilationHelper .addSourceLines("I.java", "interface I {}") .addSourceLines( "Test.java", "import com.google.errorprone.annotations.Immutable;", "@Immutable class Test {", " // BUG: Diagnostic contains:" + " 'I' is not annotated with @com.google.errorprone.annotations.Immutable", " private final I i = new I() {};", "}") .doTest(); } @Test public void annotationsAreImmutable() { compilationHelper .addSourceLines( "Test.java", "import com.google.errorprone.annotations.Immutable;", "@Immutable @interface Test {}") .doTest(); } @Test public void customAnnotationsMightBeMutable() { compilationHelper .addSourceLines( "Test.java", "import com.google.errorprone.annotations.Immutable;", "@Immutable @interface Test {}") .addSourceLines( "MyTest.java", "import com.google.errorprone.annotations.Immutable;", "import java.lang.annotation.Annotation;", "@Immutable final class MyTest implements Test {", " // BUG: Diagnostic contains: non-final", " public Object[] xs = {};", " public Class<? extends Annotation> annotationType() {", " return null;", " }", "}") .doTest(); } @Ignore("b/25630189") // don't check annotations for immutability yet @Test public void customImplementionsOfImplicitlyImmutableAnnotationsMustBeImmutable() { compilationHelper .addSourceLines("Anno.java", "@interface Anno {}") .addSourceLines( "MyAnno.java", "import java.lang.annotation.Annotation;", "final class MyAnno implements Anno {", " // BUG: Diagnostic contains:", " public Object[] xs = {};", " public Class<? extends Annotation> annotationType() {", " return null;", " }", "}") .addSourceLines( "Test.java", "import com.google.errorprone.annotations.Immutable;", "@Immutable class Test {", " private final Anno anno = new MyAnno();", "}") .doTest(); } @Test public void customAnnotationsSubtype() { compilationHelper .addSourceLines( "Test.java", "import com.google.errorprone.annotations.Immutable;", "@Immutable @interface Test {}") .addSourceLines( "MyTest.java", "import java.lang.annotation.Annotation;", "final class MyTest implements Test {", " // BUG: Diagnostic contains: non-final field 'xs'", " public Object[] xs = {};", " public Class<? extends Annotation> annotationType() {", " return null;", " }", "}") .doTest(); } @Test public void annotationsDefaultToImmutable() { compilationHelper .addSourceLines( "Test.java", "import javax.lang.model.element.ElementKind;", "import com.google.errorprone.annotations.Immutable;", "@Immutable class Test {", " private final Override override = null;", "}") .doTest(); } @Test public void enumsDefaultToImmutable() { compilationHelper .addSourceLines( "Test.java", "import javax.lang.model.element.ElementKind;", "import com.google.errorprone.annotations.Immutable;", "@Immutable class Test {", " private final ElementKind ek = null;", "}") .doTest(); } @Test public void enumsMayBeImmutable() { compilationHelper .addSourceLines( "Kind.java", "import com.google.errorprone.annotations.Immutable;", "@Immutable enum Kind { A, B, C; }") .addSourceLines( "Test.java", "import com.google.errorprone.annotations.Immutable;", "@Immutable class Test {", " private final Kind k = null;", "}") .doTest(); } @Test public void mutableArray() { compilationHelper .addSourceLines( "Test.java", "import com.google.errorprone.annotations.Immutable;", "@Immutable class Test {", " // BUG: Diagnostic contains:", " final int[] xs = {42};", "}") .doTest(); } @Test public void annotatedImmutableInterfaces() { compilationHelper .addSourceLines( "Test.java", "import com.google.errorprone.annotations.Immutable;", "@Immutable interface Test {}") .doTest(); } @Test public void immutableInterfaceField() { compilationHelper .addSourceLines( "MyInterface.java", "import com.google.errorprone.annotations.Immutable;", "@Immutable interface MyInterface {}") .addSourceLines( "Test.java", "import com.google.errorprone.annotations.Immutable;", "@Immutable class Test {", " final MyInterface i = null;", "}") .doTest(); } @Test public void deeplyImmutableArguments() { compilationHelper .addSourceLines( "Test.java", "import com.google.errorprone.annotations.Immutable;", "import com.google.common.collect.ImmutableList;", "@Immutable class Test {", " final ImmutableList<ImmutableList<ImmutableList<String>>> l = null;", "}") .doTest(); } @Test public void mutableNonFinalField() { compilationHelper .addSour