From 0138c87b1df6fc636908517a70dd7850996c6405 Mon Sep 17 00:00:00 2001 From: Suzanne Millstein Date: Wed, 27 Sep 2023 11:17:20 -0700 Subject: [PATCH] Rename. --- .../javacutil/trees/TreeUtilsAfterJava11.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/javacutil/src/main/java/org/checkerframework/javacutil/trees/TreeUtilsAfterJava11.java b/javacutil/src/main/java/org/checkerframework/javacutil/trees/TreeUtilsAfterJava11.java index a5f1d7eeaf1..73d5f70333b 100644 --- a/javacutil/src/main/java/org/checkerframework/javacutil/trees/TreeUtilsAfterJava11.java +++ b/javacutil/src/main/java/org/checkerframework/javacutil/trees/TreeUtilsAfterJava11.java @@ -131,17 +131,17 @@ public static List getLabels(CaseTree caseTree) { @SuppressWarnings("unchecked") List caseLabelTrees = (List) invokeNonNullResult(GET_LABELS, caseTree); - List unWrappedLabels = new ArrayList<>(); + List labels = new ArrayList<>(); for (Tree caseLabel : caseLabelTrees) { if (TreeUtils.isDefaultCaseLabelTree(caseLabel)) { return Collections.emptyList(); } else if (TreeUtils.isConstantCaseLabelTree(caseLabel)) { - unWrappedLabels.add(ConstantCaseLabelUtils.getConstantExpression(caseLabel)); + labels.add(ConstantCaseLabelUtils.getConstantExpression(caseLabel)); } else if (TreeUtils.isPatternCaseLabelTree(caseLabel)) { - unWrappedLabels.add(PatternCaseLabelUtils.getPattern(caseLabel)); + labels.add(PatternCaseLabelUtils.getPattern(caseLabel)); } } - return unWrappedLabels; + return labels; } return getExpressions(caseTree); }