From 972baab642bd889d2c3476c0c9e17a6929e0c318 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Thu, 1 Aug 2019 14:49:53 +0200 Subject: [Stochastic] Remove fault tree support for now --- ...CftLanguageSemanticHighlightingCalculator.xtend | 24 ---------------------- 1 file changed, 24 deletions(-) delete mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/syntaxcoloring/CftLanguageSemanticHighlightingCalculator.xtend (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/syntaxcoloring/CftLanguageSemanticHighlightingCalculator.xtend') diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/syntaxcoloring/CftLanguageSemanticHighlightingCalculator.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/syntaxcoloring/CftLanguageSemanticHighlightingCalculator.xtend deleted file mode 100644 index 47c9ebdf..00000000 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/syntaxcoloring/CftLanguageSemanticHighlightingCalculator.xtend +++ /dev/null @@ -1,24 +0,0 @@ -package hu.bme.mit.inf.dslreasoner.faulttree.components.ui.syntaxcoloring - -import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition -import org.eclipse.emf.ecore.EObject -import org.eclipse.xtext.ide.editor.syntaxcoloring.DefaultSemanticHighlightingCalculator -import org.eclipse.xtext.ide.editor.syntaxcoloring.IHighlightedPositionAcceptor -import org.eclipse.xtext.util.CancelIndicator - -import static hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage.Literals.* -import static org.eclipse.xtext.ui.editor.syntaxcoloring.DefaultHighlightingConfiguration.* - -class CftLanguageSemanticHighlightingCalculator extends DefaultSemanticHighlightingCalculator { - protected dispatch def highlightElement(KOfMGateDefinition gate, IHighlightedPositionAcceptor acceptor, - CancelIndicator cancelIndicator) { - acceptor.highlightFeature(gate, KOF_MGATE_DEFINITION__K, KEYWORD_ID) - acceptor.highlightFeature(gate, KOF_MGATE_DEFINITION__M, KEYWORD_ID) - false - } - - protected dispatch def highlightElement(EObject eObject, IHighlightedPositionAcceptor acceptor, - CancelIndicator cancelIndicator) { - super.highlightElement(eObject, acceptor, cancelIndicator) - } -} -- cgit v1.2.3-70-g09d2