diff options
| author | Michael Ernst <mernst@cs.washington.edu> | 2021-12-07 11:16:11 -0800 |
|---|---|---|
| committer | Michael Ernst <mernst@cs.washington.edu> | 2021-12-07 11:16:11 -0800 |
| commit | 3f5e4a2819d2f03d634a06861ff5487af320b719 (patch) | |
| tree | ba9ab7ba2f582bb179624e2bb3f717bea5d9a421 /test/core/src/lombok/LombokTestSource.java | |
| parent | 0b4cc60c2367845ebc362e4b254f9e96a66d53c3 (diff) | |
| parent | d3b763f9dab4a46e88ff10bc2132fb6f12fda639 (diff) | |
| download | lombok-3f5e4a2819d2f03d634a06861ff5487af320b719.tar.gz lombok-3f5e4a2819d2f03d634a06861ff5487af320b719.tar.bz2 lombok-3f5e4a2819d2f03d634a06861ff5487af320b719.zip | |
Merge ../lombok-branch-master into nullness-annotations
Diffstat (limited to 'test/core/src/lombok/LombokTestSource.java')
| -rw-r--r-- | test/core/src/lombok/LombokTestSource.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/core/src/lombok/LombokTestSource.java b/test/core/src/lombok/LombokTestSource.java index 0326dee9..27ffc31a 100644 --- a/test/core/src/lombok/LombokTestSource.java +++ b/test/core/src/lombok/LombokTestSource.java @@ -161,6 +161,7 @@ public class LombokTestSource { private static final Pattern UNCHANGED_PATTERN = Pattern.compile("^\\s*unchanged\\s*(?:[-:].*)?$", Pattern.CASE_INSENSITIVE); private static final Pattern SKIP_COMPARE_CONTENT_PATTERN = Pattern.compile("^\\s*skip[- ]?compare[- ]?contents?\\s*(?:[-:].*)?$", Pattern.CASE_INSENSITIVE); private static final Pattern SKIP_IDEMPOTENT_PATTERN = Pattern.compile("^\\s*skip[- ]?idempotent\\s*(?:[-:].*)?$", Pattern.CASE_INSENSITIVE); + private static final Pattern ISSUE_REF_PATTERN = Pattern.compile("^\\s*issue #?\\d+(:?\\s+.*)?$", Pattern.CASE_INSENSITIVE); private LombokTestSource(File file, String content, List<CompilerMessageMatcher> messages, List<String> directives) { this.file = file; @@ -200,6 +201,9 @@ public class LombokTestSource { skipIdempotent = true; continue; } + if (ISSUE_REF_PATTERN.matcher(directive).matches()) { + continue; + } if (lc.startsWith("platform ")) { String platformDesc = lc.substring("platform ".length()); |