将常见的 Java 错误捕获为编译时错误.zip

/* * Copyright 2023 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; import com.google.common.collect.ImmutableList; import com.google.errorprone.BugCheckerRefactoringTestHelper; import com.google.errorprone.CompilationTestHelper; import org.junit.Test; import org.junit.runner.RunWith; import org.junit.runners.JUnit4; /** Tests for {@link StatementSwitchToExpressionSwitch}. */ @RunWith(JUnit4.class) public final class StatementSwitchToExpressionSwitchTest { private final CompilationTestHelper helper = CompilationTestHelper.newInstance(StatementSwitchToExpressionSwitch.class, getClass()); private final BugCheckerRefactoringTestHelper refactoringHelper = BugCheckerRefactoringTestHelper.newInstance( StatementSwitchToExpressionSwitch.class, getClass()); @Test public void switchByEnum_removesRedundantBreak_error() { helper .addSourceLines( "Test.java", """ class Test { enum Side { OBVERSE, REVERSE }; public Test(int foo) {} public void foo(Side side) { // BUG: Diagnostic contains: [StatementSwitchToExpressionSwitch] switch (side) { case OBVERSE: // Explanatory comment System.out.println("the front is called the"); // Middle comment System.out.println("obverse"); // Break comment break; // End comment case REVERSE: System.out.println("reverse"); } } } """) .setArgs( ImmutableList.of("-XepOpt:StatementSwitchToExpressionSwitch:EnableDirectConversion")) .doTest(); // Check correct generated code refactoringHelper .addInputLines( "Test.java", """ class Test { enum Side { OBVERSE, REVERSE }; public Test(int foo) {} public void foo(Side side) { switch (side) { case OBVERSE /* left comment */ /* and there is more: */ // to end of line : // Explanatory comment System.out.println("the front is called the"); // Middle comment System.out.println("obverse"); // Break comment break; // End comment case REVERSE: System.out.println("reverse"); } } } """) .addOutputLines( "Test.java", """ class Test { enum Side { OBVERSE, REVERSE }; public Test(int foo) {} public void foo(Side side) { switch (side) { case OBVERSE -> { /* left comment */ /* and there is more: */ // to end of line // Explanatory comment System.out.println("the front is called the"); // Middle comment System.out.println("obverse"); // Break comment // End comment } case REVERSE -> System.out.println("reverse"); } } } """) .setArgs( ImmutableList.of("-XepOpt:StatementSwitchToExpressionSwitch:EnableDirectConversion")) .doTest(BugCheckerRefactoringTestHelper.TestMode.TEXT_MATCH); } @Test public void switchByEnumWithCompletionAnalsis_removesRedundantBreak_error() { helper .addSourceLines( "Test.java", """ class Test { enum Side { OBVERSE, REVERSE }; public Test(int foo) {} public void foo(Side side) { // BUG: Diagnostic contains: [StatementSwitchToExpressionSwitch] switch (side) { // Comment before first case case OBVERSE: // Explanatory comment System.out.println("this block cannot complete normally"); { throw new NullPointerException(); } case REVERSE: System.out.println("reverse"); } } } """) .setArgs( ImmutableList.of("-XepOpt:StatementSwitchToExpressionSwitch:EnableDirectConversion")) .doTest(); // Check correct generated code refactoringHelper .addInputLines( "Test.java", """ class Test { enum Side { OBVERSE, REVERSE }; public Test(int foo) {} public void foo(Side side) { switch (side) { // Comment before first case case OBVERSE: // Explanatory comment System.out.println("this block cannot complete normally"); { throw new NullPointerException(); } case REVERSE: System.out.println("reverse"); } } } """) .addOutputLines( "Test.java", """ class Test { enum Side { OBVERSE, REVERSE }; public Test(int foo) {} public void foo(Side side) { switch (side) { case OBVERSE -> { // Comment before first case // Explanatory comment System.out.println("this block cannot complete normally"); { throw new NullPointerException(); } } case REVERSE -> System.out.println("reverse"); } } } """) .setArgs( ImmutableList.of("-XepOpt:StatementSwitchToExpressionSwitch:EnableDirectConversion")) .doTest(BugCheckerRefactoringTestHelper.TestMode.TEXT_MATCH); } @Test public void switchByEnumCard_combinesCaseComments_error() { helper .addSourceLines( "Test.java", """ class Test { enum Side { HEART, SPADE, DIAMOND, CLUB }; public Test(int foo) {} public void foo(Side side) { // BUG: Diagnostic contains: [StatementSwitchToExpressionSwitch] switch (side) { case HEART: System.out.println("heart2"); break; case /* sparkly */ DIAMOND /* Sparkly */: // Empty block comment 1 // Fall through ca