diff options
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit')
6 files changed, 119 insertions, 0 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 new file mode 100644 index 00000000..9aa9ba9c --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/CftLanguageUiModule.xtend | |||
@@ -0,0 +1,13 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.16.0 | ||
3 | */ | ||
4 | package hu.bme.mit.inf.dslreasoner.faulttree.components.ui | ||
5 | |||
6 | import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor | ||
7 | |||
8 | /** | ||
9 | * Use this class to register components to be used within the Eclipse IDE. | ||
10 | */ | ||
11 | @FinalFieldsConstructor | ||
12 | class CftLanguageUiModule extends AbstractCftLanguageUiModule { | ||
13 | } | ||
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/contentassist/CftLanguageProposalProvider.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/contentassist/CftLanguageProposalProvider.xtend new file mode 100644 index 00000000..2d173d73 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/contentassist/CftLanguageProposalProvider.xtend | |||
@@ -0,0 +1,12 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.16.0 | ||
3 | */ | ||
4 | package hu.bme.mit.inf.dslreasoner.faulttree.components.ui.contentassist | ||
5 | |||
6 | |||
7 | /** | ||
8 | * See https://www.eclipse.org/Xtext/documentation/304_ide_concepts.html#content-assist | ||
9 | * on how to customize the content assistant. | ||
10 | */ | ||
11 | class CftLanguageProposalProvider extends AbstractCftLanguageProposalProvider { | ||
12 | } | ||
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/CftLanguageDescriptionLabelProvider.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/CftLanguageDescriptionLabelProvider.xtend new file mode 100644 index 00000000..17a734e1 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/CftLanguageDescriptionLabelProvider.xtend | |||
@@ -0,0 +1,24 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.16.0 | ||
3 | */ | ||
4 | package hu.bme.mit.inf.dslreasoner.faulttree.components.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 CftLanguageDescriptionLabelProvider 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/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 new file mode 100644 index 00000000..a6ea8f90 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/CftLanguageLabelProvider.xtend | |||
@@ -0,0 +1,31 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.16.0 | ||
3 | */ | ||
4 | package hu.bme.mit.inf.dslreasoner.faulttree.components.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 CftLanguageLabelProvider 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 | } | ||
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 new file mode 100644 index 00000000..5ffa82ad --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/outline/CftLanguageOutlineTreeProvider.xtend | |||
@@ -0,0 +1,15 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.16.0 | ||
3 | */ | ||
4 | package hu.bme.mit.inf.dslreasoner.faulttree.components.ui.outline | ||
5 | |||
6 | import org.eclipse.xtext.ui.editor.outline.impl.DefaultOutlineTreeProvider | ||
7 | |||
8 | /** | ||
9 | * Customization of the default outline structure. | ||
10 | * | ||
11 | * See https://www.eclipse.org/Xtext/documentation/310_eclipse_support.html#outline | ||
12 | */ | ||
13 | class CftLanguageOutlineTreeProvider extends DefaultOutlineTreeProvider { | ||
14 | |||
15 | } | ||
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/quickfix/CftLanguageQuickfixProvider.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/quickfix/CftLanguageQuickfixProvider.xtend new file mode 100644 index 00000000..4ca09e2b --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/quickfix/CftLanguageQuickfixProvider.xtend | |||
@@ -0,0 +1,24 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.16.0 | ||
3 | */ | ||
4 | package hu.bme.mit.inf.dslreasoner.faulttree.components.ui.quickfix | ||
5 | |||
6 | import org.eclipse.xtext.ui.editor.quickfix.DefaultQuickfixProvider | ||
7 | |||
8 | /** | ||
9 | * Custom quickfixes. | ||
10 | * | ||
11 | * See https://www.eclipse.org/Xtext/documentation/310_eclipse_support.html#quick-fixes | ||
12 | */ | ||
13 | class CftLanguageQuickfixProvider extends DefaultQuickfixProvider { | ||
14 | |||
15 | // @Fix(CftLanguageValidator.INVALID_NAME) | ||
16 | // def capitalizeName(Issue issue, IssueResolutionAcceptor acceptor) { | ||
17 | // acceptor.accept(issue, 'Capitalize name', 'Capitalize the name.', 'upcase.png') [ | ||
18 | // context | | ||
19 | // val xtextDocument = context.xtextDocument | ||
20 | // val firstLetter = xtextDocument.get(issue.offset, 1) | ||
21 | // xtextDocument.replace(issue.offset, 1, firstLetter.toUpperCase) | ||
22 | // ] | ||
23 | // } | ||
24 | } | ||