diff options
author | 2019-02-06 18:28:18 +0100 | |
---|---|---|
committer | 2019-02-19 19:18:25 +0100 | |
commit | 615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7 (patch) | |
tree | 1c9fe0f4ae152d84152c8ff1cfb6366ec8b277e9 /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme | |
parent | [Stochastic] Fault tree transformation langauge (diff) | |
download | VIATRA-Generator-615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7.tar.gz VIATRA-Generator-615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7.tar.zst VIATRA-Generator-615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7.zip |
Extract component fault tree model
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme')
5 files changed, 63 insertions, 10 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/CftLanguageUiModule.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/CftLanguageUiModule.xtend index 9aa9ba9c..6558d759 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/CftLanguageUiModule.xtend +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/CftLanguageUiModule.xtend | |||
@@ -3,11 +3,22 @@ | |||
3 | */ | 3 | */ |
4 | package hu.bme.mit.inf.dslreasoner.faulttree.components.ui | 4 | package hu.bme.mit.inf.dslreasoner.faulttree.components.ui |
5 | 5 | ||
6 | import hu.bme.mit.inf.dslreasoner.faulttree.components.ui.syntaxcoloring.CftLanguageSemanticHighlightingCalculator | ||
7 | import hu.bme.mit.inf.dslreasoner.faulttree.components.ui.syntaxcoloring.CftLanguageTokenToAttributeIdMapper | ||
6 | import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor | 8 | import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor |
9 | import org.eclipse.xtext.ide.editor.syntaxcoloring.AbstractAntlrTokenToAttributeIdMapper | ||
10 | import org.eclipse.xtext.ide.editor.syntaxcoloring.ISemanticHighlightingCalculator | ||
7 | 11 | ||
8 | /** | 12 | /** |
9 | * Use this class to register components to be used within the Eclipse IDE. | 13 | * Use this class to register components to be used within the Eclipse IDE. |
10 | */ | 14 | */ |
11 | @FinalFieldsConstructor | 15 | @FinalFieldsConstructor |
12 | class CftLanguageUiModule extends AbstractCftLanguageUiModule { | 16 | class CftLanguageUiModule extends AbstractCftLanguageUiModule { |
17 | def Class<? extends AbstractAntlrTokenToAttributeIdMapper> bindAbstractAntlrTokenToAttributeIdMapper() { | ||
18 | CftLanguageTokenToAttributeIdMapper | ||
19 | } | ||
20 | |||
21 | def Class<? extends ISemanticHighlightingCalculator> bindISemanticHighlightingCalculator() { | ||
22 | CftLanguageSemanticHighlightingCalculator | ||
23 | } | ||
13 | } | 24 | } |
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/CftLanguageLabelProvider.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/CftLanguageLabelProvider.xtend index a6ea8f90..f111c553 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/CftLanguageLabelProvider.xtend +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/CftLanguageLabelProvider.xtend | |||
@@ -4,6 +4,7 @@ | |||
4 | package hu.bme.mit.inf.dslreasoner.faulttree.components.ui.labeling | 4 | package hu.bme.mit.inf.dslreasoner.faulttree.components.ui.labeling |
5 | 5 | ||
6 | import com.google.inject.Inject | 6 | import com.google.inject.Inject |
7 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.MappingDefinition | ||
7 | import org.eclipse.emf.edit.ui.provider.AdapterFactoryLabelProvider | 8 | import org.eclipse.emf.edit.ui.provider.AdapterFactoryLabelProvider |
8 | import org.eclipse.xtext.ui.label.DefaultEObjectLabelProvider | 9 | import org.eclipse.xtext.ui.label.DefaultEObjectLabelProvider |
9 | 10 | ||
@@ -19,13 +20,7 @@ class CftLanguageLabelProvider extends DefaultEObjectLabelProvider { | |||
19 | super(delegate); | 20 | super(delegate); |
20 | } | 21 | } |
21 | 22 | ||
22 | // Labels and icons can be computed like this: | 23 | def text(MappingDefinition mappingDefinition) { |
23 | 24 | mappingDefinition.pattern?.name | |
24 | // def text(Greeting ele) { | 25 | } |
25 | // 'A greeting to ' + ele.name | ||
26 | // } | ||
27 | // | ||
28 | // def image(Greeting ele) { | ||
29 | // 'Greeting.gif' | ||
30 | // } | ||
31 | } | 26 | } |
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/outline/CftLanguageOutlineTreeProvider.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/outline/CftLanguageOutlineTreeProvider.xtend index 5ffa82ad..3a75a639 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/outline/CftLanguageOutlineTreeProvider.xtend +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/outline/CftLanguageOutlineTreeProvider.xtend | |||
@@ -3,6 +3,8 @@ | |||
3 | */ | 3 | */ |
4 | package hu.bme.mit.inf.dslreasoner.faulttree.components.ui.outline | 4 | package hu.bme.mit.inf.dslreasoner.faulttree.components.ui.outline |
5 | 5 | ||
6 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.MappingDefinition | ||
7 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDefinition | ||
6 | import org.eclipse.xtext.ui.editor.outline.impl.DefaultOutlineTreeProvider | 8 | import org.eclipse.xtext.ui.editor.outline.impl.DefaultOutlineTreeProvider |
7 | 9 | ||
8 | /** | 10 | /** |
@@ -11,5 +13,11 @@ import org.eclipse.xtext.ui.editor.outline.impl.DefaultOutlineTreeProvider | |||
11 | * See https://www.eclipse.org/Xtext/documentation/310_eclipse_support.html#outline | 13 | * See https://www.eclipse.org/Xtext/documentation/310_eclipse_support.html#outline |
12 | */ | 14 | */ |
13 | class CftLanguageOutlineTreeProvider extends DefaultOutlineTreeProvider { | 15 | class CftLanguageOutlineTreeProvider extends DefaultOutlineTreeProvider { |
14 | 16 | def _isLeaf(EventDefinition eventDefinition) { | |
17 | true | ||
18 | } | ||
19 | |||
20 | def _isLeaf(MappingDefinition mappingDefinition) { | ||
21 | true | ||
22 | } | ||
15 | } | 23 | } |
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 new file mode 100644 index 00000000..47c9ebdf --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/syntaxcoloring/CftLanguageSemanticHighlightingCalculator.xtend | |||
@@ -0,0 +1,24 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.faulttree.components.ui.syntaxcoloring | ||
2 | |||
3 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition | ||
4 | import org.eclipse.emf.ecore.EObject | ||
5 | import org.eclipse.xtext.ide.editor.syntaxcoloring.DefaultSemanticHighlightingCalculator | ||
6 | import org.eclipse.xtext.ide.editor.syntaxcoloring.IHighlightedPositionAcceptor | ||
7 | import org.eclipse.xtext.util.CancelIndicator | ||
8 | |||
9 | import static hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage.Literals.* | ||
10 | import static org.eclipse.xtext.ui.editor.syntaxcoloring.DefaultHighlightingConfiguration.* | ||
11 | |||
12 | class CftLanguageSemanticHighlightingCalculator extends DefaultSemanticHighlightingCalculator { | ||
13 | protected dispatch def highlightElement(KOfMGateDefinition gate, IHighlightedPositionAcceptor acceptor, | ||
14 | CancelIndicator cancelIndicator) { | ||
15 | acceptor.highlightFeature(gate, KOF_MGATE_DEFINITION__K, KEYWORD_ID) | ||
16 | acceptor.highlightFeature(gate, KOF_MGATE_DEFINITION__M, KEYWORD_ID) | ||
17 | false | ||
18 | } | ||
19 | |||
20 | protected dispatch def highlightElement(EObject eObject, IHighlightedPositionAcceptor acceptor, | ||
21 | CancelIndicator cancelIndicator) { | ||
22 | super.highlightElement(eObject, acceptor, cancelIndicator) | ||
23 | } | ||
24 | } | ||
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/syntaxcoloring/CftLanguageTokenToAttributeIdMapper.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/syntaxcoloring/CftLanguageTokenToAttributeIdMapper.xtend new file mode 100644 index 00000000..4656d0a0 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/syntaxcoloring/CftLanguageTokenToAttributeIdMapper.xtend | |||
@@ -0,0 +1,15 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.faulttree.components.ui.syntaxcoloring | ||
2 | |||
3 | import org.eclipse.xtext.ide.editor.syntaxcoloring.DefaultAntlrTokenToAttributeIdMapper | ||
4 | import org.eclipse.xtext.ide.editor.syntaxcoloring.HighlightingStyles | ||
5 | |||
6 | class CftLanguageTokenToAttributeIdMapper extends DefaultAntlrTokenToAttributeIdMapper { | ||
7 | override protected calculateId(String tokenName, int tokenType) { | ||
8 | switch (tokenName) { | ||
9 | case "RULE_T_DOUBLE": | ||
10 | HighlightingStyles.NUMBER_ID | ||
11 | default: | ||
12 | super.calculateId(tokenName, tokenType) | ||
13 | } | ||
14 | } | ||
15 | } \ No newline at end of file | ||