diff options
author | 2020-06-14 19:38:40 -0400 | |
---|---|---|
committer | 2020-06-14 19:38:40 -0400 | |
commit | 3997c2408f192e22f809cd96faa5bc552530289d (patch) | |
tree | 6d9134700977b29a5d67206c1e3f587d468e34fa /Application/hu.bme.mit.inf.dslreasoner.application.ui/src-gen/hu/bme | |
parent | remove Alloy solver copy (diff) | |
download | VIATRA-Generator-3997c2408f192e22f809cd96faa5bc552530289d.tar.gz VIATRA-Generator-3997c2408f192e22f809cd96faa5bc552530289d.tar.zst VIATRA-Generator-3997c2408f192e22f809cd96faa5bc552530289d.zip |
This branch is ready to be merged into masterVampire-New
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application.ui/src-gen/hu/bme')
4 files changed, 25 insertions, 22 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ui/src-gen/hu/bme/mit/inf/dslreasoner/application/ui/AbstractApplicationConfigurationUiModule.java b/Application/hu.bme.mit.inf.dslreasoner.application.ui/src-gen/hu/bme/mit/inf/dslreasoner/application/ui/AbstractApplicationConfigurationUiModule.java index 15fa1ba3..0774e7a8 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application.ui/src-gen/hu/bme/mit/inf/dslreasoner/application/ui/AbstractApplicationConfigurationUiModule.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application.ui/src-gen/hu/bme/mit/inf/dslreasoner/application/ui/AbstractApplicationConfigurationUiModule.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package hu.bme.mit.inf.dslreasoner.application.ui; | 4 | package hu.bme.mit.inf.dslreasoner.application.ui; |
5 | 5 | ||
@@ -216,6 +216,13 @@ public abstract class AbstractApplicationConfigurationUiModule extends DefaultUi | |||
216 | } | 216 | } |
217 | 217 | ||
218 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 | 218 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 |
219 | public void configureIPreferenceStoreInitializer(Binder binder) { | ||
220 | binder.bind(IPreferenceStoreInitializer.class) | ||
221 | .annotatedWith(Names.named("RefactoringPreferences")) | ||
222 | .to(RefactoringPreferences.Initializer.class); | ||
223 | } | ||
224 | |||
225 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 | ||
219 | public Class<? extends IRenameStrategy> bindIRenameStrategy() { | 226 | public Class<? extends IRenameStrategy> bindIRenameStrategy() { |
220 | return DefaultRenameStrategy.class; | 227 | return DefaultRenameStrategy.class; |
221 | } | 228 | } |
@@ -226,13 +233,6 @@ public abstract class AbstractApplicationConfigurationUiModule extends DefaultUi | |||
226 | } | 233 | } |
227 | 234 | ||
228 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 | 235 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 |
229 | public void configureIPreferenceStoreInitializer(Binder binder) { | ||
230 | binder.bind(IPreferenceStoreInitializer.class) | ||
231 | .annotatedWith(Names.named("RefactoringPreferences")) | ||
232 | .to(RefactoringPreferences.Initializer.class); | ||
233 | } | ||
234 | |||
235 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 | ||
236 | public Class<? extends IRenameRefactoringProvider> bindIRenameRefactoringProvider() { | 236 | public Class<? extends IRenameRefactoringProvider> bindIRenameRefactoringProvider() { |
237 | return DefaultRenameRefactoringProvider.class; | 237 | return DefaultRenameRefactoringProvider.class; |
238 | } | 238 | } |
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ui/src-gen/hu/bme/mit/inf/dslreasoner/application/ui/ApplicationConfigurationExecutableExtensionFactory.java b/Application/hu.bme.mit.inf.dslreasoner.application.ui/src-gen/hu/bme/mit/inf/dslreasoner/application/ui/ApplicationConfigurationExecutableExtensionFactory.java index ae8454b8..3c6d0c6c 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application.ui/src-gen/hu/bme/mit/inf/dslreasoner/application/ui/ApplicationConfigurationExecutableExtensionFactory.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application.ui/src-gen/hu/bme/mit/inf/dslreasoner/application/ui/ApplicationConfigurationExecutableExtensionFactory.java | |||
@@ -1,10 +1,11 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package hu.bme.mit.inf.dslreasoner.application.ui; | 4 | package hu.bme.mit.inf.dslreasoner.application.ui; |
5 | 5 | ||
6 | import com.google.inject.Injector; | 6 | import com.google.inject.Injector; |
7 | import hu.bme.mit.inf.dslreasoner.application.ui.internal.ApplicationActivator; | 7 | import hu.bme.mit.inf.dslreasoner.application.ui.internal.ApplicationActivator; |
8 | import org.eclipse.core.runtime.Platform; | ||
8 | import org.eclipse.xtext.ui.guice.AbstractGuiceAwareExecutableExtensionFactory; | 9 | import org.eclipse.xtext.ui.guice.AbstractGuiceAwareExecutableExtensionFactory; |
9 | import org.osgi.framework.Bundle; | 10 | import org.osgi.framework.Bundle; |
10 | 11 | ||
@@ -16,12 +17,13 @@ public class ApplicationConfigurationExecutableExtensionFactory extends Abstract | |||
16 | 17 | ||
17 | @Override | 18 | @Override |
18 | protected Bundle getBundle() { | 19 | protected Bundle getBundle() { |
19 | return ApplicationActivator.getInstance().getBundle(); | 20 | return Platform.getBundle(ApplicationActivator.PLUGIN_ID); |
20 | } | 21 | } |
21 | 22 | ||
22 | @Override | 23 | @Override |
23 | protected Injector getInjector() { | 24 | protected Injector getInjector() { |
24 | return ApplicationActivator.getInstance().getInjector(ApplicationActivator.HU_BME_MIT_INF_DSLREASONER_APPLICATION_APPLICATIONCONFIGURATION); | 25 | ApplicationActivator activator = ApplicationActivator.getInstance(); |
26 | return activator != null ? activator.getInjector(ApplicationActivator.HU_BME_MIT_INF_DSLREASONER_APPLICATION_APPLICATIONCONFIGURATION) : null; | ||
25 | } | 27 | } |
26 | 28 | ||
27 | } | 29 | } |
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ui/src-gen/hu/bme/mit/inf/dslreasoner/application/ui/contentassist/AbstractApplicationConfigurationProposalProvider.java b/Application/hu.bme.mit.inf.dslreasoner.application.ui/src-gen/hu/bme/mit/inf/dslreasoner/application/ui/contentassist/AbstractApplicationConfigurationProposalProvider.java index 514abf35..1f1aea9f 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application.ui/src-gen/hu/bme/mit/inf/dslreasoner/application/ui/contentassist/AbstractApplicationConfigurationProposalProvider.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application.ui/src-gen/hu/bme/mit/inf/dslreasoner/application/ui/contentassist/AbstractApplicationConfigurationProposalProvider.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package hu.bme.mit.inf.dslreasoner.application.ui.contentassist; | 4 | package hu.bme.mit.inf.dslreasoner.application.ui.contentassist; |
5 | 5 | ||
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ui/src-gen/hu/bme/mit/inf/dslreasoner/application/ui/internal/ApplicationActivator.java b/Application/hu.bme.mit.inf.dslreasoner.application.ui/src-gen/hu/bme/mit/inf/dslreasoner/application/ui/internal/ApplicationActivator.java index fb4f4cc0..cc015c7b 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application.ui/src-gen/hu/bme/mit/inf/dslreasoner/application/ui/internal/ApplicationActivator.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application.ui/src-gen/hu/bme/mit/inf/dslreasoner/application/ui/internal/ApplicationActivator.java | |||
@@ -1,12 +1,11 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package hu.bme.mit.inf.dslreasoner.application.ui.internal; | 4 | package hu.bme.mit.inf.dslreasoner.application.ui.internal; |
5 | 5 | ||
6 | import com.google.common.collect.Maps; | 6 | import com.google.common.collect.Maps; |
7 | import com.google.inject.Guice; | 7 | import com.google.inject.Guice; |
8 | import com.google.inject.Injector; | 8 | import com.google.inject.Injector; |
9 | import com.google.inject.Module; | ||
10 | import hu.bme.mit.inf.dslreasoner.application.ApplicationConfigurationRuntimeModule; | 9 | import hu.bme.mit.inf.dslreasoner.application.ApplicationConfigurationRuntimeModule; |
11 | import hu.bme.mit.inf.dslreasoner.application.ui.ApplicationConfigurationUiModule; | 10 | import hu.bme.mit.inf.dslreasoner.application.ui.ApplicationConfigurationUiModule; |
12 | import java.util.Collections; | 11 | import java.util.Collections; |
@@ -23,6 +22,7 @@ import org.osgi.framework.BundleContext; | |||
23 | */ | 22 | */ |
24 | public class ApplicationActivator extends AbstractUIPlugin { | 23 | public class ApplicationActivator extends AbstractUIPlugin { |
25 | 24 | ||
25 | public static final String PLUGIN_ID = "hu.bme.mit.inf.dslreasoner.application.ui"; | ||
26 | public static final String HU_BME_MIT_INF_DSLREASONER_APPLICATION_APPLICATIONCONFIGURATION = "hu.bme.mit.inf.dslreasoner.application.ApplicationConfiguration"; | 26 | public static final String HU_BME_MIT_INF_DSLREASONER_APPLICATION_APPLICATIONCONFIGURATION = "hu.bme.mit.inf.dslreasoner.application.ApplicationConfiguration"; |
27 | 27 | ||
28 | private static final Logger logger = Logger.getLogger(ApplicationActivator.class); | 28 | private static final Logger logger = Logger.getLogger(ApplicationActivator.class); |
@@ -60,10 +60,10 @@ public class ApplicationActivator extends AbstractUIPlugin { | |||
60 | 60 | ||
61 | protected Injector createInjector(String language) { | 61 | protected Injector createInjector(String language) { |
62 | try { | 62 | try { |
63 | Module runtimeModule = getRuntimeModule(language); | 63 | com.google.inject.Module runtimeModule = getRuntimeModule(language); |
64 | Module sharedStateModule = getSharedStateModule(); | 64 | com.google.inject.Module sharedStateModule = getSharedStateModule(); |
65 | Module uiModule = getUiModule(language); | 65 | com.google.inject.Module uiModule = getUiModule(language); |
66 | Module mergedModule = Modules2.mixin(runtimeModule, sharedStateModule, uiModule); | 66 | com.google.inject.Module mergedModule = Modules2.mixin(runtimeModule, sharedStateModule, uiModule); |
67 | return Guice.createInjector(mergedModule); | 67 | return Guice.createInjector(mergedModule); |
68 | } catch (Exception e) { | 68 | } catch (Exception e) { |
69 | logger.error("Failed to create injector for " + language); | 69 | logger.error("Failed to create injector for " + language); |
@@ -72,22 +72,23 @@ public class ApplicationActivator extends AbstractUIPlugin { | |||
72 | } | 72 | } |
73 | } | 73 | } |
74 | 74 | ||
75 | protected Module getRuntimeModule(String grammar) { | 75 | protected com.google.inject.Module getRuntimeModule(String grammar) { |
76 | if (HU_BME_MIT_INF_DSLREASONER_APPLICATION_APPLICATIONCONFIGURATION.equals(grammar)) { | 76 | if (HU_BME_MIT_INF_DSLREASONER_APPLICATION_APPLICATIONCONFIGURATION.equals(grammar)) { |
77 | return new ApplicationConfigurationRuntimeModule(); | 77 | return new ApplicationConfigurationRuntimeModule(); |
78 | } | 78 | } |
79 | throw new IllegalArgumentException(grammar); | 79 | throw new IllegalArgumentException(grammar); |
80 | } | 80 | } |
81 | 81 | ||
82 | protected Module getUiModule(String grammar) { | 82 | protected com.google.inject.Module getUiModule(String grammar) { |
83 | if (HU_BME_MIT_INF_DSLREASONER_APPLICATION_APPLICATIONCONFIGURATION.equals(grammar)) { | 83 | if (HU_BME_MIT_INF_DSLREASONER_APPLICATION_APPLICATIONCONFIGURATION.equals(grammar)) { |
84 | return new ApplicationConfigurationUiModule(this); | 84 | return new ApplicationConfigurationUiModule(this); |
85 | } | 85 | } |
86 | throw new IllegalArgumentException(grammar); | 86 | throw new IllegalArgumentException(grammar); |
87 | } | 87 | } |
88 | 88 | ||
89 | protected Module getSharedStateModule() { | 89 | protected com.google.inject.Module getSharedStateModule() { |
90 | return new SharedStateModule(); | 90 | return new SharedStateModule(); |
91 | } | 91 | } |
92 | 92 | ||
93 | |||
93 | } | 94 | } |