aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language.ui/src-gen
diff options
context:
space:
mode:
authorLibravatar Oszkar Semerath <semerath@mit.bme.hu>2020-04-28 20:43:04 +0200
committerLibravatar Oszkar Semerath <semerath@mit.bme.hu>2020-04-28 20:43:04 +0200
commit8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe (patch)
treed525bef75519f364d637e0779f8e63d4199dee31 /Application/org.eclipse.viatra.solver.language.ui/src-gen
parentcheck expressions are mapped to WF constraints (diff)
downloadVIATRA-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-gen')
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/AbstractSolverLanguageUiModule.java293
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/SolverLanguageExecutableExtensionFactory.java29
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/contentassist/AbstractSolverLanguageProposalProvider.java300
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/internal/LanguageActivator.java94
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidatorConfigurationBlock.java35
5 files changed, 751 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/AbstractSolverLanguageUiModule.java b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/AbstractSolverLanguageUiModule.java
new file mode 100644
index 00000000..cff29f76
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/AbstractSolverLanguageUiModule.java
@@ -0,0 +1,293 @@
1/*
2 * generated by Xtext 2.18.0.M3
3 */
4package org.eclipse.viatra.solver.language.ui;
5
6import com.google.inject.Binder;
7import com.google.inject.Provider;
8import com.google.inject.name.Names;
9import org.eclipse.compare.IViewerCreator;
10import org.eclipse.core.resources.IWorkspaceRoot;
11import org.eclipse.core.resources.ResourcesPlugin;
12import org.eclipse.jface.viewers.ILabelProvider;
13import org.eclipse.ui.plugin.AbstractUIPlugin;
14import org.eclipse.viatra.solver.language.ide.contentassist.antlr.PartialSolverLanguageContentAssistParser;
15import org.eclipse.viatra.solver.language.ide.contentassist.antlr.SolverLanguageParser;
16import org.eclipse.viatra.solver.language.ide.contentassist.antlr.internal.InternalSolverLanguageLexer;
17import org.eclipse.viatra.solver.language.ui.contentassist.SolverLanguageProposalProvider;
18import org.eclipse.viatra.solver.language.ui.labeling.SolverLanguageDescriptionLabelProvider;
19import org.eclipse.viatra.solver.language.ui.labeling.SolverLanguageLabelProvider;
20import org.eclipse.viatra.solver.language.ui.outline.SolverLanguageOutlineTreeProvider;
21import org.eclipse.viatra.solver.language.ui.quickfix.SolverLanguageQuickfixProvider;
22import org.eclipse.viatra.solver.language.validation.SolverLanguageValidatorConfigurationBlock;
23import org.eclipse.xtext.builder.BuilderParticipant;
24import org.eclipse.xtext.builder.EclipseOutputConfigurationProvider;
25import org.eclipse.xtext.builder.IXtextBuilderParticipant;
26import org.eclipse.xtext.builder.builderState.IBuilderState;
27import org.eclipse.xtext.builder.clustering.CurrentDescriptions;
28import org.eclipse.xtext.builder.impl.PersistentDataAwareDirtyResource;
29import org.eclipse.xtext.builder.nature.NatureAddingEditorCallback;
30import org.eclipse.xtext.builder.preferences.BuilderPreferenceAccess;
31import org.eclipse.xtext.generator.IContextualOutputConfigurationProvider;
32import org.eclipse.xtext.ide.LexerIdeBindings;
33import org.eclipse.xtext.ide.editor.contentassist.antlr.IContentAssistParser;
34import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer;
35import org.eclipse.xtext.ide.editor.partialEditing.IPartialEditingContentAssistParser;
36import org.eclipse.xtext.parser.antlr.AntlrTokenDefProvider;
37import org.eclipse.xtext.parser.antlr.ITokenDefProvider;
38import org.eclipse.xtext.parser.antlr.LexerProvider;
39import org.eclipse.xtext.resource.IResourceDescriptions;
40import org.eclipse.xtext.resource.containers.IAllContainersState;
41import org.eclipse.xtext.resource.impl.ResourceDescriptionsProvider;
42import org.eclipse.xtext.service.SingletonBinding;
43import org.eclipse.xtext.ui.DefaultUiModule;
44import org.eclipse.xtext.ui.UIBindings;
45import org.eclipse.xtext.ui.codetemplates.ui.AccessibleCodetemplatesActivator;
46import org.eclipse.xtext.ui.codetemplates.ui.partialEditing.IPartialEditingContentAssistContextFactory;
47import org.eclipse.xtext.ui.codetemplates.ui.partialEditing.PartialEditingContentAssistContextFactory;
48import org.eclipse.xtext.ui.codetemplates.ui.preferences.AdvancedTemplatesPreferencePage;
49import org.eclipse.xtext.ui.codetemplates.ui.preferences.TemplatesLanguageConfiguration;
50import org.eclipse.xtext.ui.codetemplates.ui.registry.LanguageRegistrar;
51import org.eclipse.xtext.ui.codetemplates.ui.registry.LanguageRegistry;
52import org.eclipse.xtext.ui.compare.DefaultViewerCreator;
53import org.eclipse.xtext.ui.editor.DocumentBasedDirtyResource;
54import org.eclipse.xtext.ui.editor.IXtextEditorCallback;
55import org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext;
56import org.eclipse.xtext.ui.editor.contentassist.FQNPrefixMatcher;
57import org.eclipse.xtext.ui.editor.contentassist.IContentProposalProvider;
58import org.eclipse.xtext.ui.editor.contentassist.IProposalConflictHelper;
59import org.eclipse.xtext.ui.editor.contentassist.PrefixMatcher;
60import org.eclipse.xtext.ui.editor.contentassist.antlr.AntlrProposalConflictHelper;
61import org.eclipse.xtext.ui.editor.contentassist.antlr.DelegatingContentAssistContextFactory;
62import org.eclipse.xtext.ui.editor.outline.IOutlineTreeProvider;
63import org.eclipse.xtext.ui.editor.outline.impl.IOutlineTreeStructureProvider;
64import org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreInitializer;
65import org.eclipse.xtext.ui.editor.quickfix.IssueResolutionProvider;
66import org.eclipse.xtext.ui.editor.templates.XtextTemplatePreferencePage;
67import org.eclipse.xtext.ui.refactoring.IDependentElementsCalculator;
68import org.eclipse.xtext.ui.refactoring.IReferenceUpdater;
69import org.eclipse.xtext.ui.refactoring.IRenameRefactoringProvider;
70import org.eclipse.xtext.ui.refactoring.IRenameStrategy;
71import org.eclipse.xtext.ui.refactoring.impl.DefaultDependentElementsCalculator;
72import org.eclipse.xtext.ui.refactoring.impl.DefaultReferenceUpdater;
73import org.eclipse.xtext.ui.refactoring.impl.DefaultRenameRefactoringProvider;
74import org.eclipse.xtext.ui.refactoring.impl.DefaultRenameStrategy;
75import org.eclipse.xtext.ui.refactoring.ui.DefaultRenameSupport;
76import org.eclipse.xtext.ui.refactoring.ui.IRenameSupport;
77import org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferences;
78import org.eclipse.xtext.ui.resource.ResourceServiceDescriptionLabelProvider;
79import org.eclipse.xtext.ui.shared.Access;
80import org.eclipse.xtext.ui.validation.AbstractValidatorConfigurationBlock;
81
82/**
83 * Manual modifications go to {@link SolverLanguageUiModule}.
84 */
85@SuppressWarnings("all")
86public abstract class AbstractSolverLanguageUiModule extends DefaultUiModule {
87
88 public AbstractSolverLanguageUiModule(AbstractUIPlugin plugin) {
89 super(plugin);
90 }
91
92 // contributed by org.eclipse.xtext.xtext.generator.ImplicitFragment
93 public Provider<? extends IAllContainersState> provideIAllContainersState() {
94 return Access.getJavaProjectsState();
95 }
96
97 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
98 public Class<? extends IProposalConflictHelper> bindIProposalConflictHelper() {
99 return AntlrProposalConflictHelper.class;
100 }
101
102 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
103 public void configureContentAssistLexer(Binder binder) {
104 binder.bind(Lexer.class)
105 .annotatedWith(Names.named(LexerIdeBindings.CONTENT_ASSIST))
106 .to(InternalSolverLanguageLexer.class);
107 }
108
109 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
110 public void configureHighlightingLexer(Binder binder) {
111 binder.bind(org.eclipse.xtext.parser.antlr.Lexer.class)
112 .annotatedWith(Names.named(LexerIdeBindings.HIGHLIGHTING))
113 .to(org.eclipse.viatra.solver.language.parser.antlr.internal.InternalSolverLanguageLexer.class);
114 }
115
116 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
117 public void configureHighlightingTokenDefProvider(Binder binder) {
118 binder.bind(ITokenDefProvider.class)
119 .annotatedWith(Names.named(LexerIdeBindings.HIGHLIGHTING))
120 .to(AntlrTokenDefProvider.class);
121 }
122
123 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
124 public Class<? extends ContentAssistContext.Factory> bindContentAssistContext$Factory() {
125 return DelegatingContentAssistContextFactory.class;
126 }
127
128 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
129 public Class<? extends IContentAssistParser> bindIContentAssistParser() {
130 return SolverLanguageParser.class;
131 }
132
133 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
134 public void configureContentAssistLexerProvider(Binder binder) {
135 binder.bind(InternalSolverLanguageLexer.class).toProvider(LexerProvider.create(InternalSolverLanguageLexer.class));
136 }
137
138 // contributed by org.eclipse.xtext.xtext.generator.validation.ValidatorFragment2
139 public Class<? extends AbstractValidatorConfigurationBlock> bindAbstractValidatorConfigurationBlock() {
140 return SolverLanguageValidatorConfigurationBlock.class;
141 }
142
143 // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2
144 public Class<? extends PrefixMatcher> bindPrefixMatcher() {
145 return FQNPrefixMatcher.class;
146 }
147
148 // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2
149 public Class<? extends IDependentElementsCalculator> bindIDependentElementsCalculator() {
150 return DefaultDependentElementsCalculator.class;
151 }
152
153 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
154 public void configureIResourceDescriptionsBuilderScope(Binder binder) {
155 binder.bind(IResourceDescriptions.class).annotatedWith(Names.named(ResourceDescriptionsProvider.NAMED_BUILDER_SCOPE)).to(CurrentDescriptions.ResourceSetAware.class);
156 }
157
158 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
159 public Class<? extends IXtextEditorCallback> bindIXtextEditorCallback() {
160 return NatureAddingEditorCallback.class;
161 }
162
163 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
164 public Class<? extends IContextualOutputConfigurationProvider> bindIContextualOutputConfigurationProvider() {
165 return EclipseOutputConfigurationProvider.class;
166 }
167
168 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
169 public void configureIResourceDescriptionsPersisted(Binder binder) {
170 binder.bind(IResourceDescriptions.class).annotatedWith(Names.named(ResourceDescriptionsProvider.PERSISTED_DESCRIPTIONS)).to(IBuilderState.class);
171 }
172
173 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
174 public Class<? extends DocumentBasedDirtyResource> bindDocumentBasedDirtyResource() {
175 return PersistentDataAwareDirtyResource.class;
176 }
177
178 // contributed by org.eclipse.xtext.xtext.generator.generator.GeneratorFragment2
179 public Class<? extends IXtextBuilderParticipant> bindIXtextBuilderParticipant() {
180 return BuilderParticipant.class;
181 }
182
183 // contributed by org.eclipse.xtext.xtext.generator.generator.GeneratorFragment2
184 public IWorkspaceRoot bindIWorkspaceRootToInstance() {
185 return ResourcesPlugin.getWorkspace().getRoot();
186 }
187
188 // contributed by org.eclipse.xtext.xtext.generator.generator.GeneratorFragment2
189 public void configureBuilderPreferenceStoreInitializer(Binder binder) {
190 binder.bind(IPreferenceStoreInitializer.class)
191 .annotatedWith(Names.named("builderPreferenceInitializer"))
192 .to(BuilderPreferenceAccess.Initializer.class);
193 }
194
195 // contributed by org.eclipse.xtext.xtext.generator.ui.labeling.LabelProviderFragment2
196 public Class<? extends ILabelProvider> bindILabelProvider() {
197 return SolverLanguageLabelProvider.class;
198 }
199
200 // contributed by org.eclipse.xtext.xtext.generator.ui.labeling.LabelProviderFragment2
201 public void configureResourceUIServiceLabelProvider(Binder binder) {
202 binder.bind(ILabelProvider.class).annotatedWith(ResourceServiceDescriptionLabelProvider.class).to(SolverLanguageDescriptionLabelProvider.class);
203 }
204
205 // contributed by org.eclipse.xtext.xtext.generator.ui.outline.OutlineTreeProviderFragment2
206 public Class<? extends IOutlineTreeProvider> bindIOutlineTreeProvider() {
207 return SolverLanguageOutlineTreeProvider.class;
208 }
209
210 // contributed by org.eclipse.xtext.xtext.generator.ui.outline.OutlineTreeProviderFragment2
211 public Class<? extends IOutlineTreeStructureProvider> bindIOutlineTreeStructureProvider() {
212 return SolverLanguageOutlineTreeProvider.class;
213 }
214
215 // contributed by org.eclipse.xtext.xtext.generator.ui.quickfix.QuickfixProviderFragment2
216 public Class<? extends IssueResolutionProvider> bindIssueResolutionProvider() {
217 return SolverLanguageQuickfixProvider.class;
218 }
219
220 // contributed by org.eclipse.xtext.xtext.generator.ui.contentAssist.ContentAssistFragment2
221 public Class<? extends IContentProposalProvider> bindIContentProposalProvider() {
222 return SolverLanguageProposalProvider.class;
223 }
224
225 // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
226 public void configureIPreferenceStoreInitializer(Binder binder) {
227 binder.bind(IPreferenceStoreInitializer.class)
228 .annotatedWith(Names.named("RefactoringPreferences"))
229 .to(RefactoringPreferences.Initializer.class);
230 }
231
232 // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
233 public Class<? extends IRenameStrategy> bindIRenameStrategy() {
234 return DefaultRenameStrategy.class;
235 }
236
237 // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
238 public Class<? extends IReferenceUpdater> bindIReferenceUpdater() {
239 return DefaultReferenceUpdater.class;
240 }
241
242 // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
243 public Class<? extends IRenameRefactoringProvider> bindIRenameRefactoringProvider() {
244 return DefaultRenameRefactoringProvider.class;
245 }
246
247 // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
248 public Class<? extends IRenameSupport.Factory> bindIRenameSupport$Factory() {
249 return DefaultRenameSupport.Factory.class;
250 }
251
252 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
253 public Provider<? extends TemplatesLanguageConfiguration> provideTemplatesLanguageConfiguration() {
254 return AccessibleCodetemplatesActivator.getTemplatesLanguageConfigurationProvider();
255 }
256
257 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
258 public Provider<? extends LanguageRegistry> provideLanguageRegistry() {
259 return AccessibleCodetemplatesActivator.getLanguageRegistry();
260 }
261
262 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
263 @SingletonBinding(eager=true)
264 public Class<? extends LanguageRegistrar> bindLanguageRegistrar() {
265 return LanguageRegistrar.class;
266 }
267
268 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
269 public Class<? extends XtextTemplatePreferencePage> bindXtextTemplatePreferencePage() {
270 return AdvancedTemplatesPreferencePage.class;
271 }
272
273 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
274 public Class<? extends IPartialEditingContentAssistParser> bindIPartialEditingContentAssistParser() {
275 return PartialSolverLanguageContentAssistParser.class;
276 }
277
278 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
279 public Class<? extends IPartialEditingContentAssistContextFactory> bindIPartialEditingContentAssistContextFactory() {
280 return PartialEditingContentAssistContextFactory.class;
281 }
282
283 // contributed by org.eclipse.xtext.xtext.generator.ui.compare.CompareFragment2
284 public Class<? extends IViewerCreator> bindIViewerCreator() {
285 return DefaultViewerCreator.class;
286 }
287
288 // contributed by org.eclipse.xtext.xtext.generator.ui.compare.CompareFragment2
289 public void configureCompareViewerTitle(Binder binder) {
290 binder.bind(String.class).annotatedWith(Names.named(UIBindings.COMPARE_VIEWER_TITLE)).toInstance("SolverLanguage Compare");
291 }
292
293}
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/SolverLanguageExecutableExtensionFactory.java b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/SolverLanguageExecutableExtensionFactory.java
new file mode 100644
index 00000000..b86c5864
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/SolverLanguageExecutableExtensionFactory.java
@@ -0,0 +1,29 @@
1/*
2 * generated by Xtext 2.18.0.M3
3 */
4package org.eclipse.viatra.solver.language.ui;
5
6import com.google.inject.Injector;
7import org.eclipse.core.runtime.Platform;
8import org.eclipse.viatra.solver.language.ui.internal.LanguageActivator;
9import org.eclipse.xtext.ui.guice.AbstractGuiceAwareExecutableExtensionFactory;
10import org.osgi.framework.Bundle;
11
12/**
13 * This class was generated. Customizations should only happen in a newly
14 * introduced subclass.
15 */
16public class SolverLanguageExecutableExtensionFactory extends AbstractGuiceAwareExecutableExtensionFactory {
17
18 @Override
19 protected Bundle getBundle() {
20 return Platform.getBundle(LanguageActivator.PLUGIN_ID);
21 }
22
23 @Override
24 protected Injector getInjector() {
25 LanguageActivator activator = LanguageActivator.getInstance();
26 return activator != null ? activator.getInjector(LanguageActivator.ORG_ECLIPSE_VIATRA_SOLVER_LANGUAGE_SOLVERLANGUAGE) : null;
27 }
28
29}
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/contentassist/AbstractSolverLanguageProposalProvider.java b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/contentassist/AbstractSolverLanguageProposalProvider.java
new file mode 100644
index 00000000..ce4d4468
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/contentassist/AbstractSolverLanguageProposalProvider.java
@@ -0,0 +1,300 @@
1/*
2 * generated by Xtext 2.18.0.M3
3 */
4package org.eclipse.viatra.solver.language.ui.contentassist;
5
6import org.eclipse.emf.ecore.EObject;
7import org.eclipse.xtext.Assignment;
8import org.eclipse.xtext.RuleCall;
9import org.eclipse.xtext.common.ui.contentassist.TerminalsProposalProvider;
10import org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext;
11import org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor;
12
13/**
14 * Represents a generated, default implementation of superclass {@link TerminalsProposalProvider}.
15 * Methods are dynamically dispatched on the first parameter, i.e., you can override them
16 * with a more concrete subtype.
17 */
18public abstract class AbstractSolverLanguageProposalProvider extends TerminalsProposalProvider {
19
20 public void completeProblem_Statements(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
21 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
22 }
23 public void completeBasicInterpretation_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
24 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
25 }
26 public void completeBasicInterpretation_Objects(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
27 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
28 }
29 public void completeBasicInterpretation_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
30 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
31 }
32 public void completeModelSymbol_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
33 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
34 }
35 public void completeNamedObject_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
36 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
37 }
38 public void completeUnnamedObject_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
39 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
40 }
41 public void completeBooleanObject_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
42 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
43 }
44 public void completeIntObject_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
45 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
46 }
47 public void completeRealObject_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
48 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
49 }
50 public void completeStringObject_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
51 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
52 }
53 public void completePredicateSymbol_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
54 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
55 }
56 public void completePredicateSymbol_Parameters(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
57 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
58 }
59 public void completePredicateSymbol_Bodies(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
60 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
61 }
62 public void completeErrorPredicate_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
63 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
64 }
65 public void completeErrorPredicate_Parameters(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
66 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
67 }
68 public void completeErrorPredicate_Bodies(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
69 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
70 }
71 public void completeParameter_Variable(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
72 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
73 }
74 public void completeParameter_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
75 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
76 }
77 public void completePatternBody_Constraints(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
78 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
79 }
80 public void completeConstraint_Polarity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
81 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
82 }
83 public void completeConstraint_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
84 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
85 }
86 public void completeConstraint_Params(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
87 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
88 }
89 public void completeConstraint_ClosureType(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
90 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
91 }
92 public void completeVariable_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
93 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
94 }
95 public void completeAllInstances_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
96 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
97 }
98 public void completeDefaultInterpretation_Interpretation(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
99 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
100 }
101 public void completeClassInterpretation_Abstract(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
102 // subclasses may override
103 }
104 public void completeClassInterpretation_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
105 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
106 }
107 public void completeClassInterpretation_Supertypes(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
108 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
109 }
110 public void completeClassInterpretation_Fielt(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
111 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
112 }
113 public void completeEnumInterpretation_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
114 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
115 }
116 public void completeEnumInterpretation_Objects(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
117 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
118 }
119 public void completeFieldRelationInterpretation_Containment(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
120 // subclasses may override
121 }
122 public void completeFieldRelationInterpretation_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
123 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
124 }
125 public void completeFieldRelationInterpretation_Multiplicity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
126 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
127 }
128 public void completeFieldRelationInterpretation_Target(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
129 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
130 }
131 public void completeGlobalRelationInterpretation_Containment(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
132 // subclasses may override
133 }
134 public void completeGlobalRelationInterpretation_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
135 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
136 }
137 public void completeGlobalRelationInterpretation_SourceMultiplicity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
138 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
139 }
140 public void completeGlobalRelationInterpretation_Source(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
141 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
142 }
143 public void completeGlobalRelationInterpretation_TargetMultiplicity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
144 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
145 }
146 public void completeGlobalRelationInterpretation_Target(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
147 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
148 }
149 public void completeMultiplicityDefinition_Lower(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
150 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
151 }
152 public void completeMultiplicityDefinition_Upper(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
153 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
154 }
155 public void completeMultiplicityDefinition_UnlimitedUpper(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
156 // subclasses may override
157 }
158
159 public void complete_Problem(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
160 // subclasses may override
161 }
162 public void complete_Statement(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
163 // subclasses may override
164 }
165 public void complete_STRING(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
166 // subclasses may override
167 }
168 public void complete_REALLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
169 // subclasses may override
170 }
171 public void complete_INTLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
172 // subclasses may override
173 }
174 public void complete_BooleanValue(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
175 // subclasses may override
176 }
177 public void complete_TruthValue(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
178 // subclasses may override
179 }
180 public void complete_Interpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
181 // subclasses may override
182 }
183 public void complete_BasicInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
184 // subclasses may override
185 }
186 public void complete_Symbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
187 // subclasses may override
188 }
189 public void complete_ModelSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
190 // subclasses may override
191 }
192 public void complete_PartialitySymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
193 // subclasses may override
194 }
195 public void complete_ExistSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
196 // subclasses may override
197 }
198 public void complete_EqualsSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
199 // subclasses may override
200 }
201 public void complete_DataSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
202 // subclasses may override
203 }
204 public void complete_BooleanSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
205 // subclasses may override
206 }
207 public void complete_IntegerSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
208 // subclasses may override
209 }
210 public void complete_RealSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
211 // subclasses may override
212 }
213 public void complete_StringSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
214 // subclasses may override
215 }
216 public void complete_ComplexObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
217 // subclasses may override
218 }
219 public void complete_Object(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
220 // subclasses may override
221 }
222 public void complete_NamedObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
223 // subclasses may override
224 }
225 public void complete_UnnamedObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
226 // subclasses may override
227 }
228 public void complete_DataObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
229 // subclasses may override
230 }
231 public void complete_BooleanObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
232 // subclasses may override
233 }
234 public void complete_IntObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
235 // subclasses may override
236 }
237 public void complete_RealObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
238 // subclasses may override
239 }
240 public void complete_StringObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
241 // subclasses may override
242 }
243 public void complete_Predicate(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
244 // subclasses may override
245 }
246 public void complete_PredicateSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
247 // subclasses may override
248 }
249 public void complete_ErrorPredicate(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
250 // subclasses may override
251 }
252 public void complete_Parameter(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
253 // subclasses may override
254 }
255 public void complete_PatternBody(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
256 // subclasses may override
257 }
258 public void complete_Polarity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
259 // subclasses may override
260 }
261 public void complete_Constraint(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
262 // subclasses may override
263 }
264 public void complete_ClosureType(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
265 // subclasses may override
266 }
267 public void complete_Literal(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
268 // subclasses may override
269 }
270 public void complete_Variable(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
271 // subclasses may override
272 }
273 public void complete_AllInstances(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
274 // subclasses may override
275 }
276 public void complete_AllObjects(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
277 // subclasses may override
278 }
279 public void complete_DefaultInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
280 // subclasses may override
281 }
282 public void complete_CDInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
283 // subclasses may override
284 }
285 public void complete_ClassInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
286 // subclasses may override
287 }
288 public void complete_EnumInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
289 // subclasses may override
290 }
291 public void complete_FieldRelationInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
292 // subclasses may override
293 }
294 public void complete_GlobalRelationInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
295 // subclasses may override
296 }
297 public void complete_MultiplicityDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
298 // subclasses may override
299 }
300}
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/internal/LanguageActivator.java b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/internal/LanguageActivator.java
new file mode 100644
index 00000000..327cfff1
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/internal/LanguageActivator.java
@@ -0,0 +1,94 @@
1/*
2 * generated by Xtext 2.18.0.M3
3 */
4package org.eclipse.viatra.solver.language.ui.internal;
5
6import com.google.common.collect.Maps;
7import com.google.inject.Guice;
8import com.google.inject.Injector;
9import java.util.Collections;
10import java.util.Map;
11import org.apache.log4j.Logger;
12import org.eclipse.ui.plugin.AbstractUIPlugin;
13import org.eclipse.viatra.solver.language.SolverLanguageRuntimeModule;
14import org.eclipse.viatra.solver.language.ui.SolverLanguageUiModule;
15import org.eclipse.xtext.ui.shared.SharedStateModule;
16import org.eclipse.xtext.util.Modules2;
17import org.osgi.framework.BundleContext;
18
19/**
20 * This class was generated. Customizations should only happen in a newly
21 * introduced subclass.
22 */
23public class LanguageActivator extends AbstractUIPlugin {
24
25 public static final String PLUGIN_ID = "org.eclipse.viatra.solver.language.ui";
26 public static final String ORG_ECLIPSE_VIATRA_SOLVER_LANGUAGE_SOLVERLANGUAGE = "org.eclipse.viatra.solver.language.SolverLanguage";
27
28 private static final Logger logger = Logger.getLogger(LanguageActivator.class);
29
30 private static LanguageActivator INSTANCE;
31
32 private Map<String, Injector> injectors = Collections.synchronizedMap(Maps.<String, Injector> newHashMapWithExpectedSize(1));
33
34 @Override
35 public void start(BundleContext context) throws Exception {
36 super.start(context);
37 INSTANCE = this;
38 }
39
40 @Override
41 public void stop(BundleContext context) throws Exception {
42 injectors.clear();
43 INSTANCE = null;
44 super.stop(context);
45 }
46
47 public static LanguageActivator getInstance() {
48 return INSTANCE;
49 }
50
51 public Injector getInjector(String language) {
52 synchronized (injectors) {
53 Injector injector = injectors.get(language);
54 if (injector == null) {
55 injectors.put(language, injector = createInjector(language));
56 }
57 return injector;
58 }
59 }
60
61 protected Injector createInjector(String language) {
62 try {
63 com.google.inject.Module runtimeModule = getRuntimeModule(language);
64 com.google.inject.Module sharedStateModule = getSharedStateModule();
65 com.google.inject.Module uiModule = getUiModule(language);
66 com.google.inject.Module mergedModule = Modules2.mixin(runtimeModule, sharedStateModule, uiModule);
67 return Guice.createInjector(mergedModule);
68 } catch (Exception e) {
69 logger.error("Failed to create injector for " + language);
70 logger.error(e.getMessage(), e);
71 throw new RuntimeException("Failed to create injector for " + language, e);
72 }
73 }
74
75 protected com.google.inject.Module getRuntimeModule(String grammar) {
76 if (ORG_ECLIPSE_VIATRA_SOLVER_LANGUAGE_SOLVERLANGUAGE.equals(grammar)) {
77 return new SolverLanguageRuntimeModule();
78 }
79 throw new IllegalArgumentException(grammar);
80 }
81
82 protected com.google.inject.Module getUiModule(String grammar) {
83 if (ORG_ECLIPSE_VIATRA_SOLVER_LANGUAGE_SOLVERLANGUAGE.equals(grammar)) {
84 return new SolverLanguageUiModule(this);
85 }
86 throw new IllegalArgumentException(grammar);
87 }
88
89 protected com.google.inject.Module getSharedStateModule() {
90 return new SharedStateModule();
91 }
92
93
94}
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidatorConfigurationBlock.java b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidatorConfigurationBlock.java
new file mode 100644
index 00000000..ad6c3a18
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidatorConfigurationBlock.java
@@ -0,0 +1,35 @@
1/*
2 * generated by Xtext 2.18.0.M3
3 */
4package org.eclipse.viatra.solver.language.validation;
5
6import org.eclipse.jface.dialogs.IDialogSettings;
7import org.eclipse.swt.widgets.Composite;
8import org.eclipse.xtext.ui.validation.AbstractValidatorConfigurationBlock;
9
10@SuppressWarnings("restriction")
11public class SolverLanguageValidatorConfigurationBlock extends AbstractValidatorConfigurationBlock {
12
13 protected static final String SETTINGS_SECTION_NAME = "SolverLanguage";
14
15 @Override
16 protected void fillSettingsPage(Composite composite, int nColumns, int defaultIndent) {
17 addComboBox(SolverLanguageConfigurableIssueCodesProvider.DEPRECATED_MODEL_PART, "Deprecated Model Part", composite, defaultIndent);
18 }
19
20 @Override
21 public void dispose() {
22 storeSectionExpansionStates(getDialogSettings());
23 super.dispose();
24 }
25
26 @Override
27 protected IDialogSettings getDialogSettings() {
28 IDialogSettings dialogSettings = super.getDialogSettings();
29 IDialogSettings section = dialogSettings.getSection(SETTINGS_SECTION_NAME);
30 if (section == null) {
31 return dialogSettings.addNewSection(SETTINGS_SECTION_NAME);
32 }
33 return section;
34 }
35}
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-17 03:00:41 +0000