Merge pull request #196 from kieler/nre/master

Remove some superfluous old artifacts
kieler · Jul 23, 2024 · ddc3477 · ddc3477
2 parents 86f5b92 + 358f19b
commit ddc3477
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 65 deletions.
diff --git a/plugins/de.cau.cs.kieler.klighd.lsp/plugin.xml b/plugins/de.cau.cs.kieler.klighd.lsp/plugin.xml
diff --git a/...ins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/KGraphDiagramModule.xtend b/...ins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/KGraphDiagramModule.xtend
@@ -3,7 +3,7 @@
  *
  * http://rtsys.informatik.uni-kiel.de/kieler
  * 
- * Copyright 2018-2021 by
+ * Copyright 2018-2024 by
  * + Kiel University
  *   + Department of Computer Science
  *     + Real-Time and Embedded Systems Group
@@ -19,12 +19,10 @@ package de.cau.cs.kieler.klighd.lsp
 import com.google.inject.Module
 import de.cau.cs.kieler.klighd.lsp.utils.KeithDiagramSelectionListener
 import de.cau.cs.kieler.klighd.lsp.utils.LazyTraceProvider
-import de.cau.cs.kieler.klighd.lsp.utils.SimpleTraceRegionProvider
 import org.eclipse.sprotty.IDiagramSelectionListener
 import org.eclipse.sprotty.xtext.DefaultDiagramModule
 import org.eclipse.sprotty.xtext.IDiagramGenerator
 import org.eclipse.sprotty.xtext.ls.DiagramUpdater
-import org.eclipse.sprotty.xtext.tracing.TextRegionProvider
 import org.eclipse.xtext.ide.server.WorkspaceManager
 import org.eclipse.xtext.naming.IQualifiedNameProvider
 import org.eclipse.xtext.naming.SimpleNameProvider
@@ -53,10 +51,6 @@ class KGraphDiagramModule extends DefaultDiagramModule {
         KGraphDiagramServer
     }
 
-	def Class<? extends TextRegionProvider> bindTraceRegionProvider() {
-        SimpleTraceRegionProvider
-    }
-
     override bindTraceProvider() {
         LazyTraceProvider
     }

diff --git a/...s.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/utils/SimpleTraceRegionProvider.xtend b/...s.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/utils/SimpleTraceRegionProvider.xtend