diff options
author | 2020-04-28 20:43:04 +0200 | |
---|---|---|
committer | 2020-04-28 20:43:04 +0200 | |
commit | 8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe (patch) | |
tree | d525bef75519f364d637e0779f8e63d4199dee31 /Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/labeling | |
parent | check expressions are mapped to WF constraints (diff) | |
download | VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.gz VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.zst VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.zip |
initial commit
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/labeling')
2 files changed, 55 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/labeling/SolverLanguageDescriptionLabelProvider.xtend b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/labeling/SolverLanguageDescriptionLabelProvider.xtend new file mode 100644 index 00000000..32f81edc --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/labeling/SolverLanguageDescriptionLabelProvider.xtend | |||
@@ -0,0 +1,24 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.18.0.M3 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.ui.labeling | ||
5 | |||
6 | import org.eclipse.xtext.ui.label.DefaultDescriptionLabelProvider | ||
7 | |||
8 | /** | ||
9 | * Provides labels for IEObjectDescriptions and IResourceDescriptions. | ||
10 | * | ||
11 | * See https://www.eclipse.org/Xtext/documentation/304_ide_concepts.html#label-provider | ||
12 | */ | ||
13 | class SolverLanguageDescriptionLabelProvider extends DefaultDescriptionLabelProvider { | ||
14 | |||
15 | // Labels and icons can be computed like this: | ||
16 | |||
17 | // override text(IEObjectDescription ele) { | ||
18 | // ele.name.toString | ||
19 | // } | ||
20 | // | ||
21 | // override image(IEObjectDescription ele) { | ||
22 | // ele.EClass.name + '.gif' | ||
23 | // } | ||
24 | } | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/labeling/SolverLanguageLabelProvider.xtend b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/labeling/SolverLanguageLabelProvider.xtend new file mode 100644 index 00000000..c2d8ac75 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/labeling/SolverLanguageLabelProvider.xtend | |||
@@ -0,0 +1,31 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.18.0.M3 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.ui.labeling | ||
5 | |||
6 | import com.google.inject.Inject | ||
7 | import org.eclipse.emf.edit.ui.provider.AdapterFactoryLabelProvider | ||
8 | import org.eclipse.xtext.ui.label.DefaultEObjectLabelProvider | ||
9 | |||
10 | /** | ||
11 | * Provides labels for EObjects. | ||
12 | * | ||
13 | * See https://www.eclipse.org/Xtext/documentation/304_ide_concepts.html#label-provider | ||
14 | */ | ||
15 | class SolverLanguageLabelProvider extends DefaultEObjectLabelProvider { | ||
16 | |||
17 | @Inject | ||
18 | new(AdapterFactoryLabelProvider delegate) { | ||
19 | super(delegate); | ||
20 | } | ||
21 | |||
22 | // Labels and icons can be computed like this: | ||
23 | |||
24 | // def text(Greeting ele) { | ||
25 | // 'A greeting to ' + ele.name | ||
26 | // } | ||
27 | // | ||
28 | // def image(Greeting ele) { | ||
29 | // 'Greeting.gif' | ||
30 | // } | ||
31 | } | ||