diff options
| author | Rawi01 <Rawi01@users.noreply.github.com> | 2021-09-23 06:50:28 +0200 |
|---|---|---|
| committer | Rawi01 <Rawi01@users.noreply.github.com> | 2021-09-28 22:02:16 +0200 |
| commit | b50aa64f726952723b1a794538d9bb63fc43832d (patch) | |
| tree | 032d51e868c61e18af4c022fcf7fd291a741ad1d /src/eclipseAgent/lombok/launch/PatchFixesHider.java | |
| parent | ba2b47b974304517ef47154a3939056eff13fade (diff) | |
| download | lombok-b50aa64f726952723b1a794538d9bb63fc43832d.tar.gz lombok-b50aa64f726952723b1a794538d9bb63fc43832d.tar.bz2 lombok-b50aa64f726952723b1a794538d9bb63fc43832d.zip | |
[fixes #2950] Patch language server semantic highlighting
Diffstat (limited to 'src/eclipseAgent/lombok/launch/PatchFixesHider.java')
| -rwxr-xr-x | src/eclipseAgent/lombok/launch/PatchFixesHider.java | 15 |
1 files changed, 3 insertions, 12 deletions
diff --git a/src/eclipseAgent/lombok/launch/PatchFixesHider.java b/src/eclipseAgent/lombok/launch/PatchFixesHider.java index 30c63cf0..061f3584 100755 --- a/src/eclipseAgent/lombok/launch/PatchFixesHider.java +++ b/src/eclipseAgent/lombok/launch/PatchFixesHider.java @@ -414,23 +414,14 @@ final class PatchFixesHider { return result; } - public static boolean isRefactoringVisitorAndGenerated(org.eclipse.jdt.core.dom.ASTNode node, org.eclipse.jdt.core.dom.ASTVisitor visitor) { + public static boolean isBlockedVisitorAndGenerated(org.eclipse.jdt.core.dom.ASTNode node, org.eclipse.jdt.core.dom.ASTVisitor visitor) { if (visitor == null) return false; String className = visitor.getClass().getName(); - if (!(className.startsWith("org.eclipse.jdt.internal.corext.fix") || className.startsWith("org.eclipse.jdt.internal.ui.fix"))) return false; + if (!(className.startsWith("org.eclipse.jdt.internal.corext.fix") || className.startsWith("org.eclipse.jdt.internal.ui.fix") || className.startsWith("org.eclipse.jdt.ls.core.internal.semantictokens.SemanticTokensVisitor"))) return false; if (className.equals("org.eclipse.jdt.internal.corext.fix.VariableDeclarationFixCore$WrittenNamesFinder")) return false; - boolean result = false; - try { - result = ((Boolean)node.getClass().getField("$isGenerated").get(node)).booleanValue(); - if (!result && node.getParent() != null && node.getParent() instanceof org.eclipse.jdt.core.dom.QualifiedName) { - result = isGenerated(node.getParent()); - } - } catch (Exception e) { - // better to assume it isn't generated - } - return result; + return isGenerated(node); } public static boolean isListRewriteOnGeneratedNode(org.eclipse.jdt.core.dom.rewrite.ListRewrite rewrite) { |