diff options
26 files changed, 1207 insertions, 75 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeModule.xtendbin b/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeModule.xtendbin index 81ae9937..b0ce2497 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeModule.xtendbin +++ b/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeModule.xtendbin | |||
Binary files differ | |||
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeSetup.xtendbin b/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeSetup.xtendbin index 10371590..b69f4fca 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeSetup.xtendbin +++ b/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeSetup.xtendbin | |||
Binary files differ | |||
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/Eclipse Application.launch b/Application/hu.bme.mit.inf.dslreasoner.application/Eclipse Application.launch index 07eb0292..01894594 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/Eclipse Application.launch +++ b/Application/hu.bme.mit.inf.dslreasoner.application/Eclipse Application.launch | |||
@@ -25,8 +25,1150 @@ | |||
25 | <booleanAttribute key="pde.generated.config" value="false"/> | 25 | <booleanAttribute key="pde.generated.config" value="false"/> |
26 | <stringAttribute key="pde.version" value="3.3"/> | 26 | <stringAttribute key="pde.version" value="3.3"/> |
27 | <stringAttribute key="product" value="org.eclipse.platform.ide"/> | 27 | <stringAttribute key="product" value="org.eclipse.platform.ide"/> |
28 | <stringAttribute key="selected_target_plugins" value="com.eclipsesource.j2v8.linux_x86_64@default:default,com.github.mifmif.generex@default:default,com.google.gson@default:default,com.google.guava@default:default,com.google.inject.multibindings@default:false,com.google.inject@default:default,com.ibm.icu@default:default,com.jcraft.jsch@default:default,com.jcraft.jzlib@default:default,com.sun.el@default:default,de.tuberlin.eecs.agg@default:default,dk.brics.automaton@default:default,guru.nidi.graphviz-java@default:default,javaewah@default:default,javax.activation@default:default,javax.annotation@default:default,javax.el@default:default,javax.inject@default:default,javax.servlet.jsp@default:default,javax.servlet@default:default,javax.xml.bind@default:default,javax.xml@default:default,lpg.runtime.java@default:default,net.i2p.crypto.eddsa@default:default,org.antlr.runtime*3.2.0.v201101311130@default:default,org.antlr.runtime*4.3.0.v201502022030@default:default,org.apache.ant@default:default,org.apache.batik.bridge@default:default,org.apache.batik.constants@default:default,org.apache.batik.css*1.10.0.v20180703-1553@default:default,org.apache.batik.css*1.6.0.v201011041432@default:default,org.apache.batik.dom.svg@default:default,org.apache.batik.dom@default:default,org.apache.batik.ext.awt@default:default,org.apache.batik.i18n@default:default,org.apache.batik.parser@default:default,org.apache.batik.pdf@default:default,org.apache.batik.svggen@default:default,org.apache.batik.transcoder@default:default,org.apache.batik.util*1.10.0.v20180703-1553@default:default,org.apache.batik.util*1.6.0.v201011041432@default:default,org.apache.batik.util.gui@default:default,org.apache.batik.xml@default:default,org.apache.commons.cli@default:default,org.apache.commons.codec*1.10.0.v20180409-1845@default:default,org.apache.commons.codec*1.9.0.v20170208-1614@default:default,org.apache.commons.compress@default:default,org.apache.commons.exec@default:default,org.apache.commons.httpclient@default:default,org.apache.commons.io@default:default,org.apache.commons.jxpath@default:default,org.apache.commons.lang3@default:default,org.apache.commons.lang@default:default,org.apache.commons.logging*1.1.1.v201101211721@default:default,org.apache.commons.logging*1.2.0.v20180409-1502@default:default,org.apache.commons.math3@default:default,org.apache.felix.gogo.command@default:default,org.apache.felix.gogo.runtime@default:default,org.apache.felix.gogo.shell@default:default,org.apache.felix.scr@1:true,org.apache.httpcomponents.httpclient@default:default,org.apache.httpcomponents.httpcore@default:default,org.apache.jasper.glassfish@default:default,org.apache.log4j@default:default,org.apache.lucene.analyzers-common*6.1.0.v20161115-1612@default:default,org.apache.lucene.analyzers-common*7.5.0.v20181003-1532@default:default,org.apache.lucene.analyzers-smartcn@default:default,org.apache.lucene.core*6.1.0.v20170814-1820@default:default,org.apache.lucene.core*7.5.0.v20181003-1532@default:default,org.apache.lucene.queryparser@default:default,org.apache.sshd.core@default:default,org.apache.sshd.sftp@default:default,org.apache.ws.commons.util@default:default,org.apache.xerces@default:default,org.apache.xml.resolver@default:default,org.apache.xml.serializer@default:default,org.apache.xmlgraphics@default:default,org.apache.xmlrpc@default:default,org.apiguardian@default:default,org.bouncycastle.bcpg@default:default,org.bouncycastle.bcpkix@default:default,org.bouncycastle.bcprov@default:default,org.eclipse.acceleo.annotations@default:default,org.eclipse.acceleo.query@default:default,org.eclipse.acceleo.ui.interpreter@default:default,org.eclipse.ant.core@default:default,org.eclipse.ant.launching@default:default,org.eclipse.ant.ui@default:default,org.eclipse.collections@default:default,org.eclipse.compare.core@default:default,org.eclipse.compare@default:default,org.eclipse.core.commands@default:default,org.eclipse.core.contenttype@default:default,org.eclipse.core.databinding.beans@default:default,org.eclipse.core.databinding.observable@default:default,org.eclipse.core.databinding.property@default:default,org.eclipse.core.databinding@default:default,org.eclipse.core.expressions@default:default,org.eclipse.core.externaltools@default:default,org.eclipse.core.filebuffers@default:default,org.eclipse.core.filesystem.linux.x86_64@default:false,org.eclipse.core.filesystem@default:default,org.eclipse.core.jobs@default:default,org.eclipse.core.net.linux.x86_64@default:false,org.eclipse.core.net@default:default,org.eclipse.core.resources@default:default,org.eclipse.core.runtime@default:true,org.eclipse.core.variables@default:default,org.eclipse.debug.core@default:default,org.eclipse.debug.ui@default:default,org.eclipse.draw2d.doc.isv@default:default,org.eclipse.draw2d@default:default,org.eclipse.e4.core.commands@default:default,org.eclipse.e4.core.contexts@default:default,org.eclipse.e4.core.di.annotations@default:default,org.eclipse.e4.core.di.extensions.supplier@default:default,org.eclipse.e4.core.di.extensions@default:default,org.eclipse.e4.core.di@default:default,org.eclipse.e4.core.services@default:default,org.eclipse.e4.emf.xpath@default:default,org.eclipse.e4.tools.compat@default:default,org.eclipse.e4.tools.emf.editor3x@default:default,org.eclipse.e4.tools.emf.ui@default:default,org.eclipse.e4.tools.jdt.templates@default:default,org.eclipse.e4.tools.services@default:default,org.eclipse.e4.tools@default:default,org.eclipse.e4.ui.bindings@default:default,org.eclipse.e4.ui.css.core@default:default,org.eclipse.e4.ui.css.swt.theme@default:default,org.eclipse.e4.ui.css.swt@default:default,org.eclipse.e4.ui.di@default:default,org.eclipse.e4.ui.dialogs@default:default,org.eclipse.e4.ui.model.workbench@default:default,org.eclipse.e4.ui.services@default:default,org.eclipse.e4.ui.swt.gtk@default:false,org.eclipse.e4.ui.widgets@default:default,org.eclipse.e4.ui.workbench.addons.swt@default:default,org.eclipse.e4.ui.workbench.renderers.swt@default:default,org.eclipse.e4.ui.workbench.swt@default:default,org.eclipse.e4.ui.workbench3@default:default,org.eclipse.e4.ui.workbench@default:default,org.eclipse.ecf.filetransfer@default:default,org.eclipse.ecf.identity@default:default,org.eclipse.ecf.provider.filetransfer.httpclient4.ssl@default:false,org.eclipse.ecf.provider.filetransfer.httpclient4@default:default,org.eclipse.ecf.provider.filetransfer.ssl@default:false,org.eclipse.ecf.provider.filetransfer@default:default,org.eclipse.ecf.ssl@default:false,org.eclipse.ecf@default:default,org.eclipse.eef.common.ui@default:default,org.eclipse.eef.common@default:default,org.eclipse.eef.core.ext.widgets.reference@default:default,org.eclipse.eef.core@default:default,org.eclipse.eef.ext.widgets.reference@default:default,org.eclipse.eef.ide.ui.ext.widgets.reference@default:default,org.eclipse.eef.ide.ui.properties@default:default,org.eclipse.eef.ide.ui@default:default,org.eclipse.eef.properties.ui.legacy@default:default,org.eclipse.eef.properties.ui@default:default,org.eclipse.eef@default:default,org.eclipse.egit.core@default:default,org.eclipse.egit.doc@default:default,org.eclipse.egit.ui@default:default,org.eclipse.egit@default:default,org.eclipse.emf.ant@default:default,org.eclipse.emf.cdo.admin@default:default,org.eclipse.emf.cdo.common.db@default:default,org.eclipse.emf.cdo.common@default:default,org.eclipse.emf.cdo.compare@default:default,org.eclipse.emf.cdo.doc@default:default,org.eclipse.emf.cdo.edit@default:default,org.eclipse.emf.cdo.examples.installer@default:default,org.eclipse.emf.cdo.explorer.ui@default:default,org.eclipse.emf.cdo.explorer@default:default,org.eclipse.emf.cdo.expressions.edit@default:default,org.eclipse.emf.cdo.expressions.editor@default:default,org.eclipse.emf.cdo.expressions@default:default,org.eclipse.emf.cdo.migrator@default:default,org.eclipse.emf.cdo.net4j@default:default,org.eclipse.emf.cdo.security.edit@default:default,org.eclipse.emf.cdo.security.editor@default:default,org.eclipse.emf.cdo.security.ui@default:default,org.eclipse.emf.cdo.security@default:default,org.eclipse.emf.cdo.server.admin@default:default,org.eclipse.emf.cdo.server.db@default:default,org.eclipse.emf.cdo.server.net4j@default:default,org.eclipse.emf.cdo.server.ocl@default:default,org.eclipse.emf.cdo.server.product@default:default,org.eclipse.emf.cdo.server.security@default:default,org.eclipse.emf.cdo.server@default:default,org.eclipse.emf.cdo.transfer.repository@default:default,org.eclipse.emf.cdo.transfer.ui@default:default,org.eclipse.emf.cdo.transfer.workspace.ui@default:default,org.eclipse.emf.cdo.transfer.workspace@default:default,org.eclipse.emf.cdo.transfer@default:default,org.eclipse.emf.cdo.ui.admin@default:default,org.eclipse.emf.cdo.ui.compare@default:default,org.eclipse.emf.cdo.ui.shared@default:default,org.eclipse.emf.cdo.ui.team@default:default,org.eclipse.emf.cdo.ui@default:default,org.eclipse.emf.cdo.workspace@default:default,org.eclipse.emf.cdo@default:default,org.eclipse.emf.cheatsheets@default:default,org.eclipse.emf.codegen.ecore.ui@default:default,org.eclipse.emf.codegen.ecore@default:default,org.eclipse.emf.codegen.ui@default:default,org.eclipse.emf.codegen@default:default,org.eclipse.emf.common.ui@default:default,org.eclipse.emf.common@default:default,org.eclipse.emf.compare.diagram.edit@default:default,org.eclipse.emf.compare.diagram.ide.ui.sirius@default:default,org.eclipse.emf.compare.diagram.ide.ui@default:default,org.eclipse.emf.compare.diagram.sirius@default:default,org.eclipse.emf.compare.diagram@default:default,org.eclipse.emf.compare.doc@default:default,org.eclipse.emf.compare.edit@default:default,org.eclipse.emf.compare.egit.ui@default:default,org.eclipse.emf.compare.egit@default:default,org.eclipse.emf.compare.ide.ui@default:default,org.eclipse.emf.compare.ide@default:default,org.eclipse.emf.compare.rcp.ui@default:default,org.eclipse.emf.compare.rcp@default:default,org.eclipse.emf.compare@default:default,org.eclipse.emf.converter@default:default,org.eclipse.emf.databinding.edit@default:default,org.eclipse.emf.databinding@default:default,org.eclipse.emf.doc@default:default,org.eclipse.emf.ecore.change.edit@default:default,org.eclipse.emf.ecore.change@default:default,org.eclipse.emf.ecore.edit@default:default,org.eclipse.emf.ecore.editor@default:default,org.eclipse.emf.ecore.xmi@default:default,org.eclipse.emf.ecore@default:default,org.eclipse.emf.ecoretools.design.ui@default:default,org.eclipse.emf.ecoretools.design@default:default,org.eclipse.emf.ecoretools.doc@default:default,org.eclipse.emf.ecoretools.ui@default:default,org.eclipse.emf.ecoretools@default:default,org.eclipse.emf.ecp.application.e3@default:default,org.eclipse.emf.ecp.application.e4@default:default,org.eclipse.emf.ecp.cdo.core@default:default,org.eclipse.emf.ecp.cdo.ui@default:default,org.eclipse.emf.ecp.common.ui@default:default,org.eclipse.emf.ecp.common@default:default,org.eclipse.emf.ecp.core.emffilter@default:default,org.eclipse.emf.ecp.core@default:default,org.eclipse.emf.ecp.edit.swt@default:default,org.eclipse.emf.ecp.edit@default:default,org.eclipse.emf.ecp.editor.e3@default:default,org.eclipse.emf.ecp.emf2web.json@default:default,org.eclipse.emf.ecp.emf2web.ui.json@default:default,org.eclipse.emf.ecp.emf2web.ui@default:default,org.eclipse.emf.ecp.emf2web@default:default,org.eclipse.emf.ecp.emfstore.core@default:default,org.eclipse.emf.ecp.emfstore.ui.e3@default:default,org.eclipse.emf.ecp.emfstore.ui.e4@default:default,org.eclipse.emf.ecp.emfstore.ui.search@default:default,org.eclipse.emf.ecp.emfstore.ui@default:default,org.eclipse.emf.ecp.explorereditorbridge@default:default,org.eclipse.emf.ecp.ide.editor.view.templatebridge@default:default,org.eclipse.emf.ecp.ide.editor.view@default:default,org.eclipse.emf.ecp.ide.editor.viewmodel@default:default,org.eclipse.emf.ecp.ide.util@default:default,org.eclipse.emf.ecp.ide.view.service@default:default,org.eclipse.emf.ecp.makeithappen.wizards@default:default,org.eclipse.emf.ecp.ui.e3@default:default,org.eclipse.emf.ecp.ui.e4@default:default,org.eclipse.emf.ecp.ui.rcp@default:default,org.eclipse.emf.ecp.ui.view.editor.controls@default:default,org.eclipse.emf.ecp.ui.view.linewrapper@default:default,org.eclipse.emf.ecp.ui.view.swt@default:default,org.eclipse.emf.ecp.ui.view@default:default,org.eclipse.emf.ecp.ui@default:default,org.eclipse.emf.ecp.validation.connector@default:default,org.eclipse.emf.ecp.validation@default:default,org.eclipse.emf.ecp.view.categorization.model.edit@default:default,org.eclipse.emf.ecp.view.categorization.model@default:default,org.eclipse.emf.ecp.view.categorization.swt@default:default,org.eclipse.emf.ecp.view.compoundcontrol.model.edit@default:default,org.eclipse.emf.ecp.view.compoundcontrol.model@default:default,org.eclipse.emf.ecp.view.compoundcontrol.swt@default:default,org.eclipse.emf.ecp.view.compoundcontrol.tooling@default:default,org.eclipse.emf.ecp.view.context.locale@default:default,org.eclipse.emf.ecp.view.context@default:default,org.eclipse.emf.ecp.view.control.multireference@default:default,org.eclipse.emf.ecp.view.core.swt@default:default,org.eclipse.emf.ecp.view.custom.model.edit@default:default,org.eclipse.emf.ecp.view.custom.model@default:default,org.eclipse.emf.ecp.view.custom.ui.swt@default:default,org.eclipse.emf.ecp.view.edapt@default:default,org.eclipse.emf.ecp.view.group.model.edit@default:default,org.eclipse.emf.ecp.view.group.model@default:default,org.eclipse.emf.ecp.view.group.swt.collapsable@default:default,org.eclipse.emf.ecp.view.group.swt.embedded@default:default,org.eclipse.emf.ecp.view.group.ui.swt@default:default,org.eclipse.emf.ecp.view.horizontal.model.edit@default:default,org.eclipse.emf.ecp.view.horizontal.model@default:default,org.eclipse.emf.ecp.view.horizontal.ui.swt@default:default,org.eclipse.emf.ecp.view.indexdmr.model@default:default,org.eclipse.emf.ecp.view.label.model.edit@default:default,org.eclipse.emf.ecp.view.label.model@default:default,org.eclipse.emf.ecp.view.label.ui.swt@default:default,org.eclipse.emf.ecp.view.mappingdmr.model@default:default,org.eclipse.emf.ecp.view.migrator@default:default,org.eclipse.emf.ecp.view.model.common@default:default,org.eclipse.emf.ecp.view.model.edapt@default:default,org.eclipse.emf.ecp.view.model.edit@default:default,org.eclipse.emf.ecp.view.model.editor@default:default,org.eclipse.emf.ecp.view.model.preview.common@default:default,org.eclipse.emf.ecp.view.model.preview.e3@default:default,org.eclipse.emf.ecp.view.model.project.installer@default:default,org.eclipse.emf.ecp.view.model.provider.generator@default:default,org.eclipse.emf.ecp.view.model.provider.xmi@default:default,org.eclipse.emf.ecp.view.model@default:default,org.eclipse.emf.ecp.view.rule.model.edit@default:default,org.eclipse.emf.ecp.view.rule.model@default:default,org.eclipse.emf.ecp.view.rule@default:default,org.eclipse.emf.ecp.view.stack.model.edit@default:default,org.eclipse.emf.ecp.view.stack.model@default:default,org.eclipse.emf.ecp.view.stack.ui.swt@default:default,org.eclipse.emf.ecp.view.stack.viewmodel@default:default,org.eclipse.emf.ecp.view.swt.layout@default:default,org.eclipse.emf.ecp.view.table.columnservice@default:default,org.eclipse.emf.ecp.view.table.edapt@default:default,org.eclipse.emf.ecp.view.table.model.edit@default:default,org.eclipse.emf.ecp.view.table.model@default:default,org.eclipse.emf.ecp.view.table.ui.swt@default:default,org.eclipse.emf.ecp.view.template.annotation.model.edit@default:default,org.eclipse.emf.ecp.view.template.annotation.model@default:default,org.eclipse.emf.ecp.view.template.model.edit@default:default,org.eclipse.emf.ecp.view.template.model@default:default,org.eclipse.emf.ecp.view.template.service@default:default,org.eclipse.emf.ecp.view.template.tooling@default:default,org.eclipse.emf.ecp.view.treemasterdetail.model.edit@default:default,org.eclipse.emf.ecp.view.treemasterdetail.model@default:default,org.eclipse.emf.ecp.view.treemasterdetail.ui.swt@default:default,org.eclipse.emf.ecp.view.treemasterdetail.validation@default:default,org.eclipse.emf.ecp.view.unset@default:default,org.eclipse.emf.ecp.view.util.swt@default:default,org.eclipse.emf.ecp.view.validation@default:default,org.eclipse.emf.ecp.view.vertical.model.edit@default:default,org.eclipse.emf.ecp.view.vertical.model@default:default,org.eclipse.emf.ecp.view.vertical.ui.swt@default:default,org.eclipse.emf.ecp.view.viewproxy.model.edit@default:default,org.eclipse.emf.ecp.view.viewproxy.model@default:default,org.eclipse.emf.ecp.view.workspace.migrator@default:default,org.eclipse.emf.ecp.workspace.core@default:default,org.eclipse.emf.ecp.workspace.ui@default:default,org.eclipse.emf.edapt.common@default:default,org.eclipse.emf.edapt.declaration@default:default,org.eclipse.emf.edapt.history@default:default,org.eclipse.emf.edapt.migration@default:default,org.eclipse.emf.edit.ui@default:default,org.eclipse.emf.edit@default:default,org.eclipse.emf.emfstore.client.model.edit@default:default,org.eclipse.emf.emfstore.client.ui.rcp@default:false,org.eclipse.emf.emfstore.client.ui@default:default,org.eclipse.emf.emfstore.client@default:default,org.eclipse.emf.emfstore.common.model.edit@default:default,org.eclipse.emf.emfstore.common.model@default:default,org.eclipse.emf.emfstore.common@default:default,org.eclipse.emf.emfstore.example.installer@default:default,org.eclipse.emf.emfstore.examplemodel.edit@default:default,org.eclipse.emf.emfstore.examplemodel@default:default,org.eclipse.emf.emfstore.migration@default:default,org.eclipse.emf.emfstore.server.model.edit@default:default,org.eclipse.emf.emfstore.server.model@default:default,org.eclipse.emf.emfstore.server@default:default,org.eclipse.emf.example.installer@default:default,org.eclipse.emf.exporter@default:default,org.eclipse.emf.henshin.diagram@default:default,org.eclipse.emf.henshin.edit@default:default,org.eclipse.emf.henshin.editor@default:default,org.eclipse.emf.henshin.examples@default:default,org.eclipse.emf.henshin.giraph@default:default,org.eclipse.emf.henshin.interpreter.ui@default:default,org.eclipse.emf.henshin.interpreter@default:default,org.eclipse.emf.henshin.model@default:default,org.eclipse.emf.henshin.multicda.cda@default:default,org.eclipse.emf.henshin.multicda.cpa.ui@default:default,org.eclipse.emf.henshin.multicda.cpa@default:default,org.eclipse.emf.henshin.rulegen.ui@default:default,org.eclipse.emf.henshin.rulegen@default:default,org.eclipse.emf.henshin.statespace.explorer@default:default,org.eclipse.emf.henshin.statespace.external@default:default,org.eclipse.emf.henshin.statespace@default:default,org.eclipse.emf.henshin.text.ide@default:default,org.eclipse.emf.henshin.text.transformation@default:default,org.eclipse.emf.henshin.text.ui@default:default,org.eclipse.emf.henshin.text@default:default,org.eclipse.emf.henshin.trace@default:default,org.eclipse.emf.henshin.wrap@default:default,org.eclipse.emf.importer.ecore@default:default,org.eclipse.emf.importer.java@default:default,org.eclipse.emf.importer.rose@default:default,org.eclipse.emf.importer@default:default,org.eclipse.emf.mapping.ecore.editor@default:default,org.eclipse.emf.mapping.ecore2ecore.editor@default:default,org.eclipse.emf.mapping.ecore2ecore@default:default,org.eclipse.emf.mapping.ecore2xml.ui@default:default,org.eclipse.emf.mapping.ecore2xml@default:default,org.eclipse.emf.mapping.ecore@default:default,org.eclipse.emf.mapping.ui@default:default,org.eclipse.emf.mapping.xsd2ecore.editor@default:default,org.eclipse.emf.mapping.xsd2ecore@default:default,org.eclipse.emf.mapping@default:default,org.eclipse.emf.mwe.core@default:default,org.eclipse.emf.mwe.utils@default:default,org.eclipse.emf.mwe2.language.ide@default:default,org.eclipse.emf.mwe2.language.ui@default:default,org.eclipse.emf.mwe2.language@default:default,org.eclipse.emf.mwe2.launch.ui@default:default,org.eclipse.emf.mwe2.launch@default:default,org.eclipse.emf.mwe2.lib@default:default,org.eclipse.emf.mwe2.runtime@default:default,org.eclipse.emf.parsley.cdo.common@default:default,org.eclipse.emf.parsley.cdo@default:default,org.eclipse.emf.parsley.common@default:default,org.eclipse.emf.parsley.doc@default:default,org.eclipse.emf.parsley.dsl.additional.builder@default:default,org.eclipse.emf.parsley.dsl.ide@default:default,org.eclipse.emf.parsley.dsl.ui@default:default,org.eclipse.emf.parsley.dsl@default:default,org.eclipse.emf.parsley.editors.common@default:default,org.eclipse.emf.parsley.editors@default:default,org.eclipse.emf.parsley.generator.common@default:default,org.eclipse.emf.parsley.junit4@default:default,org.eclipse.emf.parsley.runtime.common@default:default,org.eclipse.emf.parsley.runtime@default:default,org.eclipse.emf.parsley.ui.examples@default:default,org.eclipse.emf.parsley.views.common@default:default,org.eclipse.emf.parsley.views@default:default,org.eclipse.emf.parsley.wizards@default:default,org.eclipse.emf.parsley@default:default,org.eclipse.emf.query.doc@default:default,org.eclipse.emf.query.examples@default:default,org.eclipse.emf.query.ocl@default:default,org.eclipse.emf.query@default:default,org.eclipse.emf.transaction.doc@default:default,org.eclipse.emf.transaction.examples@default:default,org.eclipse.emf.transaction.ui@default:default,org.eclipse.emf.transaction@default:default,org.eclipse.emf.validation.doc@default:default,org.eclipse.emf.validation.examples@default:default,org.eclipse.emf.validation.ocl@default:default,org.eclipse.emf.validation.ui.ide@default:default,org.eclipse.emf.validation.ui@default:default,org.eclipse.emf.validation@default:default,org.eclipse.emf.workspace.doc@default:default,org.eclipse.emf.workspace.ui@default:default,org.eclipse.emf.workspace@default:default,org.eclipse.emf@default:default,org.eclipse.emfforms.coffee.wizards@default:default,org.eclipse.emfforms.common.validation@default:default,org.eclipse.emfforms.common@default:default,org.eclipse.emfforms.core.bazaar@default:default,org.eclipse.emfforms.core.services.databinding.featurepath@default:default,org.eclipse.emfforms.core.services.databinding.index@default:default,org.eclipse.emfforms.core.services.databinding.mapping@default:default,org.eclipse.emfforms.core.services.domainexpander.default@default:default,org.eclipse.emfforms.core.services.domainexpander.index@default:default,org.eclipse.emfforms.core.services.domainexpander.mapping@default:default,org.eclipse.emfforms.core.services.domainexpander.table@default:default,org.eclipse.emfforms.core.services.editsupport@default:default,org.eclipse.emfforms.core.services.emf@default:default,org.eclipse.emfforms.core.services.emfspecificservice@default:default,org.eclipse.emfforms.core.services.legacy@default:default,org.eclipse.emfforms.core.services.locale.default@default:default,org.eclipse.emfforms.core.services.mappingprovider.default@default:default,org.eclipse.emfforms.core.services.mappingprovider.table.panel@default:default,org.eclipse.emfforms.core.services.mappingprovider.table@default:default,org.eclipse.emfforms.core.services.segments.featurepath@default:default,org.eclipse.emfforms.core.services.segments.index@default:default,org.eclipse.emfforms.core.services.segments.mapping@default:default,org.eclipse.emfforms.core.services.segments.multi@default:default,org.eclipse.emfforms.core.services.segments@default:default,org.eclipse.emfforms.core.services.structuralchange.default@default:default,org.eclipse.emfforms.core.services.structuralchange.index@default:default,org.eclipse.emfforms.core.services.structuralchange.mapping@default:default,org.eclipse.emfforms.core.services.structuralchange.table@default:default,org.eclipse.emfforms.core.services.structuralchange@default:default,org.eclipse.emfforms.core.services@default:default,org.eclipse.emfforms.editor.ecore@default:default,org.eclipse.emfforms.editor.genmodel@default:default,org.eclipse.emfforms.editor@default:default,org.eclipse.emfforms.example.common.wizards@default:default,org.eclipse.emfforms.ide.builder@default:default,org.eclipse.emfforms.ide.viewtemplate.builder@default:default,org.eclipse.emfforms.localization@default:default,org.eclipse.emfforms.setup.base@default:default,org.eclipse.emfforms.swt.control.multiattribute@default:default,org.eclipse.emfforms.swt.core.di.extension@default:default,org.eclipse.emfforms.swt.core.di@default:default,org.eclipse.emfforms.swt.core.plugin@default:default,org.eclipse.emfforms.swt.core@default:default,org.eclipse.emfforms.swt.table@default:default,org.eclipse.emfforms.swt.treemasterdetail.decorator.validation.default@default:default,org.eclipse.emfforms.swt.treemasterdetail@default:default,org.eclipse.emfforms.view.annotation.model.edit@default:default,org.eclipse.emfforms.view.annotation.model@default:default,org.eclipse.emfforms.view.indexsegment.model@default:default,org.eclipse.emfforms.view.mappingsegment.model@default:default,org.eclipse.emfforms.view.model.localization@default:default,org.eclipse.emfforms.view.multisegment.model.edit@default:default,org.eclipse.emfforms.view.multisegment.model@default:default,org.eclipse.epp.logging.aeri.core@default:default,org.eclipse.epp.logging.aeri.ide@default:default,org.eclipse.epp.mpc.core@default:default,org.eclipse.epp.mpc.help.ui@default:default,org.eclipse.epp.mpc.ui.css@default:default,org.eclipse.epp.mpc.ui@default:default,org.eclipse.epp.package.common@default:default,org.eclipse.epp.package.modeling@default:default,org.eclipse.equinox.app@default:default,org.eclipse.equinox.bidi@default:default,org.eclipse.equinox.common@2:true,org.eclipse.equinox.concurrent@default:default,org.eclipse.equinox.console@default:default,org.eclipse.equinox.ds@1:true,org.eclipse.equinox.event@default:default,org.eclipse.equinox.frameworkadmin.equinox@default:default,org.eclipse.equinox.frameworkadmin@default:default,org.eclipse.equinox.http.jetty@default:default,org.eclipse.equinox.http.registry@default:default,org.eclipse.equinox.http.servlet@default:default,org.eclipse.equinox.jsp.jasper.registry@default:default,org.eclipse.equinox.jsp.jasper@default:default,org.eclipse.equinox.launcher.gtk.linux.x86_64@default:false,org.eclipse.equinox.launcher@default:default,org.eclipse.equinox.p2.artifact.repository@default:default,org.eclipse.equinox.p2.console@default:default,org.eclipse.equinox.p2.core@default:default,org.eclipse.equinox.p2.director.app@default:default,org.eclipse.equinox.p2.director@default:default,org.eclipse.equinox.p2.directorywatcher@default:default,org.eclipse.equinox.p2.discovery.compatibility@default:default,org.eclipse.equinox.p2.discovery@default:default,org.eclipse.equinox.p2.engine@default:default,org.eclipse.equinox.p2.extensionlocation@default:default,org.eclipse.equinox.p2.garbagecollector@default:default,org.eclipse.equinox.p2.jarprocessor@default:default,org.eclipse.equinox.p2.metadata.repository@default:default,org.eclipse.equinox.p2.metadata@default:default,org.eclipse.equinox.p2.operations@default:default,org.eclipse.equinox.p2.publisher.eclipse@default:default,org.eclipse.equinox.p2.publisher@default:default,org.eclipse.equinox.p2.reconciler.dropins@default:default,org.eclipse.equinox.p2.repository.tools@default:default,org.eclipse.equinox.p2.repository@default:default,org.eclipse.equinox.p2.touchpoint.eclipse@default:default,org.eclipse.equinox.p2.touchpoint.natives@default:default,org.eclipse.equinox.p2.transport.ecf@default:default,org.eclipse.equinox.p2.ui.discovery@default:default,org.eclipse.equinox.p2.ui.importexport@default:default,org.eclipse.equinox.p2.ui.sdk.scheduler@default:default,org.eclipse.equinox.p2.ui.sdk@default:default,org.eclipse.equinox.p2.ui@default:default,org.eclipse.equinox.p2.updatechecker@default:default,org.eclipse.equinox.p2.updatesite@default:default,org.eclipse.equinox.preferences@default:default,org.eclipse.equinox.registry@default:default,org.eclipse.equinox.security.linux.x86_64@default:false,org.eclipse.equinox.security.ui@default:default,org.eclipse.equinox.security@default:default,org.eclipse.equinox.simpleconfigurator.manipulator@default:default,org.eclipse.equinox.simpleconfigurator@1:true,org.eclipse.equinox.util@default:default,org.eclipse.fx.osgi@default:false,org.eclipse.gef.common@default:default,org.eclipse.gef.doc.isv@default:default,org.eclipse.gef.examples.ui.pde@default:default,org.eclipse.gef.fx.swt@default:default,org.eclipse.gef.fx@default:default,org.eclipse.gef.geometry.convert.fx@default:default,org.eclipse.gef.geometry@default:default,org.eclipse.gef.graph@default:default,org.eclipse.gef.layout@default:default,org.eclipse.gef.mvc.fx@default:default,org.eclipse.gef.zest.fx.jface@default:default,org.eclipse.gef.zest.fx@default:default,org.eclipse.gef@default:default,org.eclipse.gmf.examples.runtime.diagram.geoshapes@default:default,org.eclipse.gmf.examples.runtime.diagram.logic.model.edit@default:default,org.eclipse.gmf.examples.runtime.diagram.logic.model.editor@default:default,org.eclipse.gmf.examples.runtime.diagram.logic.model@default:default,org.eclipse.gmf.examples.runtime.diagram.logic@default:default,org.eclipse.gmf.examples.runtime.ui.pde@default:default,org.eclipse.gmf.examples.runtime@default:default,org.eclipse.gmf.runtime.common.core@default:default,org.eclipse.gmf.runtime.common.ui.action.ide@default:default,org.eclipse.gmf.runtime.common.ui.action@default:default,org.eclipse.gmf.runtime.common.ui.printing.win32@default:false,org.eclipse.gmf.runtime.common.ui.printing@default:default,org.eclipse.gmf.runtime.common.ui.services.action@default:default,org.eclipse.gmf.runtime.common.ui.services.dnd.ide@default:default,org.eclipse.gmf.runtime.common.ui.services.dnd@default:default,org.eclipse.gmf.runtime.common.ui.services.properties@default:default,org.eclipse.gmf.runtime.common.ui.services@default:default,org.eclipse.gmf.runtime.common.ui@default:default,org.eclipse.gmf.runtime.diagram.core@default:default,org.eclipse.gmf.runtime.diagram.ui.actions@default:default,org.eclipse.gmf.runtime.diagram.ui.dnd@default:default,org.eclipse.gmf.runtime.diagram.ui.geoshapes@default:default,org.eclipse.gmf.runtime.diagram.ui.printing.render@default:default,org.eclipse.gmf.runtime.diagram.ui.printing@default:default,org.eclipse.gmf.runtime.diagram.ui.properties@default:default,org.eclipse.gmf.runtime.diagram.ui.providers.ide@default:default,org.eclipse.gmf.runtime.diagram.ui.providers@default:default,org.eclipse.gmf.runtime.diagram.ui.render@default:default,org.eclipse.gmf.runtime.diagram.ui.resources.editor.ide@default:default,org.eclipse.gmf.runtime.diagram.ui.resources.editor@default:default,org.eclipse.gmf.runtime.diagram.ui@default:default,org.eclipse.gmf.runtime.draw2d.ui.render.awt@default:default,org.eclipse.gmf.runtime.draw2d.ui.render@default:default,org.eclipse.gmf.runtime.draw2d.ui@default:default,org.eclipse.gmf.runtime.emf.clipboard.core@default:default,org.eclipse.gmf.runtime.emf.commands.core@default:default,org.eclipse.gmf.runtime.emf.core@default:default,org.eclipse.gmf.runtime.emf.type.core@default:default,org.eclipse.gmf.runtime.emf.type.ui@default:default,org.eclipse.gmf.runtime.emf.ui.properties@default:default,org.eclipse.gmf.runtime.emf.ui@default:default,org.eclipse.gmf.runtime.gef.ui@default:default,org.eclipse.gmf.runtime.notation.edit@default:default,org.eclipse.gmf.runtime.notation.providers@default:default,org.eclipse.gmf.runtime.notation.sdk@default:default,org.eclipse.gmf.runtime.notation@default:default,org.eclipse.gmf.runtime.sdk@default:default,org.eclipse.gmf@default:default,org.eclipse.help.base@default:default,org.eclipse.help.ui@default:default,org.eclipse.help.webapp@default:default,org.eclipse.help@default:default,org.eclipse.jdt.annotation*1.1.400.v20180921-1416@default:default,org.eclipse.jdt.annotation*2.2.200.v20180921-1416@default:default,org.eclipse.jdt.apt.core@default:default,org.eclipse.jdt.apt.pluggable.core@default:default,org.eclipse.jdt.apt.ui@default:default,org.eclipse.jdt.compiler.apt@default:false,org.eclipse.jdt.compiler.tool@default:false,org.eclipse.jdt.core.manipulation@default:default,org.eclipse.jdt.core@default:default,org.eclipse.jdt.debug.ui@default:default,org.eclipse.jdt.debug@default:default,org.eclipse.jdt.doc.isv@default:default,org.eclipse.jdt.doc.user@default:default,org.eclipse.jdt.junit.core@default:default,org.eclipse.jdt.junit.runtime@default:default,org.eclipse.jdt.junit4.runtime@default:default,org.eclipse.jdt.junit5.runtime@default:default,org.eclipse.jdt.junit@default:default,org.eclipse.jdt.launching@default:default,org.eclipse.jdt.ui@default:default,org.eclipse.jdt@default:default,org.eclipse.jem.util@default:default,org.eclipse.jetty.continuation@default:default,org.eclipse.jetty.http@default:default,org.eclipse.jetty.io@default:default,org.eclipse.jetty.security@default:default,org.eclipse.jetty.server@default:default,org.eclipse.jetty.servlet@default:default,org.eclipse.jetty.util@default:default,org.eclipse.jface.databinding@default:default,org.eclipse.jface.text@default:default,org.eclipse.jface@default:default,org.eclipse.jgit.archive@default:default,org.eclipse.jgit.ssh.apache@default:default,org.eclipse.jgit@default:default,org.eclipse.jsch.core@default:default,org.eclipse.jsch.ui@default:default,org.eclipse.ltk.core.refactoring@default:default,org.eclipse.ltk.ui.refactoring@default:default,org.eclipse.m2e.archetype.common@default:default,org.eclipse.m2e.core.ui@default:default,org.eclipse.m2e.core@default:default,org.eclipse.m2e.launching@default:default,org.eclipse.m2e.maven.indexer@default:default,org.eclipse.m2e.maven.runtime.slf4j.simple@default:default,org.eclipse.m2e.maven.runtime@default:default,org.eclipse.m2e.model.edit@default:default,org.eclipse.m2e.workspace.cli@default:default,org.eclipse.m2m.qvt.oml.common@default:default,org.eclipse.m2m.qvt.oml.cst.parser@default:default,org.eclipse.m2m.qvt.oml.ecore.imperativeocl@default:default,org.eclipse.m2m.qvt.oml.emf.util@default:default,org.eclipse.m2m.qvt.oml@default:default,org.eclipse.mylyn.bugzilla.core@default:default,org.eclipse.mylyn.bugzilla.ide@default:default,org.eclipse.mylyn.bugzilla.ui@default:default,org.eclipse.mylyn.commons.core@default:default,org.eclipse.mylyn.commons.identity.core@default:default,org.eclipse.mylyn.commons.net@default:default,org.eclipse.mylyn.commons.notifications.core@default:default,org.eclipse.mylyn.commons.notifications.feed@default:default,org.eclipse.mylyn.commons.notifications.ui@default:default,org.eclipse.mylyn.commons.repositories.core@default:default,org.eclipse.mylyn.commons.repositories.ui@default:default,org.eclipse.mylyn.commons.screenshots@default:default,org.eclipse.mylyn.commons.ui@default:default,org.eclipse.mylyn.commons.workbench@default:default,org.eclipse.mylyn.commons.xmlrpc@default:default,org.eclipse.mylyn.context.core@default:default,org.eclipse.mylyn.context.tasks.ui@default:default,org.eclipse.mylyn.context.ui@default:default,org.eclipse.mylyn.debug.ui@default:default,org.eclipse.mylyn.discovery.core@default:default,org.eclipse.mylyn.discovery.ui@default:default,org.eclipse.mylyn.help.ui@default:default,org.eclipse.mylyn.ide.ant@default:default,org.eclipse.mylyn.ide.ui@default:default,org.eclipse.mylyn.java.tasks@default:default,org.eclipse.mylyn.java.ui@default:default,org.eclipse.mylyn.monitor.core@default:default,org.eclipse.mylyn.monitor.ui@default:default,org.eclipse.mylyn.pde.ui@default:default,org.eclipse.mylyn.resources.ui@default:default,org.eclipse.mylyn.tasks.bugs@default:default,org.eclipse.mylyn.tasks.core@default:default,org.eclipse.mylyn.tasks.index.core@default:default,org.eclipse.mylyn.tasks.index.ui@default:default,org.eclipse.mylyn.tasks.search@default:default,org.eclipse.mylyn.tasks.ui@default:default,org.eclipse.mylyn.team.ui@default:default,org.eclipse.mylyn.wikitext.ant@default:default,org.eclipse.mylyn.wikitext.asciidoc.ui@default:default,org.eclipse.mylyn.wikitext.asciidoc@default:default,org.eclipse.mylyn.wikitext.confluence.ui@default:default,org.eclipse.mylyn.wikitext.confluence@default:default,org.eclipse.mylyn.wikitext.context.ui@default:default,org.eclipse.mylyn.wikitext.help.ui@default:default,org.eclipse.mylyn.wikitext.html@default:default,org.eclipse.mylyn.wikitext.markdown.ui@default:default,org.eclipse.mylyn.wikitext.markdown@default:default,org.eclipse.mylyn.wikitext.mediawiki.ui@default:default,org.eclipse.mylyn.wikitext.mediawiki@default:default,org.eclipse.mylyn.wikitext.osgi@default:default,org.eclipse.mylyn.wikitext.tasks.ui@default:default,org.eclipse.mylyn.wikitext.textile.ui@default:default,org.eclipse.mylyn.wikitext.textile@default:default,org.eclipse.mylyn.wikitext.tracwiki.ui@default:default,org.eclipse.mylyn.wikitext.tracwiki@default:default,org.eclipse.mylyn.wikitext.twiki.ui@default:default,org.eclipse.mylyn.wikitext.twiki@default:default,org.eclipse.mylyn.wikitext.ui@default:default,org.eclipse.mylyn.wikitext@default:default,org.eclipse.nebula.widgets.tablecombo@default:default,org.eclipse.net4j.db.h2@default:default,org.eclipse.net4j.db.jdbc@default:default,org.eclipse.net4j.db@default:default,org.eclipse.net4j.debug@default:default,org.eclipse.net4j.examples.installer@default:default,org.eclipse.net4j.http.common@default:default,org.eclipse.net4j.http.server@default:default,org.eclipse.net4j.http@default:default,org.eclipse.net4j.jvm@default:default,org.eclipse.net4j.tcp@default:default,org.eclipse.net4j.ui.shared@default:default,org.eclipse.net4j.ui@default:default,org.eclipse.net4j.util.ui@default:default,org.eclipse.net4j.util@default:default,org.eclipse.net4j@default:default,org.eclipse.ocl.common.ui@default:default,org.eclipse.ocl.common@default:default,org.eclipse.ocl.doc@default:default,org.eclipse.ocl.ecore.edit@default:default,org.eclipse.ocl.ecore@default:default,org.eclipse.ocl.edit@default:default,org.eclipse.ocl.ui@default:default,org.eclipse.ocl.uml.edit@default:default,org.eclipse.ocl.uml.ui@default:default,org.eclipse.ocl.uml@default:default,org.eclipse.ocl@default:default,org.eclipse.oomph.base.edit@default:default,org.eclipse.oomph.base@default:default,org.eclipse.oomph.extractor.lib@default:default,org.eclipse.oomph.jreinfo.ui@default:default,org.eclipse.oomph.jreinfo@default:default,org.eclipse.oomph.p2.core@default:default,org.eclipse.oomph.p2.doc@default:default,org.eclipse.oomph.p2.edit@default:default,org.eclipse.oomph.p2.ui@default:default,org.eclipse.oomph.p2@default:default,org.eclipse.oomph.predicates.edit@default:default,org.eclipse.oomph.predicates@default:default,org.eclipse.oomph.preferences@default:default,org.eclipse.oomph.resources.edit@default:default,org.eclipse.oomph.resources@default:default,org.eclipse.oomph.setup.core@default:default,org.eclipse.oomph.setup.doc@default:default,org.eclipse.oomph.setup.edit@default:default,org.eclipse.oomph.setup.editor@default:default,org.eclipse.oomph.setup.p2.edit@default:default,org.eclipse.oomph.setup.p2@default:default,org.eclipse.oomph.setup.sync@default:default,org.eclipse.oomph.setup.ui.questionnaire@default:default,org.eclipse.oomph.setup.ui@default:default,org.eclipse.oomph.setup@default:default,org.eclipse.oomph.ui@default:default,org.eclipse.oomph.util@default:default,org.eclipse.oomph.workingsets.edit@default:default,org.eclipse.oomph.workingsets.editor@default:default,org.eclipse.oomph.workingsets@default:default,org.eclipse.osgi.compatibility.state@default:false,org.eclipse.osgi.services@default:default,org.eclipse.osgi.util@default:default,org.eclipse.osgi@-1:true,org.eclipse.papyrus.infra.gmfdiag.tooling.runtime@default:default,org.eclipse.pde.api.tools.annotations@default:default,org.eclipse.pde.api.tools.ui@default:default,org.eclipse.pde.api.tools@default:default,org.eclipse.pde.build@default:default,org.eclipse.pde.core@default:default,org.eclipse.pde.doc.user@default:default,org.eclipse.pde.ds.annotations@default:default,org.eclipse.pde.ds.core@default:default,org.eclipse.pde.ds.lib@default:default,org.eclipse.pde.ds.ui@default:default,org.eclipse.pde.ds1_2.lib@default:default,org.eclipse.pde.genericeditor.extension@default:default,org.eclipse.pde.junit.runtime@default:default,org.eclipse.pde.launching@default:default,org.eclipse.pde.runtime@default:default,org.eclipse.pde.ua.core@default:default,org.eclipse.pde.ua.ui@default:default,org.eclipse.pde.ui.templates@default:default,org.eclipse.pde.ui@default:default,org.eclipse.pde@default:default,org.eclipse.platform.doc.isv@default:default,org.eclipse.platform.doc.user@default:default,org.eclipse.platform@default:default,org.eclipse.rcp@default:default,org.eclipse.sdk@default:default,org.eclipse.search@default:default,org.eclipse.sirius.common.acceleo.aql@default:default,org.eclipse.sirius.common.interpreter@default:default,org.eclipse.sirius.common.ui.ext@default:default,org.eclipse.sirius.common.ui@default:default,org.eclipse.sirius.common.xtext@default:default,org.eclipse.sirius.common@default:default,org.eclipse.sirius.diagram.formatdata@default:default,org.eclipse.sirius.diagram.layoutdata@default:default,org.eclipse.sirius.diagram.sequence.edit@default:default,org.eclipse.sirius.diagram.sequence.ui@default:default,org.eclipse.sirius.diagram.sequence@default:default,org.eclipse.sirius.diagram.ui.ext@default:default,org.eclipse.sirius.diagram.ui@default:default,org.eclipse.sirius.diagram@default:default,org.eclipse.sirius.ecore.extender@default:default,org.eclipse.sirius.editor.properties.ext.widgets.reference@default:default,org.eclipse.sirius.editor.properties@default:default,org.eclipse.sirius.editor@default:default,org.eclipse.sirius.ext.base@default:default,org.eclipse.sirius.ext.draw2d@default:default,org.eclipse.sirius.ext.e3.ui@default:default,org.eclipse.sirius.ext.e3@default:default,org.eclipse.sirius.ext.emf.edit@default:default,org.eclipse.sirius.ext.emf.tx@default:default,org.eclipse.sirius.ext.emf.ui@default:default,org.eclipse.sirius.ext.emf@default:default,org.eclipse.sirius.ext.gef@default:default,org.eclipse.sirius.ext.gmf.notation@default:default,org.eclipse.sirius.ext.gmf.runtime@default:default,org.eclipse.sirius.ext.ide@default:default,org.eclipse.sirius.ext.jface@default:default,org.eclipse.sirius.ext.swt@default:default,org.eclipse.sirius.interpreter@default:default,org.eclipse.sirius.properties.core@default:default,org.eclipse.sirius.properties.defaultrules@default:default,org.eclipse.sirius.properties.edit@default:default,org.eclipse.sirius.properties.ext.widgets.reference.edit@default:default,org.eclipse.sirius.properties.ext.widgets.reference@default:default,org.eclipse.sirius.properties@default:default,org.eclipse.sirius.synchronizer@default:default,org.eclipse.sirius.table.ui.ext@default:default,org.eclipse.sirius.table.ui@default:default,org.eclipse.sirius.table@default:default,org.eclipse.sirius.tree.ui.ext@default:default,org.eclipse.sirius.tree.ui@default:default,org.eclipse.sirius.tree@default:default,org.eclipse.sirius.ui.editor@default:default,org.eclipse.sirius.ui.ext@default:default,org.eclipse.sirius.ui.properties.ext.widgets.reference@default:default,org.eclipse.sirius.ui.properties@default:default,org.eclipse.sirius.ui@default:default,org.eclipse.sirius@default:default,org.eclipse.swt.gtk.linux.x86_64@default:false,org.eclipse.swt@default:default,org.eclipse.team.core@default:default,org.eclipse.team.genericeditor.diff.extension@default:default,org.eclipse.team.ui@default:default,org.eclipse.text@default:default,org.eclipse.tips.core@default:default,org.eclipse.tips.ide@default:default,org.eclipse.tips.json@default:default,org.eclipse.tips.ui@default:default,org.eclipse.tools.layout.spy@default:default,org.eclipse.ui.browser@default:default,org.eclipse.ui.cheatsheets@default:default,org.eclipse.ui.console@default:default,org.eclipse.ui.editors@default:default,org.eclipse.ui.externaltools@default:default,org.eclipse.ui.forms@default:default,org.eclipse.ui.genericeditor@default:default,org.eclipse.ui.ide.application@default:default,org.eclipse.ui.ide@default:default,org.eclipse.ui.intro.quicklinks@default:default,org.eclipse.ui.intro.universal@default:default,org.eclipse.ui.intro@default:default,org.eclipse.ui.monitoring@default:default,org.eclipse.ui.navigator.resources@default:default,org.eclipse.ui.navigator@default:default,org.eclipse.ui.net@default:default,org.eclipse.ui.themes@default:default,org.eclipse.ui.trace@default:default,org.eclipse.ui.views.log@default:default,org.eclipse.ui.views.properties.tabbed@default:default,org.eclipse.ui.views@default:default,org.eclipse.ui.workbench.texteditor@default:default,org.eclipse.ui.workbench@default:default,org.eclipse.ui@default:default,org.eclipse.uml2.ant@default:default,org.eclipse.uml2.codegen.ecore.ui@default:default,org.eclipse.uml2.codegen.ecore@default:default,org.eclipse.uml2.common.edit@default:default,org.eclipse.uml2.common@default:default,org.eclipse.uml2.doc@default:default,org.eclipse.uml2.examples.uml.ui@default:default,org.eclipse.uml2.examples@default:default,org.eclipse.uml2.types@default:default,org.eclipse.uml2.uml.ecore.exporter@default:default,org.eclipse.uml2.uml.ecore.importer@default:default,org.eclipse.uml2.uml.edit@default:default,org.eclipse.uml2.uml.editor@default:default,org.eclipse.uml2.uml.profile.standard@default:default,org.eclipse.uml2.uml.resources@default:default,org.eclipse.uml2.uml.validation@default:default,org.eclipse.uml2.uml@default:default,org.eclipse.uml2@default:default,org.eclipse.update.configurator@3:true,org.eclipse.urischeme@default:default,org.eclipse.userstorage.oauth@default:default,org.eclipse.userstorage.ui@default:default,org.eclipse.userstorage@default:default,org.eclipse.viatra.addon.databinding.runtime.validation@default:false,org.eclipse.viatra.addon.databinding.runtime@default:default,org.eclipse.viatra.addon.querybasedfeatures.runtime.validation@default:false,org.eclipse.viatra.addon.querybasedfeatures.runtime@default:default,org.eclipse.viatra.addon.querybasedfeatures.tooling@default:default,org.eclipse.viatra.addon.validation.core@default:default,org.eclipse.viatra.addon.validation.runtime.ui@default:default,org.eclipse.viatra.addon.validation.runtime.validation@default:false,org.eclipse.viatra.addon.validation.runtime@default:default,org.eclipse.viatra.addon.validation.tooling@default:default,org.eclipse.viatra.addon.viewers.runtime.validation@default:false,org.eclipse.viatra.addon.viewers.runtime.zest@default:default,org.eclipse.viatra.addon.viewers.runtime@default:default,org.eclipse.viatra.addon.viewers.tooling.ui.zest@default:default,org.eclipse.viatra.addon.viewers.tooling.ui@default:default,org.eclipse.viatra.documentation.help@default:default,org.eclipse.viatra.dse.genetic@default:default,org.eclipse.viatra.dse@default:default,org.eclipse.viatra.integration.zest@default:default,org.eclipse.viatra.query.patternlanguage.emf.ide@default:default,org.eclipse.viatra.query.patternlanguage.emf.ui@default:default,org.eclipse.viatra.query.patternlanguage.emf@default:default,org.eclipse.viatra.query.runtime.base.itc@default:default,org.eclipse.viatra.query.runtime.base@default:default,org.eclipse.viatra.query.runtime.localsearch@default:default,org.eclipse.viatra.query.runtime.matchers@default:default,org.eclipse.viatra.query.runtime.rete.recipes@default:default,org.eclipse.viatra.query.runtime.rete@default:default,org.eclipse.viatra.query.runtime.ui@default:default,org.eclipse.viatra.query.runtime@default:default,org.eclipse.viatra.query.testing.core@default:default,org.eclipse.viatra.query.testing.snapshot@default:default,org.eclipse.viatra.query.testing.ui@default:default,org.eclipse.viatra.query.tooling.core@default:default,org.eclipse.viatra.query.tooling.debug@default:default,org.eclipse.viatra.query.tooling.generator.model.ui@default:default,org.eclipse.viatra.query.tooling.generator.model@default:default,org.eclipse.viatra.query.tooling.localsearch.ui@default:default,org.eclipse.viatra.query.tooling.ui.retevis@default:default,org.eclipse.viatra.query.tooling.ui@default:default,org.eclipse.viatra.transformation.evm.transactions@default:default,org.eclipse.viatra.transformation.evm@default:default,org.eclipse.viatra.transformation.runtime.debug@default:default,org.eclipse.viatra.transformation.runtime.emf@default:default,org.eclipse.viatra.transformation.runtime.tracer@default:default,org.eclipse.viatra.transformation.runtime.transformationtrace@default:default,org.eclipse.viatra.transformation.tooling.debug.ui@default:default,org.eclipse.viatra.transformation.tooling.debug@default:default,org.eclipse.viatra.transformation.ui@default:default,org.eclipse.viatra.transformation.views@default:default,org.eclipse.wst.common.core@default:default,org.eclipse.wst.common.emf@default:default,org.eclipse.wst.common.environment@default:default,org.eclipse.wst.common.frameworks@default:default,org.eclipse.wst.common.project.facet.core@default:default,org.eclipse.wst.common.uriresolver@default:default,org.eclipse.wst.sse.core@default:default,org.eclipse.wst.validation@default:default,org.eclipse.wst.xml.core@default:default,org.eclipse.wst.xsd.core@default:default,org.eclipse.xpand@default:default,org.eclipse.xsd.cheatsheets@default:default,org.eclipse.xsd.doc@default:default,org.eclipse.xsd.ecore.converter@default:default,org.eclipse.xsd.ecore.exporter@default:default,org.eclipse.xsd.ecore.importer@default:default,org.eclipse.xsd.edit@default:default,org.eclipse.xsd.editor@default:default,org.eclipse.xsd.example.installer@default:default,org.eclipse.xsd.mapping.editor@default:default,org.eclipse.xsd.mapping@default:default,org.eclipse.xsd@default:default,org.eclipse.xtend.core@default:default,org.eclipse.xtend.doc@default:default,org.eclipse.xtend.examples@default:default,org.eclipse.xtend.ide.common@default:default,org.eclipse.xtend.ide@default:default,org.eclipse.xtend.lib.macro@default:default,org.eclipse.xtend.lib@default:default,org.eclipse.xtend.m2e@default:default,org.eclipse.xtend.standalone@default:default,org.eclipse.xtend.typesystem.emf@default:default,org.eclipse.xtend@default:default,org.eclipse.xtext.activities@default:default,org.eclipse.xtext.builder.standalone@default:default,org.eclipse.xtext.builder@default:default,org.eclipse.xtext.common.types.edit@default:default,org.eclipse.xtext.common.types.shared.jdt38@default:false,org.eclipse.xtext.common.types.shared@default:default,org.eclipse.xtext.common.types.ui@default:default,org.eclipse.xtext.common.types@default:default,org.eclipse.xtext.doc@default:default,org.eclipse.xtext.ecore@default:default,org.eclipse.xtext.generator@default:default,org.eclipse.xtext.ide@default:default,org.eclipse.xtext.idea.generator@default:default,org.eclipse.xtext.java@default:default,org.eclipse.xtext.junit4@default:default,org.eclipse.xtext.logging@default:false,org.eclipse.xtext.m2e@default:default,org.eclipse.xtext.purexbase.ide@default:default,org.eclipse.xtext.purexbase.ui@default:default,org.eclipse.xtext.purexbase@default:default,org.eclipse.xtext.smap@default:default,org.eclipse.xtext.testing@default:default,org.eclipse.xtext.ui.codemining@default:default,org.eclipse.xtext.ui.codetemplates.ide@default:default,org.eclipse.xtext.ui.codetemplates.ui@default:default,org.eclipse.xtext.ui.codetemplates@default:default,org.eclipse.xtext.ui.ecore@default:default,org.eclipse.xtext.ui.shared@default:default,org.eclipse.xtext.ui.testing@default:default,org.eclipse.xtext.ui@default:default,org.eclipse.xtext.util@default:default,org.eclipse.xtext.xbase.ide@default:default,org.eclipse.xtext.xbase.junit@default:default,org.eclipse.xtext.xbase.lib@default:default,org.eclipse.xtext.xbase.testing@default:default,org.eclipse.xtext.xbase.ui.testing@default:default,org.eclipse.xtext.xbase.ui@default:default,org.eclipse.xtext.xbase@default:default,org.eclipse.xtext.xtext.generator@default:default,org.eclipse.xtext.xtext.ide@default:default,org.eclipse.xtext.xtext.ui.examples@default:default,org.eclipse.xtext.xtext.ui.graph@default:default,org.eclipse.xtext.xtext.ui@default:default,org.eclipse.xtext.xtext.wizard@default:default,org.eclipse.xtext@default:default,org.h2@default:default,org.hamcrest.core@default:default,org.jfree.jcommon@default:default,org.jsoup@default:default,org.junit.jupiter.api@default:default,org.junit.jupiter.engine@default:default,org.junit.jupiter.migrationsupport@default:default,org.junit.jupiter.params@default:default,org.junit.platform.commons@default:default,org.junit.platform.engine@default:default,org.junit.platform.launcher@default:default,org.junit.platform.runner@default:default,org.junit.platform.suite.api@default:default,org.junit.vintage.engine@default:default,org.junit@default:default,org.moeaframework@default:default,org.objectweb.asm.tree@default:default,org.objectweb.asm@default:default,org.opentest4j@default:default,org.sat4j.core@default:default,org.sat4j.pb@default:default,org.sidiff.common.emf.extensions@default:default,org.sidiff.common.emf@default:default,org.sidiff.common.henshin@default:default,org.sidiff.common@default:default,org.sidiff.serge@default:default,org.silift.common.util@default:default,org.slf4j.api@default:default,org.slf4j.impl.log4j12@default:false,org.tukaani.xz@default:default,org.w3c.css.sac@default:default,org.w3c.dom.events@default:default,org.w3c.dom.smil@default:default,org.w3c.dom.svg@default:default,uk.ac.kcl.inf.mdeoptimiser.interfaces.cli@default:default,uk.ac.kcl.inf.mdeoptimiser.interfaces.eclipse.ui@default:default,uk.ac.kcl.inf.mdeoptimiser.languages.mopt.xtext@default:default,uk.ac.kcl.inf.mdeoptimiser.libraries.core@default:default,uk.ac.kcl.inf.mdeoptimiser.libraries.rulegen@default:default"/> | 28 | <setAttribute key="selected_target_bundles"> |
29 | <stringAttribute key="selected_workspace_plugins" value="com.microsoft.z3@default:true,hu.bme.mit.inf.dlsreasoner.alloy.reasoner@default:default,hu.bme.mit.inf.dslreasoner.alloy.language.ui@default:default,hu.bme.mit.inf.dslreasoner.alloy.language@default:default,hu.bme.mit.inf.dslreasoner.application.ide@default:default,hu.bme.mit.inf.dslreasoner.application.ui@default:default,hu.bme.mit.inf.dslreasoner.application@default:default,hu.bme.mit.inf.dslreasoner.domains.cps.validation@default:default,hu.bme.mit.inf.dslreasoner.domains.cps@default:default,hu.bme.mit.inf.dslreasoner.domains.satellite.validation@default:default,hu.bme.mit.inf.dslreasoner.domains.satellite@default:default,hu.bme.mit.inf.dslreasoner.ecore2logic@default:default,hu.bme.mit.inf.dslreasoner.faulttree.components.ide@default:default,hu.bme.mit.inf.dslreasoner.faulttree.components.ui@default:default,hu.bme.mit.inf.dslreasoner.faulttree.components@default:default,hu.bme.mit.inf.dslreasoner.faulttree.model@default:default,hu.bme.mit.inf.dslreasoner.faulttree.transformation@default:default,hu.bme.mit.inf.dslreasoner.faulttree.ui@default:default,hu.bme.mit.inf.dslreasoner.logic.model.validation@default:default,hu.bme.mit.inf.dslreasoner.logic.model@default:default,hu.bme.mit.inf.dslreasoner.logic2ecore@default:default,hu.bme.mit.inf.dslreasoner.smt.language.ui@default:default,hu.bme.mit.inf.dslreasoner.smt.language@default:default,hu.bme.mit.inf.dslreasoner.smt.reasoner@default:default,hu.bme.mit.inf.dslreasoner.viatra2logic@default:default,hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests@default:default,hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatraquery@default:default,hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage@default:default,hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner@default:default,hu.bme.mit.inf.dslreasoner.visualisation@default:default"/> | 29 | <setEntry value="com.eclipsesource.j2v8.linux_x86_64@default:default"/> |
30 | <setEntry value="com.github.mifmif.generex@default:default"/> | ||
31 | <setEntry value="com.google.gson@default:default"/> | ||
32 | <setEntry value="com.google.guava@default:default"/> | ||
33 | <setEntry value="com.google.inject.multibindings@default:false"/> | ||
34 | <setEntry value="com.google.inject@default:default"/> | ||
35 | <setEntry value="com.ibm.icu@default:default"/> | ||
36 | <setEntry value="com.jcraft.jsch@default:default"/> | ||
37 | <setEntry value="com.jcraft.jzlib@default:default"/> | ||
38 | <setEntry value="com.sun.el@default:default"/> | ||
39 | <setEntry value="de.tuberlin.eecs.agg@default:default"/> | ||
40 | <setEntry value="dk.brics.automaton@default:default"/> | ||
41 | <setEntry value="guru.nidi.graphviz-java@default:default"/> | ||
42 | <setEntry value="javaewah@default:default"/> | ||
43 | <setEntry value="javax.activation@default:default"/> | ||
44 | <setEntry value="javax.annotation@default:default"/> | ||
45 | <setEntry value="javax.el@default:default"/> | ||
46 | <setEntry value="javax.inject@default:default"/> | ||
47 | <setEntry value="javax.servlet.jsp@default:default"/> | ||
48 | <setEntry value="javax.servlet@default:default"/> | ||
49 | <setEntry value="javax.xml.bind@default:default"/> | ||
50 | <setEntry value="javax.xml@default:default"/> | ||
51 | <setEntry value="lpg.runtime.java@default:default"/> | ||
52 | <setEntry value="net.i2p.crypto.eddsa@default:default"/> | ||
53 | <setEntry value="org.antlr.runtime*3.2.0.v201101311130@default:default"/> | ||
54 | <setEntry value="org.antlr.runtime*4.3.0.v201502022030@default:default"/> | ||
55 | <setEntry value="org.apache.ant@default:default"/> | ||
56 | <setEntry value="org.apache.batik.bridge@default:default"/> | ||
57 | <setEntry value="org.apache.batik.constants@default:default"/> | ||
58 | <setEntry value="org.apache.batik.css*1.10.0.v20180703-1553@default:default"/> | ||
59 | <setEntry value="org.apache.batik.css*1.6.0.v201011041432@default:default"/> | ||
60 | <setEntry value="org.apache.batik.dom.svg@default:default"/> | ||
61 | <setEntry value="org.apache.batik.dom@default:default"/> | ||
62 | <setEntry value="org.apache.batik.ext.awt@default:default"/> | ||
63 | <setEntry value="org.apache.batik.i18n@default:default"/> | ||
64 | <setEntry value="org.apache.batik.parser@default:default"/> | ||
65 | <setEntry value="org.apache.batik.pdf@default:default"/> | ||
66 | <setEntry value="org.apache.batik.svggen@default:default"/> | ||
67 | <setEntry value="org.apache.batik.transcoder@default:default"/> | ||
68 | <setEntry value="org.apache.batik.util*1.10.0.v20180703-1553@default:default"/> | ||
69 | <setEntry value="org.apache.batik.util*1.6.0.v201011041432@default:default"/> | ||
70 | <setEntry value="org.apache.batik.util.gui@default:default"/> | ||
71 | <setEntry value="org.apache.batik.xml@default:default"/> | ||
72 | <setEntry value="org.apache.commons.cli@default:default"/> | ||
73 | <setEntry value="org.apache.commons.codec*1.10.0.v20180409-1845@default:default"/> | ||
74 | <setEntry value="org.apache.commons.codec*1.9.0.v20170208-1614@default:default"/> | ||
75 | <setEntry value="org.apache.commons.compress@default:default"/> | ||
76 | <setEntry value="org.apache.commons.exec@default:default"/> | ||
77 | <setEntry value="org.apache.commons.httpclient@default:default"/> | ||
78 | <setEntry value="org.apache.commons.io@default:default"/> | ||
79 | <setEntry value="org.apache.commons.jxpath@default:default"/> | ||
80 | <setEntry value="org.apache.commons.lang3@default:default"/> | ||
81 | <setEntry value="org.apache.commons.lang@default:default"/> | ||
82 | <setEntry value="org.apache.commons.logging*1.1.1.v201101211721@default:default"/> | ||
83 | <setEntry value="org.apache.commons.logging*1.2.0.v20180409-1502@default:default"/> | ||
84 | <setEntry value="org.apache.commons.math3@default:default"/> | ||
85 | <setEntry value="org.apache.felix.gogo.command@default:default"/> | ||
86 | <setEntry value="org.apache.felix.gogo.runtime@default:default"/> | ||
87 | <setEntry value="org.apache.felix.gogo.shell@default:default"/> | ||
88 | <setEntry value="org.apache.felix.scr@1:true"/> | ||
89 | <setEntry value="org.apache.httpcomponents.httpclient@default:default"/> | ||
90 | <setEntry value="org.apache.httpcomponents.httpcore@default:default"/> | ||
91 | <setEntry value="org.apache.jasper.glassfish@default:default"/> | ||
92 | <setEntry value="org.apache.log4j@default:default"/> | ||
93 | <setEntry value="org.apache.lucene.analyzers-common*6.1.0.v20161115-1612@default:default"/> | ||
94 | <setEntry value="org.apache.lucene.analyzers-common*7.5.0.v20181003-1532@default:default"/> | ||
95 | <setEntry value="org.apache.lucene.analyzers-smartcn@default:default"/> | ||
96 | <setEntry value="org.apache.lucene.core*6.1.0.v20170814-1820@default:default"/> | ||
97 | <setEntry value="org.apache.lucene.core*7.5.0.v20181003-1532@default:default"/> | ||
98 | <setEntry value="org.apache.lucene.queryparser@default:default"/> | ||
99 | <setEntry value="org.apache.sshd.core@default:default"/> | ||
100 | <setEntry value="org.apache.sshd.sftp@default:default"/> | ||
101 | <setEntry value="org.apache.ws.commons.util@default:default"/> | ||
102 | <setEntry value="org.apache.xerces@default:default"/> | ||
103 | <setEntry value="org.apache.xml.resolver@default:default"/> | ||
104 | <setEntry value="org.apache.xml.serializer@default:default"/> | ||
105 | <setEntry value="org.apache.xmlgraphics@default:default"/> | ||
106 | <setEntry value="org.apache.xmlrpc@default:default"/> | ||
107 | <setEntry value="org.apiguardian@default:default"/> | ||
108 | <setEntry value="org.bouncycastle.bcpg@default:default"/> | ||
109 | <setEntry value="org.bouncycastle.bcpkix@default:default"/> | ||
110 | <setEntry value="org.bouncycastle.bcprov@default:default"/> | ||
111 | <setEntry value="org.eclipse.acceleo.annotations@default:default"/> | ||
112 | <setEntry value="org.eclipse.acceleo.query@default:default"/> | ||
113 | <setEntry value="org.eclipse.acceleo.ui.interpreter@default:default"/> | ||
114 | <setEntry value="org.eclipse.ant.core@default:default"/> | ||
115 | <setEntry value="org.eclipse.ant.launching@default:default"/> | ||
116 | <setEntry value="org.eclipse.ant.ui@default:default"/> | ||
117 | <setEntry value="org.eclipse.collections@default:default"/> | ||
118 | <setEntry value="org.eclipse.compare.core@default:default"/> | ||
119 | <setEntry value="org.eclipse.compare@default:default"/> | ||
120 | <setEntry value="org.eclipse.core.commands@default:default"/> | ||
121 | <setEntry value="org.eclipse.core.contenttype@default:default"/> | ||
122 | <setEntry value="org.eclipse.core.databinding.beans@default:default"/> | ||
123 | <setEntry value="org.eclipse.core.databinding.observable@default:default"/> | ||
124 | <setEntry value="org.eclipse.core.databinding.property@default:default"/> | ||
125 | <setEntry value="org.eclipse.core.databinding@default:default"/> | ||
126 | <setEntry value="org.eclipse.core.expressions@default:default"/> | ||
127 | <setEntry value="org.eclipse.core.externaltools@default:default"/> | ||
128 | <setEntry value="org.eclipse.core.filebuffers@default:default"/> | ||
129 | <setEntry value="org.eclipse.core.filesystem.linux.x86_64@default:false"/> | ||
130 | <setEntry value="org.eclipse.core.filesystem@default:default"/> | ||
131 | <setEntry value="org.eclipse.core.jobs@default:default"/> | ||
132 | <setEntry value="org.eclipse.core.net.linux.x86_64@default:false"/> | ||
133 | <setEntry value="org.eclipse.core.net@default:default"/> | ||
134 | <setEntry value="org.eclipse.core.resources@default:default"/> | ||
135 | <setEntry value="org.eclipse.core.runtime@default:true"/> | ||
136 | <setEntry value="org.eclipse.core.variables@default:default"/> | ||
137 | <setEntry value="org.eclipse.debug.core@default:default"/> | ||
138 | <setEntry value="org.eclipse.debug.ui@default:default"/> | ||
139 | <setEntry value="org.eclipse.draw2d.doc.isv@default:default"/> | ||
140 | <setEntry value="org.eclipse.draw2d@default:default"/> | ||
141 | <setEntry value="org.eclipse.e4.core.commands@default:default"/> | ||
142 | <setEntry value="org.eclipse.e4.core.contexts@default:default"/> | ||
143 | <setEntry value="org.eclipse.e4.core.di.annotations@default:default"/> | ||
144 | <setEntry value="org.eclipse.e4.core.di.extensions.supplier@default:default"/> | ||
145 | <setEntry value="org.eclipse.e4.core.di.extensions@default:default"/> | ||
146 | <setEntry value="org.eclipse.e4.core.di@default:default"/> | ||
147 | <setEntry value="org.eclipse.e4.core.services@default:default"/> | ||
148 | <setEntry value="org.eclipse.e4.emf.xpath@default:default"/> | ||
149 | <setEntry value="org.eclipse.e4.tools.compat@default:default"/> | ||
150 | <setEntry value="org.eclipse.e4.tools.emf.editor3x@default:default"/> | ||
151 | <setEntry value="org.eclipse.e4.tools.emf.ui@default:default"/> | ||
152 | <setEntry value="org.eclipse.e4.tools.jdt.templates@default:default"/> | ||
153 | <setEntry value="org.eclipse.e4.tools.services@default:default"/> | ||
154 | <setEntry value="org.eclipse.e4.tools@default:default"/> | ||
155 | <setEntry value="org.eclipse.e4.ui.bindings@default:default"/> | ||
156 | <setEntry value="org.eclipse.e4.ui.css.core@default:default"/> | ||
157 | <setEntry value="org.eclipse.e4.ui.css.swt.theme@default:default"/> | ||
158 | <setEntry value="org.eclipse.e4.ui.css.swt@default:default"/> | ||
159 | <setEntry value="org.eclipse.e4.ui.di@default:default"/> | ||
160 | <setEntry value="org.eclipse.e4.ui.dialogs@default:default"/> | ||
161 | <setEntry value="org.eclipse.e4.ui.model.workbench@default:default"/> | ||
162 | <setEntry value="org.eclipse.e4.ui.services@default:default"/> | ||
163 | <setEntry value="org.eclipse.e4.ui.swt.gtk@default:false"/> | ||
164 | <setEntry value="org.eclipse.e4.ui.widgets@default:default"/> | ||
165 | <setEntry value="org.eclipse.e4.ui.workbench.addons.swt@default:default"/> | ||
166 | <setEntry value="org.eclipse.e4.ui.workbench.renderers.swt@default:default"/> | ||
167 | <setEntry value="org.eclipse.e4.ui.workbench.swt@default:default"/> | ||
168 | <setEntry value="org.eclipse.e4.ui.workbench3@default:default"/> | ||
169 | <setEntry value="org.eclipse.e4.ui.workbench@default:default"/> | ||
170 | <setEntry value="org.eclipse.ecf.filetransfer@default:default"/> | ||
171 | <setEntry value="org.eclipse.ecf.identity@default:default"/> | ||
172 | <setEntry value="org.eclipse.ecf.provider.filetransfer.httpclient4.ssl@default:false"/> | ||
173 | <setEntry value="org.eclipse.ecf.provider.filetransfer.httpclient4@default:default"/> | ||
174 | <setEntry value="org.eclipse.ecf.provider.filetransfer.ssl@default:false"/> | ||
175 | <setEntry value="org.eclipse.ecf.provider.filetransfer@default:default"/> | ||
176 | <setEntry value="org.eclipse.ecf.ssl@default:false"/> | ||
177 | <setEntry value="org.eclipse.ecf@default:default"/> | ||
178 | <setEntry value="org.eclipse.eef.common.ui@default:default"/> | ||
179 | <setEntry value="org.eclipse.eef.common@default:default"/> | ||
180 | <setEntry value="org.eclipse.eef.core.ext.widgets.reference@default:default"/> | ||
181 | <setEntry value="org.eclipse.eef.core@default:default"/> | ||
182 | <setEntry value="org.eclipse.eef.ext.widgets.reference@default:default"/> | ||
183 | <setEntry value="org.eclipse.eef.ide.ui.ext.widgets.reference@default:default"/> | ||
184 | <setEntry value="org.eclipse.eef.ide.ui.properties@default:default"/> | ||
185 | <setEntry value="org.eclipse.eef.ide.ui@default:default"/> | ||
186 | <setEntry value="org.eclipse.eef.properties.ui.legacy@default:default"/> | ||
187 | <setEntry value="org.eclipse.eef.properties.ui@default:default"/> | ||
188 | <setEntry value="org.eclipse.eef@default:default"/> | ||
189 | <setEntry value="org.eclipse.egit.core@default:default"/> | ||
190 | <setEntry value="org.eclipse.egit.doc@default:default"/> | ||
191 | <setEntry value="org.eclipse.egit.ui@default:default"/> | ||
192 | <setEntry value="org.eclipse.egit@default:default"/> | ||
193 | <setEntry value="org.eclipse.emf.ant@default:default"/> | ||
194 | <setEntry value="org.eclipse.emf.cdo.admin@default:default"/> | ||
195 | <setEntry value="org.eclipse.emf.cdo.common.db@default:default"/> | ||
196 | <setEntry value="org.eclipse.emf.cdo.common@default:default"/> | ||
197 | <setEntry value="org.eclipse.emf.cdo.compare@default:default"/> | ||
198 | <setEntry value="org.eclipse.emf.cdo.doc@default:default"/> | ||
199 | <setEntry value="org.eclipse.emf.cdo.edit@default:default"/> | ||
200 | <setEntry value="org.eclipse.emf.cdo.examples.installer@default:default"/> | ||
201 | <setEntry value="org.eclipse.emf.cdo.explorer.ui@default:default"/> | ||
202 | <setEntry value="org.eclipse.emf.cdo.explorer@default:default"/> | ||
203 | <setEntry value="org.eclipse.emf.cdo.expressions.edit@default:default"/> | ||
204 | <setEntry value="org.eclipse.emf.cdo.expressions.editor@default:default"/> | ||
205 | <setEntry value="org.eclipse.emf.cdo.expressions@default:default"/> | ||
206 | <setEntry value="org.eclipse.emf.cdo.migrator@default:default"/> | ||
207 | <setEntry value="org.eclipse.emf.cdo.net4j@default:default"/> | ||
208 | <setEntry value="org.eclipse.emf.cdo.security.edit@default:default"/> | ||
209 | <setEntry value="org.eclipse.emf.cdo.security.editor@default:default"/> | ||
210 | <setEntry value="org.eclipse.emf.cdo.security.ui@default:default"/> | ||
211 | <setEntry value="org.eclipse.emf.cdo.security@default:default"/> | ||
212 | <setEntry value="org.eclipse.emf.cdo.server.admin@default:default"/> | ||
213 | <setEntry value="org.eclipse.emf.cdo.server.db@default:default"/> | ||
214 | <setEntry value="org.eclipse.emf.cdo.server.net4j@default:default"/> | ||
215 | <setEntry value="org.eclipse.emf.cdo.server.ocl@default:default"/> | ||
216 | <setEntry value="org.eclipse.emf.cdo.server.product@default:default"/> | ||
217 | <setEntry value="org.eclipse.emf.cdo.server.security@default:default"/> | ||
218 | <setEntry value="org.eclipse.emf.cdo.server@default:default"/> | ||
219 | <setEntry value="org.eclipse.emf.cdo.transfer.repository@default:default"/> | ||
220 | <setEntry value="org.eclipse.emf.cdo.transfer.ui@default:default"/> | ||
221 | <setEntry value="org.eclipse.emf.cdo.transfer.workspace.ui@default:default"/> | ||
222 | <setEntry value="org.eclipse.emf.cdo.transfer.workspace@default:default"/> | ||
223 | <setEntry value="org.eclipse.emf.cdo.transfer@default:default"/> | ||
224 | <setEntry value="org.eclipse.emf.cdo.ui.admin@default:default"/> | ||
225 | <setEntry value="org.eclipse.emf.cdo.ui.compare@default:default"/> | ||
226 | <setEntry value="org.eclipse.emf.cdo.ui.shared@default:default"/> | ||
227 | <setEntry value="org.eclipse.emf.cdo.ui.team@default:default"/> | ||
228 | <setEntry value="org.eclipse.emf.cdo.ui@default:default"/> | ||
229 | <setEntry value="org.eclipse.emf.cdo.workspace@default:default"/> | ||
230 | <setEntry value="org.eclipse.emf.cdo@default:default"/> | ||
231 | <setEntry value="org.eclipse.emf.cheatsheets@default:default"/> | ||
232 | <setEntry value="org.eclipse.emf.codegen.ecore.ui@default:default"/> | ||
233 | <setEntry value="org.eclipse.emf.codegen.ecore@default:default"/> | ||
234 | <setEntry value="org.eclipse.emf.codegen.ui@default:default"/> | ||
235 | <setEntry value="org.eclipse.emf.codegen@default:default"/> | ||
236 | <setEntry value="org.eclipse.emf.common.ui@default:default"/> | ||
237 | <setEntry value="org.eclipse.emf.common@default:default"/> | ||
238 | <setEntry value="org.eclipse.emf.compare.diagram.edit@default:default"/> | ||
239 | <setEntry value="org.eclipse.emf.compare.diagram.ide.ui.sirius@default:default"/> | ||
240 | <setEntry value="org.eclipse.emf.compare.diagram.ide.ui@default:default"/> | ||
241 | <setEntry value="org.eclipse.emf.compare.diagram.sirius@default:default"/> | ||
242 | <setEntry value="org.eclipse.emf.compare.diagram@default:default"/> | ||
243 | <setEntry value="org.eclipse.emf.compare.doc@default:default"/> | ||
244 | <setEntry value="org.eclipse.emf.compare.edit@default:default"/> | ||
245 | <setEntry value="org.eclipse.emf.compare.egit.ui@default:default"/> | ||
246 | <setEntry value="org.eclipse.emf.compare.egit@default:default"/> | ||
247 | <setEntry value="org.eclipse.emf.compare.ide.ui@default:default"/> | ||
248 | <setEntry value="org.eclipse.emf.compare.ide@default:default"/> | ||
249 | <setEntry value="org.eclipse.emf.compare.rcp.ui@default:default"/> | ||
250 | <setEntry value="org.eclipse.emf.compare.rcp@default:default"/> | ||
251 | <setEntry value="org.eclipse.emf.compare@default:default"/> | ||
252 | <setEntry value="org.eclipse.emf.converter@default:default"/> | ||
253 | <setEntry value="org.eclipse.emf.databinding.edit@default:default"/> | ||
254 | <setEntry value="org.eclipse.emf.databinding@default:default"/> | ||
255 | <setEntry value="org.eclipse.emf.doc@default:default"/> | ||
256 | <setEntry value="org.eclipse.emf.ecore.change.edit@default:default"/> | ||
257 | <setEntry value="org.eclipse.emf.ecore.change@default:default"/> | ||
258 | <setEntry value="org.eclipse.emf.ecore.edit@default:default"/> | ||
259 | <setEntry value="org.eclipse.emf.ecore.editor@default:default"/> | ||
260 | <setEntry value="org.eclipse.emf.ecore.xmi@default:default"/> | ||
261 | <setEntry value="org.eclipse.emf.ecore@default:default"/> | ||
262 | <setEntry value="org.eclipse.emf.ecoretools.design.ui@default:default"/> | ||
263 | <setEntry value="org.eclipse.emf.ecoretools.design@default:default"/> | ||
264 | <setEntry value="org.eclipse.emf.ecoretools.doc@default:default"/> | ||
265 | <setEntry value="org.eclipse.emf.ecoretools.ui@default:default"/> | ||
266 | <setEntry value="org.eclipse.emf.ecoretools@default:default"/> | ||
267 | <setEntry value="org.eclipse.emf.ecp.application.e3@default:default"/> | ||
268 | <setEntry value="org.eclipse.emf.ecp.application.e4@default:default"/> | ||
269 | <setEntry value="org.eclipse.emf.ecp.cdo.core@default:default"/> | ||
270 | <setEntry value="org.eclipse.emf.ecp.cdo.ui@default:default"/> | ||
271 | <setEntry value="org.eclipse.emf.ecp.common.ui@default:default"/> | ||
272 | <setEntry value="org.eclipse.emf.ecp.common@default:default"/> | ||
273 | <setEntry value="org.eclipse.emf.ecp.core.emffilter@default:default"/> | ||
274 | <setEntry value="org.eclipse.emf.ecp.core@default:default"/> | ||
275 | <setEntry value="org.eclipse.emf.ecp.edit.swt@default:default"/> | ||
276 | <setEntry value="org.eclipse.emf.ecp.edit@default:default"/> | ||
277 | <setEntry value="org.eclipse.emf.ecp.editor.e3@default:default"/> | ||
278 | <setEntry value="org.eclipse.emf.ecp.emf2web.json@default:default"/> | ||
279 | <setEntry value="org.eclipse.emf.ecp.emf2web.ui.json@default:default"/> | ||
280 | <setEntry value="org.eclipse.emf.ecp.emf2web.ui@default:default"/> | ||
281 | <setEntry value="org.eclipse.emf.ecp.emf2web@default:default"/> | ||
282 | <setEntry value="org.eclipse.emf.ecp.emfstore.core@default:default"/> | ||
283 | <setEntry value="org.eclipse.emf.ecp.emfstore.ui.e3@default:default"/> | ||
284 | <setEntry value="org.eclipse.emf.ecp.emfstore.ui.e4@default:default"/> | ||
285 | <setEntry value="org.eclipse.emf.ecp.emfstore.ui.search@default:default"/> | ||
286 | <setEntry value="org.eclipse.emf.ecp.emfstore.ui@default:default"/> | ||
287 | <setEntry value="org.eclipse.emf.ecp.explorereditorbridge@default:default"/> | ||
288 | <setEntry value="org.eclipse.emf.ecp.ide.editor.view.templatebridge@default:default"/> | ||
289 | <setEntry value="org.eclipse.emf.ecp.ide.editor.view@default:default"/> | ||
290 | <setEntry value="org.eclipse.emf.ecp.ide.editor.viewmodel@default:default"/> | ||
291 | <setEntry value="org.eclipse.emf.ecp.ide.util@default:default"/> | ||
292 | <setEntry value="org.eclipse.emf.ecp.ide.view.service@default:default"/> | ||
293 | <setEntry value="org.eclipse.emf.ecp.makeithappen.wizards@default:default"/> | ||
294 | <setEntry value="org.eclipse.emf.ecp.ui.e3@default:default"/> | ||
295 | <setEntry value="org.eclipse.emf.ecp.ui.e4@default:default"/> | ||
296 | <setEntry value="org.eclipse.emf.ecp.ui.rcp@default:default"/> | ||
297 | <setEntry value="org.eclipse.emf.ecp.ui.view.editor.controls@default:default"/> | ||
298 | <setEntry value="org.eclipse.emf.ecp.ui.view.linewrapper@default:default"/> | ||
299 | <setEntry value="org.eclipse.emf.ecp.ui.view.swt@default:default"/> | ||
300 | <setEntry value="org.eclipse.emf.ecp.ui.view@default:default"/> | ||
301 | <setEntry value="org.eclipse.emf.ecp.ui@default:default"/> | ||
302 | <setEntry value="org.eclipse.emf.ecp.validation.connector@default:default"/> | ||
303 | <setEntry value="org.eclipse.emf.ecp.validation@default:default"/> | ||
304 | <setEntry value="org.eclipse.emf.ecp.view.categorization.model.edit@default:default"/> | ||
305 | <setEntry value="org.eclipse.emf.ecp.view.categorization.model@default:default"/> | ||
306 | <setEntry value="org.eclipse.emf.ecp.view.categorization.swt@default:default"/> | ||
307 | <setEntry value="org.eclipse.emf.ecp.view.compoundcontrol.model.edit@default:default"/> | ||
308 | <setEntry value="org.eclipse.emf.ecp.view.compoundcontrol.model@default:default"/> | ||
309 | <setEntry value="org.eclipse.emf.ecp.view.compoundcontrol.swt@default:default"/> | ||
310 | <setEntry value="org.eclipse.emf.ecp.view.compoundcontrol.tooling@default:default"/> | ||
311 | <setEntry value="org.eclipse.emf.ecp.view.context.locale@default:default"/> | ||
312 | <setEntry value="org.eclipse.emf.ecp.view.context@default:default"/> | ||
313 | <setEntry value="org.eclipse.emf.ecp.view.control.multireference@default:default"/> | ||
314 | <setEntry value="org.eclipse.emf.ecp.view.core.swt@default:default"/> | ||
315 | <setEntry value="org.eclipse.emf.ecp.view.custom.model.edit@default:default"/> | ||
316 | <setEntry value="org.eclipse.emf.ecp.view.custom.model@default:default"/> | ||
317 | <setEntry value="org.eclipse.emf.ecp.view.custom.ui.swt@default:default"/> | ||
318 | <setEntry value="org.eclipse.emf.ecp.view.edapt@default:default"/> | ||
319 | <setEntry value="org.eclipse.emf.ecp.view.group.model.edit@default:default"/> | ||
320 | <setEntry value="org.eclipse.emf.ecp.view.group.model@default:default"/> | ||
321 | <setEntry value="org.eclipse.emf.ecp.view.group.swt.collapsable@default:default"/> | ||
322 | <setEntry value="org.eclipse.emf.ecp.view.group.swt.embedded@default:default"/> | ||
323 | <setEntry value="org.eclipse.emf.ecp.view.group.ui.swt@default:default"/> | ||
324 | <setEntry value="org.eclipse.emf.ecp.view.horizontal.model.edit@default:default"/> | ||
325 | <setEntry value="org.eclipse.emf.ecp.view.horizontal.model@default:default"/> | ||
326 | <setEntry value="org.eclipse.emf.ecp.view.horizontal.ui.swt@default:default"/> | ||
327 | <setEntry value="org.eclipse.emf.ecp.view.indexdmr.model@default:default"/> | ||
328 | <setEntry value="org.eclipse.emf.ecp.view.label.model.edit@default:default"/> | ||
329 | <setEntry value="org.eclipse.emf.ecp.view.label.model@default:default"/> | ||
330 | <setEntry value="org.eclipse.emf.ecp.view.label.ui.swt@default:default"/> | ||
331 | <setEntry value="org.eclipse.emf.ecp.view.mappingdmr.model@default:default"/> | ||
332 | <setEntry value="org.eclipse.emf.ecp.view.migrator@default:default"/> | ||
333 | <setEntry value="org.eclipse.emf.ecp.view.model.common@default:default"/> | ||
334 | <setEntry value="org.eclipse.emf.ecp.view.model.edapt@default:default"/> | ||
335 | <setEntry value="org.eclipse.emf.ecp.view.model.edit@default:default"/> | ||
336 | <setEntry value="org.eclipse.emf.ecp.view.model.editor@default:default"/> | ||
337 | <setEntry value="org.eclipse.emf.ecp.view.model.preview.common@default:default"/> | ||
338 | <setEntry value="org.eclipse.emf.ecp.view.model.preview.e3@default:default"/> | ||
339 | <setEntry value="org.eclipse.emf.ecp.view.model.project.installer@default:default"/> | ||
340 | <setEntry value="org.eclipse.emf.ecp.view.model.provider.generator@default:default"/> | ||
341 | <setEntry value="org.eclipse.emf.ecp.view.model.provider.xmi@default:default"/> | ||
342 | <setEntry value="org.eclipse.emf.ecp.view.model@default:default"/> | ||
343 | <setEntry value="org.eclipse.emf.ecp.view.rule.model.edit@default:default"/> | ||
344 | <setEntry value="org.eclipse.emf.ecp.view.rule.model@default:default"/> | ||
345 | <setEntry value="org.eclipse.emf.ecp.view.rule@default:default"/> | ||
346 | <setEntry value="org.eclipse.emf.ecp.view.stack.model.edit@default:default"/> | ||
347 | <setEntry value="org.eclipse.emf.ecp.view.stack.model@default:default"/> | ||
348 | <setEntry value="org.eclipse.emf.ecp.view.stack.ui.swt@default:default"/> | ||
349 | <setEntry value="org.eclipse.emf.ecp.view.stack.viewmodel@default:default"/> | ||
350 | <setEntry value="org.eclipse.emf.ecp.view.swt.layout@default:default"/> | ||
351 | <setEntry value="org.eclipse.emf.ecp.view.table.columnservice@default:default"/> | ||
352 | <setEntry value="org.eclipse.emf.ecp.view.table.edapt@default:default"/> | ||
353 | <setEntry value="org.eclipse.emf.ecp.view.table.model.edit@default:default"/> | ||
354 | <setEntry value="org.eclipse.emf.ecp.view.table.model@default:default"/> | ||
355 | <setEntry value="org.eclipse.emf.ecp.view.table.ui.swt@default:default"/> | ||
356 | <setEntry value="org.eclipse.emf.ecp.view.template.annotation.model.edit@default:default"/> | ||
357 | <setEntry value="org.eclipse.emf.ecp.view.template.annotation.model@default:default"/> | ||
358 | <setEntry value="org.eclipse.emf.ecp.view.template.model.edit@default:default"/> | ||
359 | <setEntry value="org.eclipse.emf.ecp.view.template.model@default:default"/> | ||
360 | <setEntry value="org.eclipse.emf.ecp.view.template.service@default:default"/> | ||
361 | <setEntry value="org.eclipse.emf.ecp.view.template.tooling@default:default"/> | ||
362 | <setEntry value="org.eclipse.emf.ecp.view.treemasterdetail.model.edit@default:default"/> | ||
363 | <setEntry value="org.eclipse.emf.ecp.view.treemasterdetail.model@default:default"/> | ||
364 | <setEntry value="org.eclipse.emf.ecp.view.treemasterdetail.ui.swt@default:default"/> | ||
365 | <setEntry value="org.eclipse.emf.ecp.view.treemasterdetail.validation@default:default"/> | ||
366 | <setEntry value="org.eclipse.emf.ecp.view.unset@default:default"/> | ||
367 | <setEntry value="org.eclipse.emf.ecp.view.util.swt@default:default"/> | ||
368 | <setEntry value="org.eclipse.emf.ecp.view.validation@default:default"/> | ||
369 | <setEntry value="org.eclipse.emf.ecp.view.vertical.model.edit@default:default"/> | ||
370 | <setEntry value="org.eclipse.emf.ecp.view.vertical.model@default:default"/> | ||
371 | <setEntry value="org.eclipse.emf.ecp.view.vertical.ui.swt@default:default"/> | ||
372 | <setEntry value="org.eclipse.emf.ecp.view.viewproxy.model.edit@default:default"/> | ||
373 | <setEntry value="org.eclipse.emf.ecp.view.viewproxy.model@default:default"/> | ||
374 | <setEntry value="org.eclipse.emf.ecp.view.workspace.migrator@default:default"/> | ||
375 | <setEntry value="org.eclipse.emf.ecp.workspace.core@default:default"/> | ||
376 | <setEntry value="org.eclipse.emf.ecp.workspace.ui@default:default"/> | ||
377 | <setEntry value="org.eclipse.emf.edapt.common@default:default"/> | ||
378 | <setEntry value="org.eclipse.emf.edapt.declaration@default:default"/> | ||
379 | <setEntry value="org.eclipse.emf.edapt.history@default:default"/> | ||
380 | <setEntry value="org.eclipse.emf.edapt.migration@default:default"/> | ||
381 | <setEntry value="org.eclipse.emf.edit.ui@default:default"/> | ||
382 | <setEntry value="org.eclipse.emf.edit@default:default"/> | ||
383 | <setEntry value="org.eclipse.emf.emfstore.client.model.edit@default:default"/> | ||
384 | <setEntry value="org.eclipse.emf.emfstore.client.ui.rcp@default:false"/> | ||
385 | <setEntry value="org.eclipse.emf.emfstore.client.ui@default:default"/> | ||
386 | <setEntry value="org.eclipse.emf.emfstore.client@default:default"/> | ||
387 | <setEntry value="org.eclipse.emf.emfstore.common.model.edit@default:default"/> | ||
388 | <setEntry value="org.eclipse.emf.emfstore.common.model@default:default"/> | ||
389 | <setEntry value="org.eclipse.emf.emfstore.common@default:default"/> | ||
390 | <setEntry value="org.eclipse.emf.emfstore.example.installer@default:default"/> | ||
391 | <setEntry value="org.eclipse.emf.emfstore.examplemodel.edit@default:default"/> | ||
392 | <setEntry value="org.eclipse.emf.emfstore.examplemodel@default:default"/> | ||
393 | <setEntry value="org.eclipse.emf.emfstore.migration@default:default"/> | ||
394 | <setEntry value="org.eclipse.emf.emfstore.server.model.edit@default:default"/> | ||
395 | <setEntry value="org.eclipse.emf.emfstore.server.model@default:default"/> | ||
396 | <setEntry value="org.eclipse.emf.emfstore.server@default:default"/> | ||
397 | <setEntry value="org.eclipse.emf.example.installer@default:default"/> | ||
398 | <setEntry value="org.eclipse.emf.exporter@default:default"/> | ||
399 | <setEntry value="org.eclipse.emf.henshin.diagram@default:default"/> | ||
400 | <setEntry value="org.eclipse.emf.henshin.edit@default:default"/> | ||
401 | <setEntry value="org.eclipse.emf.henshin.editor@default:default"/> | ||
402 | <setEntry value="org.eclipse.emf.henshin.examples@default:default"/> | ||
403 | <setEntry value="org.eclipse.emf.henshin.giraph@default:default"/> | ||
404 | <setEntry value="org.eclipse.emf.henshin.interpreter.ui@default:default"/> | ||
405 | <setEntry value="org.eclipse.emf.henshin.interpreter@default:default"/> | ||
406 | <setEntry value="org.eclipse.emf.henshin.model@default:default"/> | ||
407 | <setEntry value="org.eclipse.emf.henshin.multicda.cda@default:default"/> | ||
408 | <setEntry value="org.eclipse.emf.henshin.multicda.cpa.ui@default:default"/> | ||
409 | <setEntry value="org.eclipse.emf.henshin.multicda.cpa@default:default"/> | ||
410 | <setEntry value="org.eclipse.emf.henshin.rulegen.ui@default:default"/> | ||
411 | <setEntry value="org.eclipse.emf.henshin.rulegen@default:default"/> | ||
412 | <setEntry value="org.eclipse.emf.henshin.statespace.explorer@default:default"/> | ||
413 | <setEntry value="org.eclipse.emf.henshin.statespace.external@default:default"/> | ||
414 | <setEntry value="org.eclipse.emf.henshin.statespace@default:default"/> | ||
415 | <setEntry value="org.eclipse.emf.henshin.text.ide@default:default"/> | ||
416 | <setEntry value="org.eclipse.emf.henshin.text.transformation@default:default"/> | ||
417 | <setEntry value="org.eclipse.emf.henshin.text.ui@default:default"/> | ||
418 | <setEntry value="org.eclipse.emf.henshin.text@default:default"/> | ||
419 | <setEntry value="org.eclipse.emf.henshin.trace@default:default"/> | ||
420 | <setEntry value="org.eclipse.emf.henshin.wrap@default:default"/> | ||
421 | <setEntry value="org.eclipse.emf.importer.ecore@default:default"/> | ||
422 | <setEntry value="org.eclipse.emf.importer.java@default:default"/> | ||
423 | <setEntry value="org.eclipse.emf.importer.rose@default:default"/> | ||
424 | <setEntry value="org.eclipse.emf.importer@default:default"/> | ||
425 | <setEntry value="org.eclipse.emf.mapping.ecore.editor@default:default"/> | ||
426 | <setEntry value="org.eclipse.emf.mapping.ecore2ecore.editor@default:default"/> | ||
427 | <setEntry value="org.eclipse.emf.mapping.ecore2ecore@default:default"/> | ||
428 | <setEntry value="org.eclipse.emf.mapping.ecore2xml.ui@default:default"/> | ||
429 | <setEntry value="org.eclipse.emf.mapping.ecore2xml@default:default"/> | ||
430 | <setEntry value="org.eclipse.emf.mapping.ecore@default:default"/> | ||
431 | <setEntry value="org.eclipse.emf.mapping.ui@default:default"/> | ||
432 | <setEntry value="org.eclipse.emf.mapping.xsd2ecore.editor@default:default"/> | ||
433 | <setEntry value="org.eclipse.emf.mapping.xsd2ecore@default:default"/> | ||
434 | <setEntry value="org.eclipse.emf.mapping@default:default"/> | ||
435 | <setEntry value="org.eclipse.emf.mwe.core@default:default"/> | ||
436 | <setEntry value="org.eclipse.emf.mwe.utils@default:default"/> | ||
437 | <setEntry value="org.eclipse.emf.mwe2.language.ide@default:default"/> | ||
438 | <setEntry value="org.eclipse.emf.mwe2.language.ui@default:default"/> | ||
439 | <setEntry value="org.eclipse.emf.mwe2.language@default:default"/> | ||
440 | <setEntry value="org.eclipse.emf.mwe2.launch.ui@default:default"/> | ||
441 | <setEntry value="org.eclipse.emf.mwe2.launch@default:default"/> | ||
442 | <setEntry value="org.eclipse.emf.mwe2.lib@default:default"/> | ||
443 | <setEntry value="org.eclipse.emf.mwe2.runtime@default:default"/> | ||
444 | <setEntry value="org.eclipse.emf.parsley.cdo.common@default:default"/> | ||
445 | <setEntry value="org.eclipse.emf.parsley.cdo@default:default"/> | ||
446 | <setEntry value="org.eclipse.emf.parsley.common@default:default"/> | ||
447 | <setEntry value="org.eclipse.emf.parsley.doc@default:default"/> | ||
448 | <setEntry value="org.eclipse.emf.parsley.dsl.additional.builder@default:default"/> | ||
449 | <setEntry value="org.eclipse.emf.parsley.dsl.ide@default:default"/> | ||
450 | <setEntry value="org.eclipse.emf.parsley.dsl.ui@default:default"/> | ||
451 | <setEntry value="org.eclipse.emf.parsley.dsl@default:default"/> | ||
452 | <setEntry value="org.eclipse.emf.parsley.editors.common@default:default"/> | ||
453 | <setEntry value="org.eclipse.emf.parsley.editors@default:default"/> | ||
454 | <setEntry value="org.eclipse.emf.parsley.generator.common@default:default"/> | ||
455 | <setEntry value="org.eclipse.emf.parsley.junit4@default:default"/> | ||
456 | <setEntry value="org.eclipse.emf.parsley.runtime.common@default:default"/> | ||
457 | <setEntry value="org.eclipse.emf.parsley.runtime@default:default"/> | ||
458 | <setEntry value="org.eclipse.emf.parsley.ui.examples@default:default"/> | ||
459 | <setEntry value="org.eclipse.emf.parsley.views.common@default:default"/> | ||
460 | <setEntry value="org.eclipse.emf.parsley.views@default:default"/> | ||
461 | <setEntry value="org.eclipse.emf.parsley.wizards@default:default"/> | ||
462 | <setEntry value="org.eclipse.emf.parsley@default:default"/> | ||
463 | <setEntry value="org.eclipse.emf.query.doc@default:default"/> | ||
464 | <setEntry value="org.eclipse.emf.query.examples@default:default"/> | ||
465 | <setEntry value="org.eclipse.emf.query.ocl@default:default"/> | ||
466 | <setEntry value="org.eclipse.emf.query@default:default"/> | ||
467 | <setEntry value="org.eclipse.emf.transaction.doc@default:default"/> | ||
468 | <setEntry value="org.eclipse.emf.transaction.examples@default:default"/> | ||
469 | <setEntry value="org.eclipse.emf.transaction.ui@default:default"/> | ||
470 | <setEntry value="org.eclipse.emf.transaction@default:default"/> | ||
471 | <setEntry value="org.eclipse.emf.validation.doc@default:default"/> | ||
472 | <setEntry value="org.eclipse.emf.validation.examples@default:default"/> | ||
473 | <setEntry value="org.eclipse.emf.validation.ocl@default:default"/> | ||
474 | <setEntry value="org.eclipse.emf.validation.ui.ide@default:default"/> | ||
475 | <setEntry value="org.eclipse.emf.validation.ui@default:default"/> | ||
476 | <setEntry value="org.eclipse.emf.validation@default:default"/> | ||
477 | <setEntry value="org.eclipse.emf.workspace.doc@default:default"/> | ||
478 | <setEntry value="org.eclipse.emf.workspace.ui@default:default"/> | ||
479 | <setEntry value="org.eclipse.emf.workspace@default:default"/> | ||
480 | <setEntry value="org.eclipse.emf@default:default"/> | ||
481 | <setEntry value="org.eclipse.emfforms.coffee.wizards@default:default"/> | ||
482 | <setEntry value="org.eclipse.emfforms.common.validation@default:default"/> | ||
483 | <setEntry value="org.eclipse.emfforms.common@default:default"/> | ||
484 | <setEntry value="org.eclipse.emfforms.core.bazaar@default:default"/> | ||
485 | <setEntry value="org.eclipse.emfforms.core.services.databinding.featurepath@default:default"/> | ||
486 | <setEntry value="org.eclipse.emfforms.core.services.databinding.index@default:default"/> | ||
487 | <setEntry value="org.eclipse.emfforms.core.services.databinding.mapping@default:default"/> | ||
488 | <setEntry value="org.eclipse.emfforms.core.services.domainexpander.default@default:default"/> | ||
489 | <setEntry value="org.eclipse.emfforms.core.services.domainexpander.index@default:default"/> | ||
490 | <setEntry value="org.eclipse.emfforms.core.services.domainexpander.mapping@default:default"/> | ||
491 | <setEntry value="org.eclipse.emfforms.core.services.domainexpander.table@default:default"/> | ||
492 | <setEntry value="org.eclipse.emfforms.core.services.editsupport@default:default"/> | ||
493 | <setEntry value="org.eclipse.emfforms.core.services.emf@default:default"/> | ||
494 | <setEntry value="org.eclipse.emfforms.core.services.emfspecificservice@default:default"/> | ||
495 | <setEntry value="org.eclipse.emfforms.core.services.legacy@default:default"/> | ||
496 | <setEntry value="org.eclipse.emfforms.core.services.locale.default@default:default"/> | ||
497 | <setEntry value="org.eclipse.emfforms.core.services.mappingprovider.default@default:default"/> | ||
498 | <setEntry value="org.eclipse.emfforms.core.services.mappingprovider.table.panel@default:default"/> | ||
499 | <setEntry value="org.eclipse.emfforms.core.services.mappingprovider.table@default:default"/> | ||
500 | <setEntry value="org.eclipse.emfforms.core.services.segments.featurepath@default:default"/> | ||
501 | <setEntry value="org.eclipse.emfforms.core.services.segments.index@default:default"/> | ||
502 | <setEntry value="org.eclipse.emfforms.core.services.segments.mapping@default:default"/> | ||
503 | <setEntry value="org.eclipse.emfforms.core.services.segments.multi@default:default"/> | ||
504 | <setEntry value="org.eclipse.emfforms.core.services.segments@default:default"/> | ||
505 | <setEntry value="org.eclipse.emfforms.core.services.structuralchange.default@default:default"/> | ||
506 | <setEntry value="org.eclipse.emfforms.core.services.structuralchange.index@default:default"/> | ||
507 | <setEntry value="org.eclipse.emfforms.core.services.structuralchange.mapping@default:default"/> | ||
508 | <setEntry value="org.eclipse.emfforms.core.services.structuralchange.table@default:default"/> | ||
509 | <setEntry value="org.eclipse.emfforms.core.services.structuralchange@default:default"/> | ||
510 | <setEntry value="org.eclipse.emfforms.core.services@default:default"/> | ||
511 | <setEntry value="org.eclipse.emfforms.editor.ecore@default:default"/> | ||
512 | <setEntry value="org.eclipse.emfforms.editor.genmodel@default:default"/> | ||
513 | <setEntry value="org.eclipse.emfforms.editor@default:default"/> | ||
514 | <setEntry value="org.eclipse.emfforms.example.common.wizards@default:default"/> | ||
515 | <setEntry value="org.eclipse.emfforms.ide.builder@default:default"/> | ||
516 | <setEntry value="org.eclipse.emfforms.ide.viewtemplate.builder@default:default"/> | ||
517 | <setEntry value="org.eclipse.emfforms.localization@default:default"/> | ||
518 | <setEntry value="org.eclipse.emfforms.setup.base@default:default"/> | ||
519 | <setEntry value="org.eclipse.emfforms.swt.control.multiattribute@default:default"/> | ||
520 | <setEntry value="org.eclipse.emfforms.swt.core.di.extension@default:default"/> | ||
521 | <setEntry value="org.eclipse.emfforms.swt.core.di@default:default"/> | ||
522 | <setEntry value="org.eclipse.emfforms.swt.core.plugin@default:default"/> | ||
523 | <setEntry value="org.eclipse.emfforms.swt.core@default:default"/> | ||
524 | <setEntry value="org.eclipse.emfforms.swt.table@default:default"/> | ||
525 | <setEntry value="org.eclipse.emfforms.swt.treemasterdetail.decorator.validation.default@default:default"/> | ||
526 | <setEntry value="org.eclipse.emfforms.swt.treemasterdetail@default:default"/> | ||
527 | <setEntry value="org.eclipse.emfforms.view.annotation.model.edit@default:default"/> | ||
528 | <setEntry value="org.eclipse.emfforms.view.annotation.model@default:default"/> | ||
529 | <setEntry value="org.eclipse.emfforms.view.indexsegment.model@default:default"/> | ||
530 | <setEntry value="org.eclipse.emfforms.view.mappingsegment.model@default:default"/> | ||
531 | <setEntry value="org.eclipse.emfforms.view.model.localization@default:default"/> | ||
532 | <setEntry value="org.eclipse.emfforms.view.multisegment.model.edit@default:default"/> | ||
533 | <setEntry value="org.eclipse.emfforms.view.multisegment.model@default:default"/> | ||
534 | <setEntry value="org.eclipse.epp.logging.aeri.core@default:default"/> | ||
535 | <setEntry value="org.eclipse.epp.logging.aeri.ide@default:default"/> | ||
536 | <setEntry value="org.eclipse.epp.mpc.core@default:default"/> | ||
537 | <setEntry value="org.eclipse.epp.mpc.help.ui@default:default"/> | ||
538 | <setEntry value="org.eclipse.epp.mpc.ui.css@default:default"/> | ||
539 | <setEntry value="org.eclipse.epp.mpc.ui@default:default"/> | ||
540 | <setEntry value="org.eclipse.epp.package.common@default:default"/> | ||
541 | <setEntry value="org.eclipse.epp.package.modeling@default:default"/> | ||
542 | <setEntry value="org.eclipse.equinox.app@default:default"/> | ||
543 | <setEntry value="org.eclipse.equinox.bidi@default:default"/> | ||
544 | <setEntry value="org.eclipse.equinox.common@2:true"/> | ||
545 | <setEntry value="org.eclipse.equinox.concurrent@default:default"/> | ||
546 | <setEntry value="org.eclipse.equinox.console@default:default"/> | ||
547 | <setEntry value="org.eclipse.equinox.ds@1:true"/> | ||
548 | <setEntry value="org.eclipse.equinox.event@default:default"/> | ||
549 | <setEntry value="org.eclipse.equinox.frameworkadmin.equinox@default:default"/> | ||
550 | <setEntry value="org.eclipse.equinox.frameworkadmin@default:default"/> | ||
551 | <setEntry value="org.eclipse.equinox.http.jetty@default:default"/> | ||
552 | <setEntry value="org.eclipse.equinox.http.registry@default:default"/> | ||
553 | <setEntry value="org.eclipse.equinox.http.servlet@default:default"/> | ||
554 | <setEntry value="org.eclipse.equinox.jsp.jasper.registry@default:default"/> | ||
555 | <setEntry value="org.eclipse.equinox.jsp.jasper@default:default"/> | ||
556 | <setEntry value="org.eclipse.equinox.launcher.gtk.linux.x86_64@default:false"/> | ||
557 | <setEntry value="org.eclipse.equinox.launcher@default:default"/> | ||
558 | <setEntry value="org.eclipse.equinox.p2.artifact.repository@default:default"/> | ||
559 | <setEntry value="org.eclipse.equinox.p2.console@default:default"/> | ||
560 | <setEntry value="org.eclipse.equinox.p2.core@default:default"/> | ||
561 | <setEntry value="org.eclipse.equinox.p2.director.app@default:default"/> | ||
562 | <setEntry value="org.eclipse.equinox.p2.director@default:default"/> | ||
563 | <setEntry value="org.eclipse.equinox.p2.directorywatcher@default:default"/> | ||
564 | <setEntry value="org.eclipse.equinox.p2.discovery.compatibility@default:default"/> | ||
565 | <setEntry value="org.eclipse.equinox.p2.discovery@default:default"/> | ||
566 | <setEntry value="org.eclipse.equinox.p2.engine@default:default"/> | ||
567 | <setEntry value="org.eclipse.equinox.p2.extensionlocation@default:default"/> | ||
568 | <setEntry value="org.eclipse.equinox.p2.garbagecollector@default:default"/> | ||
569 | <setEntry value="org.eclipse.equinox.p2.jarprocessor@default:default"/> | ||
570 | <setEntry value="org.eclipse.equinox.p2.metadata.repository@default:default"/> | ||
571 | <setEntry value="org.eclipse.equinox.p2.metadata@default:default"/> | ||
572 | <setEntry value="org.eclipse.equinox.p2.operations@default:default"/> | ||
573 | <setEntry value="org.eclipse.equinox.p2.publisher.eclipse@default:default"/> | ||
574 | <setEntry value="org.eclipse.equinox.p2.publisher@default:default"/> | ||
575 | <setEntry value="org.eclipse.equinox.p2.reconciler.dropins@default:default"/> | ||
576 | <setEntry value="org.eclipse.equinox.p2.repository.tools@default:default"/> | ||
577 | <setEntry value="org.eclipse.equinox.p2.repository@default:default"/> | ||
578 | <setEntry value="org.eclipse.equinox.p2.touchpoint.eclipse@default:default"/> | ||
579 | <setEntry value="org.eclipse.equinox.p2.touchpoint.natives@default:default"/> | ||
580 | <setEntry value="org.eclipse.equinox.p2.transport.ecf@default:default"/> | ||
581 | <setEntry value="org.eclipse.equinox.p2.ui.discovery@default:default"/> | ||
582 | <setEntry value="org.eclipse.equinox.p2.ui.importexport@default:default"/> | ||
583 | <setEntry value="org.eclipse.equinox.p2.ui.sdk.scheduler@default:default"/> | ||
584 | <setEntry value="org.eclipse.equinox.p2.ui.sdk@default:default"/> | ||
585 | <setEntry value="org.eclipse.equinox.p2.ui@default:default"/> | ||
586 | <setEntry value="org.eclipse.equinox.p2.updatechecker@default:default"/> | ||
587 | <setEntry value="org.eclipse.equinox.p2.updatesite@default:default"/> | ||
588 | <setEntry value="org.eclipse.equinox.preferences@default:default"/> | ||
589 | <setEntry value="org.eclipse.equinox.registry@default:default"/> | ||
590 | <setEntry value="org.eclipse.equinox.security.linux.x86_64@default:false"/> | ||
591 | <setEntry value="org.eclipse.equinox.security.ui@default:default"/> | ||
592 | <setEntry value="org.eclipse.equinox.security@default:default"/> | ||
593 | <setEntry value="org.eclipse.equinox.simpleconfigurator.manipulator@default:default"/> | ||
594 | <setEntry value="org.eclipse.equinox.simpleconfigurator@1:true"/> | ||
595 | <setEntry value="org.eclipse.equinox.util@default:default"/> | ||
596 | <setEntry value="org.eclipse.fx.osgi@default:false"/> | ||
597 | <setEntry value="org.eclipse.gef.common@default:default"/> | ||
598 | <setEntry value="org.eclipse.gef.doc.isv@default:default"/> | ||
599 | <setEntry value="org.eclipse.gef.examples.ui.pde@default:default"/> | ||
600 | <setEntry value="org.eclipse.gef.fx.swt@default:default"/> | ||
601 | <setEntry value="org.eclipse.gef.fx@default:default"/> | ||
602 | <setEntry value="org.eclipse.gef.geometry.convert.fx@default:default"/> | ||
603 | <setEntry value="org.eclipse.gef.geometry@default:default"/> | ||
604 | <setEntry value="org.eclipse.gef.graph@default:default"/> | ||
605 | <setEntry value="org.eclipse.gef.layout@default:default"/> | ||
606 | <setEntry value="org.eclipse.gef.mvc.fx@default:default"/> | ||
607 | <setEntry value="org.eclipse.gef.zest.fx.jface@default:default"/> | ||
608 | <setEntry value="org.eclipse.gef.zest.fx@default:default"/> | ||
609 | <setEntry value="org.eclipse.gef@default:default"/> | ||
610 | <setEntry value="org.eclipse.gmf.examples.runtime.diagram.geoshapes@default:default"/> | ||
611 | <setEntry value="org.eclipse.gmf.examples.runtime.diagram.logic.model.edit@default:default"/> | ||
612 | <setEntry value="org.eclipse.gmf.examples.runtime.diagram.logic.model.editor@default:default"/> | ||
613 | <setEntry value="org.eclipse.gmf.examples.runtime.diagram.logic.model@default:default"/> | ||
614 | <setEntry value="org.eclipse.gmf.examples.runtime.diagram.logic@default:default"/> | ||
615 | <setEntry value="org.eclipse.gmf.examples.runtime.ui.pde@default:default"/> | ||
616 | <setEntry value="org.eclipse.gmf.examples.runtime@default:default"/> | ||
617 | <setEntry value="org.eclipse.gmf.runtime.common.core@default:default"/> | ||
618 | <setEntry value="org.eclipse.gmf.runtime.common.ui.action.ide@default:default"/> | ||
619 | <setEntry value="org.eclipse.gmf.runtime.common.ui.action@default:default"/> | ||
620 | <setEntry value="org.eclipse.gmf.runtime.common.ui.printing.win32@default:false"/> | ||
621 | <setEntry value="org.eclipse.gmf.runtime.common.ui.printing@default:default"/> | ||
622 | <setEntry value="org.eclipse.gmf.runtime.common.ui.services.action@default:default"/> | ||
623 | <setEntry value="org.eclipse.gmf.runtime.common.ui.services.dnd.ide@default:default"/> | ||
624 | <setEntry value="org.eclipse.gmf.runtime.common.ui.services.dnd@default:default"/> | ||
625 | <setEntry value="org.eclipse.gmf.runtime.common.ui.services.properties@default:default"/> | ||
626 | <setEntry value="org.eclipse.gmf.runtime.common.ui.services@default:default"/> | ||
627 | <setEntry value="org.eclipse.gmf.runtime.common.ui@default:default"/> | ||
628 | <setEntry value="org.eclipse.gmf.runtime.diagram.core@default:default"/> | ||
629 | <setEntry value="org.eclipse.gmf.runtime.diagram.ui.actions@default:default"/> | ||
630 | <setEntry value="org.eclipse.gmf.runtime.diagram.ui.dnd@default:default"/> | ||
631 | <setEntry value="org.eclipse.gmf.runtime.diagram.ui.geoshapes@default:default"/> | ||
632 | <setEntry value="org.eclipse.gmf.runtime.diagram.ui.printing.render@default:default"/> | ||
633 | <setEntry value="org.eclipse.gmf.runtime.diagram.ui.printing@default:default"/> | ||
634 | <setEntry value="org.eclipse.gmf.runtime.diagram.ui.properties@default:default"/> | ||
635 | <setEntry value="org.eclipse.gmf.runtime.diagram.ui.providers.ide@default:default"/> | ||
636 | <setEntry value="org.eclipse.gmf.runtime.diagram.ui.providers@default:default"/> | ||
637 | <setEntry value="org.eclipse.gmf.runtime.diagram.ui.render@default:default"/> | ||
638 | <setEntry value="org.eclipse.gmf.runtime.diagram.ui.resources.editor.ide@default:default"/> | ||
639 | <setEntry value="org.eclipse.gmf.runtime.diagram.ui.resources.editor@default:default"/> | ||
640 | <setEntry value="org.eclipse.gmf.runtime.diagram.ui@default:default"/> | ||
641 | <setEntry value="org.eclipse.gmf.runtime.draw2d.ui.render.awt@default:default"/> | ||
642 | <setEntry value="org.eclipse.gmf.runtime.draw2d.ui.render@default:default"/> | ||
643 | <setEntry value="org.eclipse.gmf.runtime.draw2d.ui@default:default"/> | ||
644 | <setEntry value="org.eclipse.gmf.runtime.emf.clipboard.core@default:default"/> | ||
645 | <setEntry value="org.eclipse.gmf.runtime.emf.commands.core@default:default"/> | ||
646 | <setEntry value="org.eclipse.gmf.runtime.emf.core@default:default"/> | ||
647 | <setEntry value="org.eclipse.gmf.runtime.emf.type.core@default:default"/> | ||
648 | <setEntry value="org.eclipse.gmf.runtime.emf.type.ui@default:default"/> | ||
649 | <setEntry value="org.eclipse.gmf.runtime.emf.ui.properties@default:default"/> | ||
650 | <setEntry value="org.eclipse.gmf.runtime.emf.ui@default:default"/> | ||
651 | <setEntry value="org.eclipse.gmf.runtime.gef.ui@default:default"/> | ||
652 | <setEntry value="org.eclipse.gmf.runtime.notation.edit@default:default"/> | ||
653 | <setEntry value="org.eclipse.gmf.runtime.notation.providers@default:default"/> | ||
654 | <setEntry value="org.eclipse.gmf.runtime.notation.sdk@default:default"/> | ||
655 | <setEntry value="org.eclipse.gmf.runtime.notation@default:default"/> | ||
656 | <setEntry value="org.eclipse.gmf.runtime.sdk@default:default"/> | ||
657 | <setEntry value="org.eclipse.gmf@default:default"/> | ||
658 | <setEntry value="org.eclipse.help.base@default:default"/> | ||
659 | <setEntry value="org.eclipse.help.ui@default:default"/> | ||
660 | <setEntry value="org.eclipse.help.webapp@default:default"/> | ||
661 | <setEntry value="org.eclipse.help@default:default"/> | ||
662 | <setEntry value="org.eclipse.jdt.annotation*1.1.400.v20180921-1416@default:default"/> | ||
663 | <setEntry value="org.eclipse.jdt.annotation*2.2.200.v20180921-1416@default:default"/> | ||
664 | <setEntry value="org.eclipse.jdt.apt.core@default:default"/> | ||
665 | <setEntry value="org.eclipse.jdt.apt.pluggable.core@default:default"/> | ||
666 | <setEntry value="org.eclipse.jdt.apt.ui@default:default"/> | ||
667 | <setEntry value="org.eclipse.jdt.compiler.apt@default:false"/> | ||
668 | <setEntry value="org.eclipse.jdt.compiler.tool@default:false"/> | ||
669 | <setEntry value="org.eclipse.jdt.core.manipulation@default:default"/> | ||
670 | <setEntry value="org.eclipse.jdt.core@default:default"/> | ||
671 | <setEntry value="org.eclipse.jdt.debug.ui@default:default"/> | ||
672 | <setEntry value="org.eclipse.jdt.debug@default:default"/> | ||
673 | <setEntry value="org.eclipse.jdt.doc.isv@default:default"/> | ||
674 | <setEntry value="org.eclipse.jdt.doc.user@default:default"/> | ||
675 | <setEntry value="org.eclipse.jdt.junit.core@default:default"/> | ||
676 | <setEntry value="org.eclipse.jdt.junit.runtime@default:default"/> | ||
677 | <setEntry value="org.eclipse.jdt.junit4.runtime@default:default"/> | ||
678 | <setEntry value="org.eclipse.jdt.junit5.runtime@default:default"/> | ||
679 | <setEntry value="org.eclipse.jdt.junit@default:default"/> | ||
680 | <setEntry value="org.eclipse.jdt.launching@default:default"/> | ||
681 | <setEntry value="org.eclipse.jdt.ui@default:default"/> | ||
682 | <setEntry value="org.eclipse.jdt@default:default"/> | ||
683 | <setEntry value="org.eclipse.jem.util@default:default"/> | ||
684 | <setEntry value="org.eclipse.jetty.continuation@default:default"/> | ||
685 | <setEntry value="org.eclipse.jetty.http@default:default"/> | ||
686 | <setEntry value="org.eclipse.jetty.io@default:default"/> | ||
687 | <setEntry value="org.eclipse.jetty.security@default:default"/> | ||
688 | <setEntry value="org.eclipse.jetty.server@default:default"/> | ||
689 | <setEntry value="org.eclipse.jetty.servlet@default:default"/> | ||
690 | <setEntry value="org.eclipse.jetty.util@default:default"/> | ||
691 | <setEntry value="org.eclipse.jface.databinding@default:default"/> | ||
692 | <setEntry value="org.eclipse.jface.text@default:default"/> | ||
693 | <setEntry value="org.eclipse.jface@default:default"/> | ||
694 | <setEntry value="org.eclipse.jgit.archive@default:default"/> | ||
695 | <setEntry value="org.eclipse.jgit.ssh.apache@default:default"/> | ||
696 | <setEntry value="org.eclipse.jgit@default:default"/> | ||
697 | <setEntry value="org.eclipse.jsch.core@default:default"/> | ||
698 | <setEntry value="org.eclipse.jsch.ui@default:default"/> | ||
699 | <setEntry value="org.eclipse.ltk.core.refactoring@default:default"/> | ||
700 | <setEntry value="org.eclipse.ltk.ui.refactoring@default:default"/> | ||
701 | <setEntry value="org.eclipse.m2e.archetype.common@default:default"/> | ||
702 | <setEntry value="org.eclipse.m2e.core.ui@default:default"/> | ||
703 | <setEntry value="org.eclipse.m2e.core@default:default"/> | ||
704 | <setEntry value="org.eclipse.m2e.launching@default:default"/> | ||
705 | <setEntry value="org.eclipse.m2e.maven.indexer@default:default"/> | ||
706 | <setEntry value="org.eclipse.m2e.maven.runtime.slf4j.simple@default:default"/> | ||
707 | <setEntry value="org.eclipse.m2e.maven.runtime@default:default"/> | ||
708 | <setEntry value="org.eclipse.m2e.model.edit@default:default"/> | ||
709 | <setEntry value="org.eclipse.m2e.workspace.cli@default:default"/> | ||
710 | <setEntry value="org.eclipse.m2m.qvt.oml.common@default:default"/> | ||
711 | <setEntry value="org.eclipse.m2m.qvt.oml.cst.parser@default:default"/> | ||
712 | <setEntry value="org.eclipse.m2m.qvt.oml.ecore.imperativeocl@default:default"/> | ||
713 | <setEntry value="org.eclipse.m2m.qvt.oml.emf.util@default:default"/> | ||
714 | <setEntry value="org.eclipse.m2m.qvt.oml@default:default"/> | ||
715 | <setEntry value="org.eclipse.mylyn.bugzilla.core@default:default"/> | ||
716 | <setEntry value="org.eclipse.mylyn.bugzilla.ide@default:default"/> | ||
717 | <setEntry value="org.eclipse.mylyn.bugzilla.ui@default:default"/> | ||
718 | <setEntry value="org.eclipse.mylyn.commons.core@default:default"/> | ||
719 | <setEntry value="org.eclipse.mylyn.commons.identity.core@default:default"/> | ||
720 | <setEntry value="org.eclipse.mylyn.commons.net@default:default"/> | ||
721 | <setEntry value="org.eclipse.mylyn.commons.notifications.core@default:default"/> | ||
722 | <setEntry value="org.eclipse.mylyn.commons.notifications.feed@default:default"/> | ||
723 | <setEntry value="org.eclipse.mylyn.commons.notifications.ui@default:default"/> | ||
724 | <setEntry value="org.eclipse.mylyn.commons.repositories.core@default:default"/> | ||
725 | <setEntry value="org.eclipse.mylyn.commons.repositories.ui@default:default"/> | ||
726 | <setEntry value="org.eclipse.mylyn.commons.screenshots@default:default"/> | ||
727 | <setEntry value="org.eclipse.mylyn.commons.ui@default:default"/> | ||
728 | <setEntry value="org.eclipse.mylyn.commons.workbench@default:default"/> | ||
729 | <setEntry value="org.eclipse.mylyn.commons.xmlrpc@default:default"/> | ||
730 | <setEntry value="org.eclipse.mylyn.context.core@default:default"/> | ||
731 | <setEntry value="org.eclipse.mylyn.context.tasks.ui@default:default"/> | ||
732 | <setEntry value="org.eclipse.mylyn.context.ui@default:default"/> | ||
733 | <setEntry value="org.eclipse.mylyn.debug.ui@default:default"/> | ||
734 | <setEntry value="org.eclipse.mylyn.discovery.core@default:default"/> | ||
735 | <setEntry value="org.eclipse.mylyn.discovery.ui@default:default"/> | ||
736 | <setEntry value="org.eclipse.mylyn.help.ui@default:default"/> | ||
737 | <setEntry value="org.eclipse.mylyn.ide.ant@default:default"/> | ||
738 | <setEntry value="org.eclipse.mylyn.ide.ui@default:default"/> | ||
739 | <setEntry value="org.eclipse.mylyn.java.tasks@default:default"/> | ||
740 | <setEntry value="org.eclipse.mylyn.java.ui@default:default"/> | ||
741 | <setEntry value="org.eclipse.mylyn.monitor.core@default:default"/> | ||
742 | <setEntry value="org.eclipse.mylyn.monitor.ui@default:default"/> | ||
743 | <setEntry value="org.eclipse.mylyn.pde.ui@default:default"/> | ||
744 | <setEntry value="org.eclipse.mylyn.resources.ui@default:default"/> | ||
745 | <setEntry value="org.eclipse.mylyn.tasks.bugs@default:default"/> | ||
746 | <setEntry value="org.eclipse.mylyn.tasks.core@default:default"/> | ||
747 | <setEntry value="org.eclipse.mylyn.tasks.index.core@default:default"/> | ||
748 | <setEntry value="org.eclipse.mylyn.tasks.index.ui@default:default"/> | ||
749 | <setEntry value="org.eclipse.mylyn.tasks.search@default:default"/> | ||
750 | <setEntry value="org.eclipse.mylyn.tasks.ui@default:default"/> | ||
751 | <setEntry value="org.eclipse.mylyn.team.ui@default:default"/> | ||
752 | <setEntry value="org.eclipse.mylyn.wikitext.ant@default:default"/> | ||
753 | <setEntry value="org.eclipse.mylyn.wikitext.asciidoc.ui@default:default"/> | ||
754 | <setEntry value="org.eclipse.mylyn.wikitext.asciidoc@default:default"/> | ||
755 | <setEntry value="org.eclipse.mylyn.wikitext.confluence.ui@default:default"/> | ||
756 | <setEntry value="org.eclipse.mylyn.wikitext.confluence@default:default"/> | ||
757 | <setEntry value="org.eclipse.mylyn.wikitext.context.ui@default:default"/> | ||
758 | <setEntry value="org.eclipse.mylyn.wikitext.help.ui@default:default"/> | ||
759 | <setEntry value="org.eclipse.mylyn.wikitext.html@default:default"/> | ||
760 | <setEntry value="org.eclipse.mylyn.wikitext.markdown.ui@default:default"/> | ||
761 | <setEntry value="org.eclipse.mylyn.wikitext.markdown@default:default"/> | ||
762 | <setEntry value="org.eclipse.mylyn.wikitext.mediawiki.ui@default:default"/> | ||
763 | <setEntry value="org.eclipse.mylyn.wikitext.mediawiki@default:default"/> | ||
764 | <setEntry value="org.eclipse.mylyn.wikitext.osgi@default:default"/> | ||
765 | <setEntry value="org.eclipse.mylyn.wikitext.tasks.ui@default:default"/> | ||
766 | <setEntry value="org.eclipse.mylyn.wikitext.textile.ui@default:default"/> | ||
767 | <setEntry value="org.eclipse.mylyn.wikitext.textile@default:default"/> | ||
768 | <setEntry value="org.eclipse.mylyn.wikitext.tracwiki.ui@default:default"/> | ||
769 | <setEntry value="org.eclipse.mylyn.wikitext.tracwiki@default:default"/> | ||
770 | <setEntry value="org.eclipse.mylyn.wikitext.twiki.ui@default:default"/> | ||
771 | <setEntry value="org.eclipse.mylyn.wikitext.twiki@default:default"/> | ||
772 | <setEntry value="org.eclipse.mylyn.wikitext.ui@default:default"/> | ||
773 | <setEntry value="org.eclipse.mylyn.wikitext@default:default"/> | ||
774 | <setEntry value="org.eclipse.nebula.widgets.tablecombo@default:default"/> | ||
775 | <setEntry value="org.eclipse.net4j.db.h2@default:default"/> | ||
776 | <setEntry value="org.eclipse.net4j.db.jdbc@default:default"/> | ||
777 | <setEntry value="org.eclipse.net4j.db@default:default"/> | ||
778 | <setEntry value="org.eclipse.net4j.debug@default:default"/> | ||
779 | <setEntry value="org.eclipse.net4j.examples.installer@default:default"/> | ||
780 | <setEntry value="org.eclipse.net4j.http.common@default:default"/> | ||
781 | <setEntry value="org.eclipse.net4j.http.server@default:default"/> | ||
782 | <setEntry value="org.eclipse.net4j.http@default:default"/> | ||
783 | <setEntry value="org.eclipse.net4j.jvm@default:default"/> | ||
784 | <setEntry value="org.eclipse.net4j.tcp@default:default"/> | ||
785 | <setEntry value="org.eclipse.net4j.ui.shared@default:default"/> | ||
786 | <setEntry value="org.eclipse.net4j.ui@default:default"/> | ||
787 | <setEntry value="org.eclipse.net4j.util.ui@default:default"/> | ||
788 | <setEntry value="org.eclipse.net4j.util@default:default"/> | ||
789 | <setEntry value="org.eclipse.net4j@default:default"/> | ||
790 | <setEntry value="org.eclipse.ocl.common.ui@default:default"/> | ||
791 | <setEntry value="org.eclipse.ocl.common@default:default"/> | ||
792 | <setEntry value="org.eclipse.ocl.doc@default:default"/> | ||
793 | <setEntry value="org.eclipse.ocl.ecore.edit@default:default"/> | ||
794 | <setEntry value="org.eclipse.ocl.ecore@default:default"/> | ||
795 | <setEntry value="org.eclipse.ocl.edit@default:default"/> | ||
796 | <setEntry value="org.eclipse.ocl.ui@default:default"/> | ||
797 | <setEntry value="org.eclipse.ocl.uml.edit@default:default"/> | ||
798 | <setEntry value="org.eclipse.ocl.uml.ui@default:default"/> | ||
799 | <setEntry value="org.eclipse.ocl.uml@default:default"/> | ||
800 | <setEntry value="org.eclipse.ocl@default:default"/> | ||
801 | <setEntry value="org.eclipse.oomph.base.edit@default:default"/> | ||
802 | <setEntry value="org.eclipse.oomph.base@default:default"/> | ||
803 | <setEntry value="org.eclipse.oomph.extractor.lib@default:default"/> | ||
804 | <setEntry value="org.eclipse.oomph.jreinfo.ui@default:default"/> | ||
805 | <setEntry value="org.eclipse.oomph.jreinfo@default:default"/> | ||
806 | <setEntry value="org.eclipse.oomph.p2.core@default:default"/> | ||
807 | <setEntry value="org.eclipse.oomph.p2.doc@default:default"/> | ||
808 | <setEntry value="org.eclipse.oomph.p2.edit@default:default"/> | ||
809 | <setEntry value="org.eclipse.oomph.p2.ui@default:default"/> | ||
810 | <setEntry value="org.eclipse.oomph.p2@default:default"/> | ||
811 | <setEntry value="org.eclipse.oomph.predicates.edit@default:default"/> | ||
812 | <setEntry value="org.eclipse.oomph.predicates@default:default"/> | ||
813 | <setEntry value="org.eclipse.oomph.preferences@default:default"/> | ||
814 | <setEntry value="org.eclipse.oomph.resources.edit@default:default"/> | ||
815 | <setEntry value="org.eclipse.oomph.resources@default:default"/> | ||
816 | <setEntry value="org.eclipse.oomph.setup.core@default:default"/> | ||
817 | <setEntry value="org.eclipse.oomph.setup.doc@default:default"/> | ||
818 | <setEntry value="org.eclipse.oomph.setup.edit@default:default"/> | ||
819 | <setEntry value="org.eclipse.oomph.setup.editor@default:default"/> | ||
820 | <setEntry value="org.eclipse.oomph.setup.p2.edit@default:default"/> | ||
821 | <setEntry value="org.eclipse.oomph.setup.p2@default:default"/> | ||
822 | <setEntry value="org.eclipse.oomph.setup.sync@default:default"/> | ||
823 | <setEntry value="org.eclipse.oomph.setup.ui.questionnaire@default:default"/> | ||
824 | <setEntry value="org.eclipse.oomph.setup.ui@default:default"/> | ||
825 | <setEntry value="org.eclipse.oomph.setup@default:default"/> | ||
826 | <setEntry value="org.eclipse.oomph.ui@default:default"/> | ||
827 | <setEntry value="org.eclipse.oomph.util@default:default"/> | ||
828 | <setEntry value="org.eclipse.oomph.workingsets.edit@default:default"/> | ||
829 | <setEntry value="org.eclipse.oomph.workingsets.editor@default:default"/> | ||
830 | <setEntry value="org.eclipse.oomph.workingsets@default:default"/> | ||
831 | <setEntry value="org.eclipse.osgi.compatibility.state@default:false"/> | ||
832 | <setEntry value="org.eclipse.osgi.services@default:default"/> | ||
833 | <setEntry value="org.eclipse.osgi.util@default:default"/> | ||
834 | <setEntry value="org.eclipse.osgi@-1:true"/> | ||
835 | <setEntry value="org.eclipse.papyrus.infra.gmfdiag.tooling.runtime@default:default"/> | ||
836 | <setEntry value="org.eclipse.pde.api.tools.annotations@default:default"/> | ||
837 | <setEntry value="org.eclipse.pde.api.tools.ui@default:default"/> | ||
838 | <setEntry value="org.eclipse.pde.api.tools@default:default"/> | ||
839 | <setEntry value="org.eclipse.pde.build@default:default"/> | ||
840 | <setEntry value="org.eclipse.pde.core@default:default"/> | ||
841 | <setEntry value="org.eclipse.pde.doc.user@default:default"/> | ||
842 | <setEntry value="org.eclipse.pde.ds.annotations@default:default"/> | ||
843 | <setEntry value="org.eclipse.pde.ds.core@default:default"/> | ||
844 | <setEntry value="org.eclipse.pde.ds.lib@default:default"/> | ||
845 | <setEntry value="org.eclipse.pde.ds.ui@default:default"/> | ||
846 | <setEntry value="org.eclipse.pde.ds1_2.lib@default:default"/> | ||
847 | <setEntry value="org.eclipse.pde.genericeditor.extension@default:default"/> | ||
848 | <setEntry value="org.eclipse.pde.junit.runtime@default:default"/> | ||
849 | <setEntry value="org.eclipse.pde.launching@default:default"/> | ||
850 | <setEntry value="org.eclipse.pde.runtime@default:default"/> | ||
851 | <setEntry value="org.eclipse.pde.ua.core@default:default"/> | ||
852 | <setEntry value="org.eclipse.pde.ua.ui@default:default"/> | ||
853 | <setEntry value="org.eclipse.pde.ui.templates@default:default"/> | ||
854 | <setEntry value="org.eclipse.pde.ui@default:default"/> | ||
855 | <setEntry value="org.eclipse.pde@default:default"/> | ||
856 | <setEntry value="org.eclipse.platform.doc.isv@default:default"/> | ||
857 | <setEntry value="org.eclipse.platform.doc.user@default:default"/> | ||
858 | <setEntry value="org.eclipse.platform@default:default"/> | ||
859 | <setEntry value="org.eclipse.rcp@default:default"/> | ||
860 | <setEntry value="org.eclipse.sdk@default:default"/> | ||
861 | <setEntry value="org.eclipse.search@default:default"/> | ||
862 | <setEntry value="org.eclipse.sirius.common.acceleo.aql@default:default"/> | ||
863 | <setEntry value="org.eclipse.sirius.common.interpreter@default:default"/> | ||
864 | <setEntry value="org.eclipse.sirius.common.ui.ext@default:default"/> | ||
865 | <setEntry value="org.eclipse.sirius.common.ui@default:default"/> | ||
866 | <setEntry value="org.eclipse.sirius.common.xtext@default:default"/> | ||
867 | <setEntry value="org.eclipse.sirius.common@default:default"/> | ||
868 | <setEntry value="org.eclipse.sirius.diagram.formatdata@default:default"/> | ||
869 | <setEntry value="org.eclipse.sirius.diagram.layoutdata@default:default"/> | ||
870 | <setEntry value="org.eclipse.sirius.diagram.sequence.edit@default:default"/> | ||
871 | <setEntry value="org.eclipse.sirius.diagram.sequence.ui@default:default"/> | ||
872 | <setEntry value="org.eclipse.sirius.diagram.sequence@default:default"/> | ||
873 | <setEntry value="org.eclipse.sirius.diagram.ui.ext@default:default"/> | ||
874 | <setEntry value="org.eclipse.sirius.diagram.ui@default:default"/> | ||
875 | <setEntry value="org.eclipse.sirius.diagram@default:default"/> | ||
876 | <setEntry value="org.eclipse.sirius.ecore.extender@default:default"/> | ||
877 | <setEntry value="org.eclipse.sirius.editor.properties.ext.widgets.reference@default:default"/> | ||
878 | <setEntry value="org.eclipse.sirius.editor.properties@default:default"/> | ||
879 | <setEntry value="org.eclipse.sirius.editor@default:default"/> | ||
880 | <setEntry value="org.eclipse.sirius.ext.base@default:default"/> | ||
881 | <setEntry value="org.eclipse.sirius.ext.draw2d@default:default"/> | ||
882 | <setEntry value="org.eclipse.sirius.ext.e3.ui@default:default"/> | ||
883 | <setEntry value="org.eclipse.sirius.ext.e3@default:default"/> | ||
884 | <setEntry value="org.eclipse.sirius.ext.emf.edit@default:default"/> | ||
885 | <setEntry value="org.eclipse.sirius.ext.emf.tx@default:default"/> | ||
886 | <setEntry value="org.eclipse.sirius.ext.emf.ui@default:default"/> | ||
887 | <setEntry value="org.eclipse.sirius.ext.emf@default:default"/> | ||
888 | <setEntry value="org.eclipse.sirius.ext.gef@default:default"/> | ||
889 | <setEntry value="org.eclipse.sirius.ext.gmf.notation@default:default"/> | ||
890 | <setEntry value="org.eclipse.sirius.ext.gmf.runtime@default:default"/> | ||
891 | <setEntry value="org.eclipse.sirius.ext.ide@default:default"/> | ||
892 | <setEntry value="org.eclipse.sirius.ext.jface@default:default"/> | ||
893 | <setEntry value="org.eclipse.sirius.ext.swt@default:default"/> | ||
894 | <setEntry value="org.eclipse.sirius.interpreter@default:default"/> | ||
895 | <setEntry value="org.eclipse.sirius.properties.core@default:default"/> | ||
896 | <setEntry value="org.eclipse.sirius.properties.defaultrules@default:default"/> | ||
897 | <setEntry value="org.eclipse.sirius.properties.edit@default:default"/> | ||
898 | <setEntry value="org.eclipse.sirius.properties.ext.widgets.reference.edit@default:default"/> | ||
899 | <setEntry value="org.eclipse.sirius.properties.ext.widgets.reference@default:default"/> | ||
900 | <setEntry value="org.eclipse.sirius.properties@default:default"/> | ||
901 | <setEntry value="org.eclipse.sirius.synchronizer@default:default"/> | ||
902 | <setEntry value="org.eclipse.sirius.table.ui.ext@default:default"/> | ||
903 | <setEntry value="org.eclipse.sirius.table.ui@default:default"/> | ||
904 | <setEntry value="org.eclipse.sirius.table@default:default"/> | ||
905 | <setEntry value="org.eclipse.sirius.tree.ui.ext@default:default"/> | ||
906 | <setEntry value="org.eclipse.sirius.tree.ui@default:default"/> | ||
907 | <setEntry value="org.eclipse.sirius.tree@default:default"/> | ||
908 | <setEntry value="org.eclipse.sirius.ui.editor@default:default"/> | ||
909 | <setEntry value="org.eclipse.sirius.ui.ext@default:default"/> | ||
910 | <setEntry value="org.eclipse.sirius.ui.properties.ext.widgets.reference@default:default"/> | ||
911 | <setEntry value="org.eclipse.sirius.ui.properties@default:default"/> | ||
912 | <setEntry value="org.eclipse.sirius.ui@default:default"/> | ||
913 | <setEntry value="org.eclipse.sirius@default:default"/> | ||
914 | <setEntry value="org.eclipse.swt.gtk.linux.x86_64@default:false"/> | ||
915 | <setEntry value="org.eclipse.swt@default:default"/> | ||
916 | <setEntry value="org.eclipse.team.core@default:default"/> | ||
917 | <setEntry value="org.eclipse.team.genericeditor.diff.extension@default:default"/> | ||
918 | <setEntry value="org.eclipse.team.ui@default:default"/> | ||
919 | <setEntry value="org.eclipse.text@default:default"/> | ||
920 | <setEntry value="org.eclipse.tips.core@default:default"/> | ||
921 | <setEntry value="org.eclipse.tips.ide@default:default"/> | ||
922 | <setEntry value="org.eclipse.tips.json@default:default"/> | ||
923 | <setEntry value="org.eclipse.tips.ui@default:default"/> | ||
924 | <setEntry value="org.eclipse.tools.layout.spy@default:default"/> | ||
925 | <setEntry value="org.eclipse.ui.browser@default:default"/> | ||
926 | <setEntry value="org.eclipse.ui.cheatsheets@default:default"/> | ||
927 | <setEntry value="org.eclipse.ui.console@default:default"/> | ||
928 | <setEntry value="org.eclipse.ui.editors@default:default"/> | ||
929 | <setEntry value="org.eclipse.ui.externaltools@default:default"/> | ||
930 | <setEntry value="org.eclipse.ui.forms@default:default"/> | ||
931 | <setEntry value="org.eclipse.ui.genericeditor@default:default"/> | ||
932 | <setEntry value="org.eclipse.ui.ide.application@default:default"/> | ||
933 | <setEntry value="org.eclipse.ui.ide@default:default"/> | ||
934 | <setEntry value="org.eclipse.ui.intro.quicklinks@default:default"/> | ||
935 | <setEntry value="org.eclipse.ui.intro.universal@default:default"/> | ||
936 | <setEntry value="org.eclipse.ui.intro@default:default"/> | ||
937 | <setEntry value="org.eclipse.ui.monitoring@default:default"/> | ||
938 | <setEntry value="org.eclipse.ui.navigator.resources@default:default"/> | ||
939 | <setEntry value="org.eclipse.ui.navigator@default:default"/> | ||
940 | <setEntry value="org.eclipse.ui.net@default:default"/> | ||
941 | <setEntry value="org.eclipse.ui.themes@default:default"/> | ||
942 | <setEntry value="org.eclipse.ui.trace@default:default"/> | ||
943 | <setEntry value="org.eclipse.ui.views.log@default:default"/> | ||
944 | <setEntry value="org.eclipse.ui.views.properties.tabbed@default:default"/> | ||
945 | <setEntry value="org.eclipse.ui.views@default:default"/> | ||
946 | <setEntry value="org.eclipse.ui.workbench.texteditor@default:default"/> | ||
947 | <setEntry value="org.eclipse.ui.workbench@default:default"/> | ||
948 | <setEntry value="org.eclipse.ui@default:default"/> | ||
949 | <setEntry value="org.eclipse.uml2.ant@default:default"/> | ||
950 | <setEntry value="org.eclipse.uml2.codegen.ecore.ui@default:default"/> | ||
951 | <setEntry value="org.eclipse.uml2.codegen.ecore@default:default"/> | ||
952 | <setEntry value="org.eclipse.uml2.common.edit@default:default"/> | ||
953 | <setEntry value="org.eclipse.uml2.common@default:default"/> | ||
954 | <setEntry value="org.eclipse.uml2.doc@default:default"/> | ||
955 | <setEntry value="org.eclipse.uml2.examples.uml.ui@default:default"/> | ||
956 | <setEntry value="org.eclipse.uml2.examples@default:default"/> | ||
957 | <setEntry value="org.eclipse.uml2.types@default:default"/> | ||
958 | <setEntry value="org.eclipse.uml2.uml.ecore.exporter@default:default"/> | ||
959 | <setEntry value="org.eclipse.uml2.uml.ecore.importer@default:default"/> | ||
960 | <setEntry value="org.eclipse.uml2.uml.edit@default:default"/> | ||
961 | <setEntry value="org.eclipse.uml2.uml.editor@default:default"/> | ||
962 | <setEntry value="org.eclipse.uml2.uml.profile.standard@default:default"/> | ||
963 | <setEntry value="org.eclipse.uml2.uml.resources@default:default"/> | ||
964 | <setEntry value="org.eclipse.uml2.uml.validation@default:default"/> | ||
965 | <setEntry value="org.eclipse.uml2.uml@default:default"/> | ||
966 | <setEntry value="org.eclipse.uml2@default:default"/> | ||
967 | <setEntry value="org.eclipse.update.configurator@3:true"/> | ||
968 | <setEntry value="org.eclipse.urischeme@default:default"/> | ||
969 | <setEntry value="org.eclipse.userstorage.oauth@default:default"/> | ||
970 | <setEntry value="org.eclipse.userstorage.ui@default:default"/> | ||
971 | <setEntry value="org.eclipse.userstorage@default:default"/> | ||
972 | <setEntry value="org.eclipse.viatra.addon.databinding.runtime.validation@default:false"/> | ||
973 | <setEntry value="org.eclipse.viatra.addon.databinding.runtime@default:default"/> | ||
974 | <setEntry value="org.eclipse.viatra.addon.querybasedfeatures.runtime.validation@default:false"/> | ||
975 | <setEntry value="org.eclipse.viatra.addon.querybasedfeatures.runtime@default:default"/> | ||
976 | <setEntry value="org.eclipse.viatra.addon.querybasedfeatures.tooling@default:default"/> | ||
977 | <setEntry value="org.eclipse.viatra.addon.validation.core@default:default"/> | ||
978 | <setEntry value="org.eclipse.viatra.addon.validation.runtime.ui@default:default"/> | ||
979 | <setEntry value="org.eclipse.viatra.addon.validation.runtime.validation@default:false"/> | ||
980 | <setEntry value="org.eclipse.viatra.addon.validation.runtime@default:default"/> | ||
981 | <setEntry value="org.eclipse.viatra.addon.validation.tooling@default:default"/> | ||
982 | <setEntry value="org.eclipse.viatra.addon.viewers.runtime.validation@default:false"/> | ||
983 | <setEntry value="org.eclipse.viatra.addon.viewers.runtime.zest@default:default"/> | ||
984 | <setEntry value="org.eclipse.viatra.addon.viewers.runtime@default:default"/> | ||
985 | <setEntry value="org.eclipse.viatra.addon.viewers.tooling.ui.zest@default:default"/> | ||
986 | <setEntry value="org.eclipse.viatra.addon.viewers.tooling.ui@default:default"/> | ||
987 | <setEntry value="org.eclipse.viatra.documentation.help@default:default"/> | ||
988 | <setEntry value="org.eclipse.viatra.dse.genetic@default:default"/> | ||
989 | <setEntry value="org.eclipse.viatra.dse@default:default"/> | ||
990 | <setEntry value="org.eclipse.viatra.integration.zest@default:default"/> | ||
991 | <setEntry value="org.eclipse.viatra.query.patternlanguage.emf.ide@default:default"/> | ||
992 | <setEntry value="org.eclipse.viatra.query.patternlanguage.emf.ui@default:default"/> | ||
993 | <setEntry value="org.eclipse.viatra.query.patternlanguage.emf@default:default"/> | ||
994 | <setEntry value="org.eclipse.viatra.query.runtime.base.itc@default:default"/> | ||
995 | <setEntry value="org.eclipse.viatra.query.runtime.base@default:default"/> | ||
996 | <setEntry value="org.eclipse.viatra.query.runtime.localsearch@default:default"/> | ||
997 | <setEntry value="org.eclipse.viatra.query.runtime.matchers@default:default"/> | ||
998 | <setEntry value="org.eclipse.viatra.query.runtime.rete.recipes@default:default"/> | ||
999 | <setEntry value="org.eclipse.viatra.query.runtime.rete@default:default"/> | ||
1000 | <setEntry value="org.eclipse.viatra.query.runtime.ui@default:default"/> | ||
1001 | <setEntry value="org.eclipse.viatra.query.runtime@default:default"/> | ||
1002 | <setEntry value="org.eclipse.viatra.query.testing.core@default:default"/> | ||
1003 | <setEntry value="org.eclipse.viatra.query.testing.snapshot@default:default"/> | ||
1004 | <setEntry value="org.eclipse.viatra.query.testing.ui@default:default"/> | ||
1005 | <setEntry value="org.eclipse.viatra.query.tooling.core@default:default"/> | ||
1006 | <setEntry value="org.eclipse.viatra.query.tooling.debug@default:default"/> | ||
1007 | <setEntry value="org.eclipse.viatra.query.tooling.generator.model.ui@default:default"/> | ||
1008 | <setEntry value="org.eclipse.viatra.query.tooling.generator.model@default:default"/> | ||
1009 | <setEntry value="org.eclipse.viatra.query.tooling.localsearch.ui@default:default"/> | ||
1010 | <setEntry value="org.eclipse.viatra.query.tooling.ui.retevis@default:default"/> | ||
1011 | <setEntry value="org.eclipse.viatra.query.tooling.ui@default:default"/> | ||
1012 | <setEntry value="org.eclipse.viatra.transformation.evm.transactions@default:default"/> | ||
1013 | <setEntry value="org.eclipse.viatra.transformation.evm@default:default"/> | ||
1014 | <setEntry value="org.eclipse.viatra.transformation.runtime.debug@default:default"/> | ||
1015 | <setEntry value="org.eclipse.viatra.transformation.runtime.emf@default:default"/> | ||
1016 | <setEntry value="org.eclipse.viatra.transformation.runtime.tracer@default:default"/> | ||
1017 | <setEntry value="org.eclipse.viatra.transformation.runtime.transformationtrace@default:default"/> | ||
1018 | <setEntry value="org.eclipse.viatra.transformation.tooling.debug.ui@default:default"/> | ||
1019 | <setEntry value="org.eclipse.viatra.transformation.tooling.debug@default:default"/> | ||
1020 | <setEntry value="org.eclipse.viatra.transformation.ui@default:default"/> | ||
1021 | <setEntry value="org.eclipse.viatra.transformation.views@default:default"/> | ||
1022 | <setEntry value="org.eclipse.wst.common.core@default:default"/> | ||
1023 | <setEntry value="org.eclipse.wst.common.emf@default:default"/> | ||
1024 | <setEntry value="org.eclipse.wst.common.environment@default:default"/> | ||
1025 | <setEntry value="org.eclipse.wst.common.frameworks@default:default"/> | ||
1026 | <setEntry value="org.eclipse.wst.common.project.facet.core@default:default"/> | ||
1027 | <setEntry value="org.eclipse.wst.common.uriresolver@default:default"/> | ||
1028 | <setEntry value="org.eclipse.wst.sse.core@default:default"/> | ||
1029 | <setEntry value="org.eclipse.wst.validation@default:default"/> | ||
1030 | <setEntry value="org.eclipse.wst.xml.core@default:default"/> | ||
1031 | <setEntry value="org.eclipse.wst.xsd.core@default:default"/> | ||
1032 | <setEntry value="org.eclipse.xpand@default:default"/> | ||
1033 | <setEntry value="org.eclipse.xsd.cheatsheets@default:default"/> | ||
1034 | <setEntry value="org.eclipse.xsd.doc@default:default"/> | ||
1035 | <setEntry value="org.eclipse.xsd.ecore.converter@default:default"/> | ||
1036 | <setEntry value="org.eclipse.xsd.ecore.exporter@default:default"/> | ||
1037 | <setEntry value="org.eclipse.xsd.ecore.importer@default:default"/> | ||
1038 | <setEntry value="org.eclipse.xsd.edit@default:default"/> | ||
1039 | <setEntry value="org.eclipse.xsd.editor@default:default"/> | ||
1040 | <setEntry value="org.eclipse.xsd.example.installer@default:default"/> | ||
1041 | <setEntry value="org.eclipse.xsd.mapping.editor@default:default"/> | ||
1042 | <setEntry value="org.eclipse.xsd.mapping@default:default"/> | ||
1043 | <setEntry value="org.eclipse.xsd@default:default"/> | ||
1044 | <setEntry value="org.eclipse.xtend.core@default:default"/> | ||
1045 | <setEntry value="org.eclipse.xtend.doc@default:default"/> | ||
1046 | <setEntry value="org.eclipse.xtend.examples@default:default"/> | ||
1047 | <setEntry value="org.eclipse.xtend.ide.common@default:default"/> | ||
1048 | <setEntry value="org.eclipse.xtend.ide@default:default"/> | ||
1049 | <setEntry value="org.eclipse.xtend.lib.macro@default:default"/> | ||
1050 | <setEntry value="org.eclipse.xtend.lib@default:default"/> | ||
1051 | <setEntry value="org.eclipse.xtend.m2e@default:default"/> | ||
1052 | <setEntry value="org.eclipse.xtend.standalone@default:default"/> | ||
1053 | <setEntry value="org.eclipse.xtend.typesystem.emf@default:default"/> | ||
1054 | <setEntry value="org.eclipse.xtend@default:default"/> | ||
1055 | <setEntry value="org.eclipse.xtext.activities@default:default"/> | ||
1056 | <setEntry value="org.eclipse.xtext.builder.standalone@default:default"/> | ||
1057 | <setEntry value="org.eclipse.xtext.builder@default:default"/> | ||
1058 | <setEntry value="org.eclipse.xtext.common.types.edit@default:default"/> | ||
1059 | <setEntry value="org.eclipse.xtext.common.types.shared.jdt38@default:false"/> | ||
1060 | <setEntry value="org.eclipse.xtext.common.types.shared@default:default"/> | ||
1061 | <setEntry value="org.eclipse.xtext.common.types.ui@default:default"/> | ||
1062 | <setEntry value="org.eclipse.xtext.common.types@default:default"/> | ||
1063 | <setEntry value="org.eclipse.xtext.doc@default:default"/> | ||
1064 | <setEntry value="org.eclipse.xtext.ecore@default:default"/> | ||
1065 | <setEntry value="org.eclipse.xtext.generator@default:default"/> | ||
1066 | <setEntry value="org.eclipse.xtext.ide@default:default"/> | ||
1067 | <setEntry value="org.eclipse.xtext.idea.generator@default:default"/> | ||
1068 | <setEntry value="org.eclipse.xtext.java@default:default"/> | ||
1069 | <setEntry value="org.eclipse.xtext.junit4@default:default"/> | ||
1070 | <setEntry value="org.eclipse.xtext.logging@default:false"/> | ||
1071 | <setEntry value="org.eclipse.xtext.m2e@default:default"/> | ||
1072 | <setEntry value="org.eclipse.xtext.purexbase.ide@default:default"/> | ||
1073 | <setEntry value="org.eclipse.xtext.purexbase.ui@default:default"/> | ||
1074 | <setEntry value="org.eclipse.xtext.purexbase@default:default"/> | ||
1075 | <setEntry value="org.eclipse.xtext.smap@default:default"/> | ||
1076 | <setEntry value="org.eclipse.xtext.testing@default:default"/> | ||
1077 | <setEntry value="org.eclipse.xtext.ui.codemining@default:default"/> | ||
1078 | <setEntry value="org.eclipse.xtext.ui.codetemplates.ide@default:default"/> | ||
1079 | <setEntry value="org.eclipse.xtext.ui.codetemplates.ui@default:default"/> | ||
1080 | <setEntry value="org.eclipse.xtext.ui.codetemplates@default:default"/> | ||
1081 | <setEntry value="org.eclipse.xtext.ui.ecore@default:default"/> | ||
1082 | <setEntry value="org.eclipse.xtext.ui.shared@default:default"/> | ||
1083 | <setEntry value="org.eclipse.xtext.ui.testing@default:default"/> | ||
1084 | <setEntry value="org.eclipse.xtext.ui@default:default"/> | ||
1085 | <setEntry value="org.eclipse.xtext.util@default:default"/> | ||
1086 | <setEntry value="org.eclipse.xtext.xbase.ide@default:default"/> | ||
1087 | <setEntry value="org.eclipse.xtext.xbase.junit@default:default"/> | ||
1088 | <setEntry value="org.eclipse.xtext.xbase.lib@default:default"/> | ||
1089 | <setEntry value="org.eclipse.xtext.xbase.testing@default:default"/> | ||
1090 | <setEntry value="org.eclipse.xtext.xbase.ui.testing@default:default"/> | ||
1091 | <setEntry value="org.eclipse.xtext.xbase.ui@default:default"/> | ||
1092 | <setEntry value="org.eclipse.xtext.xbase@default:default"/> | ||
1093 | <setEntry value="org.eclipse.xtext.xtext.generator@default:default"/> | ||
1094 | <setEntry value="org.eclipse.xtext.xtext.ide@default:default"/> | ||
1095 | <setEntry value="org.eclipse.xtext.xtext.ui.examples@default:default"/> | ||
1096 | <setEntry value="org.eclipse.xtext.xtext.ui.graph@default:default"/> | ||
1097 | <setEntry value="org.eclipse.xtext.xtext.ui@default:default"/> | ||
1098 | <setEntry value="org.eclipse.xtext.xtext.wizard@default:default"/> | ||
1099 | <setEntry value="org.eclipse.xtext@default:default"/> | ||
1100 | <setEntry value="org.h2@default:default"/> | ||
1101 | <setEntry value="org.hamcrest.core@default:default"/> | ||
1102 | <setEntry value="org.jfree.jcommon@default:default"/> | ||
1103 | <setEntry value="org.jsoup@default:default"/> | ||
1104 | <setEntry value="org.junit.jupiter.api@default:default"/> | ||
1105 | <setEntry value="org.junit.jupiter.engine@default:default"/> | ||
1106 | <setEntry value="org.junit.jupiter.migrationsupport@default:default"/> | ||
1107 | <setEntry value="org.junit.jupiter.params@default:default"/> | ||
1108 | <setEntry value="org.junit.platform.commons@default:default"/> | ||
1109 | <setEntry value="org.junit.platform.engine@default:default"/> | ||
1110 | <setEntry value="org.junit.platform.launcher@default:default"/> | ||
1111 | <setEntry value="org.junit.platform.runner@default:default"/> | ||
1112 | <setEntry value="org.junit.platform.suite.api@default:default"/> | ||
1113 | <setEntry value="org.junit.vintage.engine@default:default"/> | ||
1114 | <setEntry value="org.junit@default:default"/> | ||
1115 | <setEntry value="org.moeaframework@default:default"/> | ||
1116 | <setEntry value="org.objectweb.asm.tree@default:default"/> | ||
1117 | <setEntry value="org.objectweb.asm@default:default"/> | ||
1118 | <setEntry value="org.opentest4j@default:default"/> | ||
1119 | <setEntry value="org.sat4j.core@default:default"/> | ||
1120 | <setEntry value="org.sat4j.pb@default:default"/> | ||
1121 | <setEntry value="org.sidiff.common.emf.extensions@default:default"/> | ||
1122 | <setEntry value="org.sidiff.common.emf@default:default"/> | ||
1123 | <setEntry value="org.sidiff.common.henshin@default:default"/> | ||
1124 | <setEntry value="org.sidiff.common@default:default"/> | ||
1125 | <setEntry value="org.sidiff.serge@default:default"/> | ||
1126 | <setEntry value="org.silift.common.util@default:default"/> | ||
1127 | <setEntry value="org.slf4j.api@default:default"/> | ||
1128 | <setEntry value="org.slf4j.impl.log4j12@default:false"/> | ||
1129 | <setEntry value="org.tukaani.xz@default:default"/> | ||
1130 | <setEntry value="org.w3c.css.sac@default:default"/> | ||
1131 | <setEntry value="org.w3c.dom.events@default:default"/> | ||
1132 | <setEntry value="org.w3c.dom.smil@default:default"/> | ||
1133 | <setEntry value="org.w3c.dom.svg@default:default"/> | ||
1134 | <setEntry value="uk.ac.kcl.inf.mdeoptimiser.interfaces.cli@default:default"/> | ||
1135 | <setEntry value="uk.ac.kcl.inf.mdeoptimiser.interfaces.eclipse.ui@default:default"/> | ||
1136 | <setEntry value="uk.ac.kcl.inf.mdeoptimiser.languages.mopt.xtext@default:default"/> | ||
1137 | <setEntry value="uk.ac.kcl.inf.mdeoptimiser.libraries.core@default:default"/> | ||
1138 | <setEntry value="uk.ac.kcl.inf.mdeoptimiser.libraries.rulegen@default:default"/> | ||
1139 | </setAttribute> | ||
1140 | <setAttribute key="selected_workspace_bundles"> | ||
1141 | <setEntry value="com.microsoft.z3@default:true"/> | ||
1142 | <setEntry value="hu.bme.mit.inf.dlsreasoner.alloy.reasoner@default:default"/> | ||
1143 | <setEntry value="hu.bme.mit.inf.dslreasoner.alloy.language.ui@default:default"/> | ||
1144 | <setEntry value="hu.bme.mit.inf.dslreasoner.alloy.language@default:default"/> | ||
1145 | <setEntry value="hu.bme.mit.inf.dslreasoner.application.ide@default:default"/> | ||
1146 | <setEntry value="hu.bme.mit.inf.dslreasoner.application.ui@default:default"/> | ||
1147 | <setEntry value="hu.bme.mit.inf.dslreasoner.application@default:default"/> | ||
1148 | <setEntry value="hu.bme.mit.inf.dslreasoner.domains.cps.validation@default:default"/> | ||
1149 | <setEntry value="hu.bme.mit.inf.dslreasoner.domains.cps@default:default"/> | ||
1150 | <setEntry value="hu.bme.mit.inf.dslreasoner.domains.satellite.validation@default:default"/> | ||
1151 | <setEntry value="hu.bme.mit.inf.dslreasoner.domains.satellite@default:default"/> | ||
1152 | <setEntry value="hu.bme.mit.inf.dslreasoner.ecore2logic@default:default"/> | ||
1153 | <setEntry value="hu.bme.mit.inf.dslreasoner.faulttree.components.ide@default:default"/> | ||
1154 | <setEntry value="hu.bme.mit.inf.dslreasoner.faulttree.components.ui@default:default"/> | ||
1155 | <setEntry value="hu.bme.mit.inf.dslreasoner.faulttree.components@default:default"/> | ||
1156 | <setEntry value="hu.bme.mit.inf.dslreasoner.faulttree.model@default:default"/> | ||
1157 | <setEntry value="hu.bme.mit.inf.dslreasoner.faulttree.transformation@default:default"/> | ||
1158 | <setEntry value="hu.bme.mit.inf.dslreasoner.faulttree.ui@default:default"/> | ||
1159 | <setEntry value="hu.bme.mit.inf.dslreasoner.logic.model.validation@default:default"/> | ||
1160 | <setEntry value="hu.bme.mit.inf.dslreasoner.logic.model@default:default"/> | ||
1161 | <setEntry value="hu.bme.mit.inf.dslreasoner.logic2ecore@default:default"/> | ||
1162 | <setEntry value="hu.bme.mit.inf.dslreasoner.smt.language.ui@default:default"/> | ||
1163 | <setEntry value="hu.bme.mit.inf.dslreasoner.smt.language@default:default"/> | ||
1164 | <setEntry value="hu.bme.mit.inf.dslreasoner.smt.reasoner@default:default"/> | ||
1165 | <setEntry value="hu.bme.mit.inf.dslreasoner.viatra2logic@default:default"/> | ||
1166 | <setEntry value="hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests@default:default"/> | ||
1167 | <setEntry value="hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatraquery@default:default"/> | ||
1168 | <setEntry value="hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage@default:default"/> | ||
1169 | <setEntry value="hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner@default:default"/> | ||
1170 | <setEntry value="hu.bme.mit.inf.dslreasoner.visualisation@default:default"/> | ||
1171 | </setAttribute> | ||
30 | <booleanAttribute key="show_selected_only" value="false"/> | 1172 | <booleanAttribute key="show_selected_only" value="false"/> |
31 | <booleanAttribute key="tracing" value="false"/> | 1173 | <booleanAttribute key="tracing" value="false"/> |
32 | <booleanAttribute key="useCustomFeatures" value="false"/> | 1174 | <booleanAttribute key="useCustomFeatures" value="false"/> |
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticHighlightCalculator.xtendbin b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticHighlightCalculator.xtendbin index 49fafab3..0ccad2d7 100644 --- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticHighlightCalculator.xtendbin +++ b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticHighlightCalculator.xtendbin | |||
Binary files differ | |||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticTextAttributeProvider.xtendbin b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticTextAttributeProvider.xtendbin index 968ecef8..55a1bdd4 100644 --- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticTextAttributeProvider.xtendbin +++ b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticTextAttributeProvider.xtendbin | |||
Binary files differ | |||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.SolverLanguageValidator.xtendbin b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.SolverLanguageValidator.xtendbin index afb2c8de..1d870094 100644 --- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.SolverLanguageValidator.xtendbin +++ b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.SolverLanguageValidator.xtendbin | |||
Binary files differ | |||
diff --git a/Application/org.eclipse.viatra.solver.language/.launch/Launch Runtime Eclipse.launch b/Application/org.eclipse.viatra.solver.language/.launch/Launch Runtime Eclipse.launch index 1e189f24..d9fb69f1 100644 --- a/Application/org.eclipse.viatra.solver.language/.launch/Launch Runtime Eclipse.launch +++ b/Application/org.eclipse.viatra.solver.language/.launch/Launch Runtime Eclipse.launch | |||
@@ -1,35 +1,38 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8" standalone="no"?> | 1 | <?xml version="1.0" encoding="UTF-8" standalone="no"?> |
2 | <launchConfiguration type="org.eclipse.pde.ui.RuntimeWorkbench"> | 2 | <launchConfiguration type="org.eclipse.pde.ui.RuntimeWorkbench"> |
3 | <booleanAttribute key="append.args" value="true"/> | 3 | <booleanAttribute key="append.args" value="true"/> |
4 | <booleanAttribute key="askclear" value="true"/> | 4 | <booleanAttribute key="askclear" value="true"/> |
5 | <booleanAttribute key="automaticAdd" value="true"/> | 5 | <booleanAttribute key="automaticAdd" value="true"/> |
6 | <booleanAttribute key="automaticValidate" value="false"/> | 6 | <booleanAttribute key="automaticValidate" value="false"/> |
7 | <stringAttribute key="bad_container_name" value="/org.eclipse.viatra.solver.language/.launch/"/> | 7 | <stringAttribute key="bad_container_name" value="/org.eclipse.viatra.solver.language/.launch/"/> |
8 | <stringAttribute key="bootstrap" value=""/> | 8 | <stringAttribute key="bootstrap" value=""/> |
9 | <stringAttribute key="checked" value="[NONE]"/> | 9 | <stringAttribute key="checked" value="[NONE]"/> |
10 | <booleanAttribute key="clearConfig" value="false"/> | 10 | <booleanAttribute key="clearConfig" value="false"/> |
11 | <booleanAttribute key="clearws" value="false"/> | 11 | <booleanAttribute key="clearws" value="false"/> |
12 | <booleanAttribute key="clearwslog" value="false"/> | 12 | <booleanAttribute key="clearwslog" value="false"/> |
13 | <stringAttribute key="configLocation" value="${workspace_loc}/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse"/> | 13 | <stringAttribute key="configLocation" value="${workspace_loc}/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse"/> |
14 | <booleanAttribute key="default" value="true"/> | 14 | <booleanAttribute key="default" value="true"/> |
15 | <booleanAttribute key="includeOptional" value="true"/> | 15 | <booleanAttribute key="includeOptional" value="true"/> |
16 | <stringAttribute key="location" value="${workspace_loc}/../eclipse-2020-03-runtime"/> | 16 | <stringAttribute key="location" value="${workspace_loc}/../eclipse-2020-09-runtime"/> |
17 | <listAttribute key="org.eclipse.debug.ui.favoriteGroups"> | 17 | <mapAttribute key="org.eclipse.debug.core.environmentVariables"> |
18 | <listEntry value="org.eclipse.debug.ui.launchGroup.debug"/> | 18 | <mapEntry key="LD_LIBRARY_PATH" value="${resource_loc:/hu.bme.mit.inf.dslreasoner.ilp.cbc/lib}"/> |
19 | <listEntry value="org.eclipse.debug.ui.launchGroup.run"/> | 19 | </mapAttribute> |
20 | </listAttribute> | 20 | <listAttribute key="org.eclipse.debug.ui.favoriteGroups"> |
21 | <stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/> | 21 | <listEntry value="org.eclipse.debug.ui.launchGroup.debug"/> |
22 | <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-os ${target.os} -ws ${target.ws} -arch ${target.arch} -nl ${target.nl}"/> | 22 | <listEntry value="org.eclipse.debug.ui.launchGroup.run"/> |
23 | <stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.pde.ui.workbenchClasspathProvider"/> | 23 | </listAttribute> |
24 | <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xms40m -Xmx512m"/> | 24 | <stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/java-11-openjdk"/> |
25 | <stringAttribute key="pde.version" value="3.3"/> | 25 | <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-os ${target.os} -ws ${target.ws} -arch ${target.arch} -nl ${target.nl}"/> |
26 | <stringAttribute key="product" value="org.eclipse.platform.ide"/> | 26 | <stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.pde.ui.workbenchClasspathProvider"/> |
27 | <booleanAttribute key="show_selected_only" value="false"/> | 27 | <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xms512m -Xmx16g"/> |
28 | <stringAttribute key="templateConfig" value="${target_home}/configuration/config.ini"/> | 28 | <stringAttribute key="pde.version" value="3.3"/> |
29 | <booleanAttribute key="tracing" value="false"/> | 29 | <stringAttribute key="product" value="org.eclipse.platform.ide"/> |
30 | <booleanAttribute key="useCustomFeatures" value="false"/> | 30 | <booleanAttribute key="show_selected_only" value="false"/> |
31 | <booleanAttribute key="useDefaultConfig" value="true"/> | 31 | <stringAttribute key="templateConfig" value="${target_home}/configuration/config.ini"/> |
32 | <booleanAttribute key="useDefaultConfigArea" value="true"/> | 32 | <booleanAttribute key="tracing" value="false"/> |
33 | <booleanAttribute key="useProduct" value="true"/> | 33 | <booleanAttribute key="useCustomFeatures" value="false"/> |
34 | <booleanAttribute key="usefeatures" value="false"/> | 34 | <booleanAttribute key="useDefaultConfig" value="true"/> |
35 | <booleanAttribute key="useDefaultConfigArea" value="true"/> | ||
36 | <booleanAttribute key="useProduct" value="true"/> | ||
37 | <booleanAttribute key="usefeatures" value="false"/> | ||
35 | </launchConfiguration> | 38 | </launchConfiguration> |
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin index c1d5cb5e..1147f2ef 100644 --- a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin +++ b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin | |||
Binary files differ | |||
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.SolverLanguageSyntheticTokenSyntacticSequencer.xtendbin b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.SolverLanguageSyntheticTokenSyntacticSequencer.xtendbin index 7fb5f085..8bb907a2 100644 --- a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.SolverLanguageSyntheticTokenSyntacticSequencer.xtendbin +++ b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.SolverLanguageSyntheticTokenSyntacticSequencer.xtendbin | |||
Binary files differ | |||
diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/src/modes3/run/Modes3ModelGenerator.xtend b/Domains/ca.mcgill.rtgmrt.example.modes3/src/modes3/run/Modes3ModelGenerator.xtend index 613cb3e4..288a7692 100644 --- a/Domains/ca.mcgill.rtgmrt.example.modes3/src/modes3/run/Modes3ModelGenerator.xtend +++ b/Domains/ca.mcgill.rtgmrt.example.modes3/src/modes3/run/Modes3ModelGenerator.xtend | |||
@@ -121,7 +121,7 @@ class Modes3ModelGenerator { | |||
121 | maxNewElementsByType => [ | 121 | maxNewElementsByType => [ |
122 | put(ecore2Logic.TypeofEClass(metamodelLogic.trace, Modes3Package.eINSTANCE.train), modelSize / 5) | 122 | put(ecore2Logic.TypeofEClass(metamodelLogic.trace, Modes3Package.eINSTANCE.train), modelSize / 5) |
123 | put(ecore2Logic.TypeofEClass(metamodelLogic.trace, Modes3Package.eINSTANCE.turnout), modelSize / 5) | 123 | put(ecore2Logic.TypeofEClass(metamodelLogic.trace, Modes3Package.eINSTANCE.turnout), modelSize / 5) |
124 | put(ecore2Logic.TypeofEClass(metamodelLogic.trace, Modes3Package.eINSTANCE.simpleSegment), 3 * modelSize / 5) | 124 | // put(ecore2Logic.TypeofEClass(metamodelLogic.trace, Modes3Package.eINSTANCE.simpleSegment), 3 * modelSize / 5) |
125 | ] | 125 | ] |
126 | ] | 126 | ] |
127 | solutionScope => [ | 127 | solutionScope => [ |
diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.CloseTrainsObjectiveHint.xtendbin b/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.CloseTrainsObjectiveHint.xtendbin index 87975792..47306d9c 100644 --- a/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.CloseTrainsObjectiveHint.xtendbin +++ b/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.CloseTrainsObjectiveHint.xtendbin | |||
Binary files differ | |||
diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.EndOfSidingObjectiveHint.xtendbin b/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.EndOfSidingObjectiveHint.xtendbin index f243e180..809f268d 100644 --- a/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.EndOfSidingObjectiveHint.xtendbin +++ b/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.EndOfSidingObjectiveHint.xtendbin | |||
Binary files differ | |||
diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.MisalignedTurnoutObjectiveHint.xtendbin b/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.MisalignedTurnoutObjectiveHint.xtendbin index cdef4dc7..90f98dd6 100644 --- a/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.MisalignedTurnoutObjectiveHint.xtendbin +++ b/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.MisalignedTurnoutObjectiveHint.xtendbin | |||
Binary files differ | |||
diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.Modes3ModelGenerator.xtendbin b/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.Modes3ModelGenerator.xtendbin index 759ac9e4..c9418b49 100644 --- a/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.Modes3ModelGenerator.xtendbin +++ b/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.Modes3ModelGenerator.xtendbin | |||
Binary files differ | |||
diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.Modes3TypeScopeHint.xtendbin b/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.Modes3TypeScopeHint.xtendbin index 386baeda..437a84cc 100644 --- a/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.Modes3TypeScopeHint.xtendbin +++ b/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.Modes3TypeScopeHint.xtendbin | |||
Binary files differ | |||
diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.Modes3UnitPropagationGenerator.xtendbin b/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.Modes3UnitPropagationGenerator.xtendbin index 79059b7f..34c9b033 100644 --- a/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.Modes3UnitPropagationGenerator.xtendbin +++ b/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.Modes3UnitPropagationGenerator.xtendbin | |||
Binary files differ | |||
diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.TrainLocationsObjectiveHint.xtendbin b/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.TrainLocationsObjectiveHint.xtendbin index 3c3a380e..993f0f78 100644 --- a/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.TrainLocationsObjectiveHint.xtendbin +++ b/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.TrainLocationsObjectiveHint.xtendbin | |||
Binary files differ | |||
diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/Modes3ModelGenerator.java b/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/Modes3ModelGenerator.java index 16db7053..a0661c87 100644 --- a/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/Modes3ModelGenerator.java +++ b/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/Modes3ModelGenerator.java | |||
@@ -217,7 +217,6 @@ public class Modes3ModelGenerator { | |||
217 | final Procedure1<Map<Type, Integer>> _function_5 = (Map<Type, Integer> it_2) -> { | 217 | final Procedure1<Map<Type, Integer>> _function_5 = (Map<Type, Integer> it_2) -> { |
218 | it_2.put(this.ecore2Logic.TypeofEClass(metamodelLogic.getTrace(), Modes3Package.eINSTANCE.getTrain()), Integer.valueOf((this.modelSize / 5))); | 218 | it_2.put(this.ecore2Logic.TypeofEClass(metamodelLogic.getTrace(), Modes3Package.eINSTANCE.getTrain()), Integer.valueOf((this.modelSize / 5))); |
219 | it_2.put(this.ecore2Logic.TypeofEClass(metamodelLogic.getTrace(), Modes3Package.eINSTANCE.getTurnout()), Integer.valueOf((this.modelSize / 5))); | 219 | it_2.put(this.ecore2Logic.TypeofEClass(metamodelLogic.getTrace(), Modes3Package.eINSTANCE.getTurnout()), Integer.valueOf((this.modelSize / 5))); |
220 | it_2.put(this.ecore2Logic.TypeofEClass(metamodelLogic.getTrace(), Modes3Package.eINSTANCE.getSimpleSegment()), Integer.valueOf(((3 * this.modelSize) / 5))); | ||
221 | }; | 220 | }; |
222 | ObjectExtensions.<Map<Type, Integer>>operator_doubleArrow( | 221 | ObjectExtensions.<Map<Type, Integer>>operator_doubleArrow( |
223 | it_1.maxNewElementsByType, _function_5); | 222 | it_1.maxNewElementsByType, _function_5); |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/.classpath b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/.classpath index 849e2a7b..2a747353 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/.classpath +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/.classpath | |||
@@ -1,14 +1,13 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | 1 | <?xml version="1.0" encoding="UTF-8"?> |
2 | <classpath> | 2 | <classpath> |
3 | <classpathentry kind="src" path="ecore-gen"/> | 3 | <classpathentry kind="src" path="ecore-gen"/> |
4 | <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/> | 4 | <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"> |
5 | <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> | ||
6 | <classpathentry kind="src" path="src"/> | ||
7 | <classpathentry kind="src" path="xtend-gen"/> | ||
8 | <classpathentry kind="lib" path="lib/com.microsoft.z3.jar"> | ||
9 | <attributes> | 5 | <attributes> |
10 | <attribute name="org.eclipse.jdt.launching.CLASSPATH_ATTR_LIBRARY_PATH_ENTRY" value="hu.bme.mit.inf.dslreasoner.viatra2logic/lib"/> | 6 | <attribute name="module" value="true"/> |
11 | </attributes> | 7 | </attributes> |
12 | </classpathentry> | 8 | </classpathentry> |
9 | <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> | ||
10 | <classpathentry kind="src" path="src"/> | ||
11 | <classpathentry kind="src" path="xtend-gen"/> | ||
13 | <classpathentry kind="output" path="bin"/> | 12 | <classpathentry kind="output" path="bin"/> |
14 | </classpath> | 13 | </classpath> |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF index c7242106..23fba304 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF | |||
@@ -20,11 +20,11 @@ Require-Bundle: com.google.guava, | |||
20 | org.eclipse.viatra.query.patternlanguage.emf;bundle-version="2.0.0", | 20 | org.eclipse.viatra.query.patternlanguage.emf;bundle-version="2.0.0", |
21 | org.eclipse.xtext, | 21 | org.eclipse.xtext, |
22 | org.eclipse.xtext.xbase;bundle-version="2.18.0", | 22 | org.eclipse.xtext.xbase;bundle-version="2.18.0", |
23 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0" | 23 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0", |
24 | com.microsoft.z3 | ||
24 | Bundle-ActivationPolicy: lazy | 25 | Bundle-ActivationPolicy: lazy |
25 | Export-Package: hu.bme.mit.inf.dslreasoner.viatra2logic, | 26 | Export-Package: |
27 | hu.bme.mit.inf.dslreasoner.viatra2logic, | ||
26 | hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations, | 28 | hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations, |
27 | hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl, | 29 | hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl, |
28 | hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.util | 30 | hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.util |
29 | Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.viatra2logic | ||
30 | |||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/lib/.gitignore b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/lib/.gitignore deleted file mode 100644 index e69de29b..00000000 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/lib/.gitignore +++ /dev/null | |||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java index 0b249962..f1314925 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java | |||
@@ -1,17 +1,10 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.viatra2logic; | 1 | package hu.bme.mit.inf.dslreasoner.viatra2logic; |
2 | 2 | ||
3 | import java.math.BigDecimal; | ||
4 | import java.util.ArrayList; | 3 | import java.util.ArrayList; |
5 | import java.util.HashMap; | 4 | import java.util.HashMap; |
6 | import java.util.HashSet; | ||
7 | import java.util.List; | 5 | import java.util.List; |
8 | import java.util.Map; | 6 | import java.util.Map; |
9 | import java.util.Map.Entry; | ||
10 | import java.util.Random; | ||
11 | import java.util.Set; | ||
12 | 7 | ||
13 | import org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint; | ||
14 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExpressionEvaluation; | ||
15 | import org.eclipse.xtext.common.types.JvmIdentifiableElement; | 8 | import org.eclipse.xtext.common.types.JvmIdentifiableElement; |
16 | import org.eclipse.xtext.xbase.XBinaryOperation; | 9 | import org.eclipse.xtext.xbase.XBinaryOperation; |
17 | import org.eclipse.xtext.xbase.XExpression; | 10 | import org.eclipse.xtext.xbase.XExpression; |
@@ -29,10 +22,9 @@ import com.microsoft.z3.Solver; | |||
29 | import com.microsoft.z3.Status; | 22 | import com.microsoft.z3.Status; |
30 | import com.microsoft.z3.enumerations.Z3_ast_print_mode; | 23 | import com.microsoft.z3.enumerations.Z3_ast_print_mode; |
31 | 24 | ||
32 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term; | ||
33 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement; | 25 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement; |
34 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement; | ||
35 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement; | 26 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement; |
27 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement; | ||
36 | 28 | ||
37 | 29 | ||
38 | public class NumericProblemSolver { | 30 | public class NumericProblemSolver { |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericTranslator.xtend b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericTranslator.xtend index 81bc1796..b9eda7b3 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericTranslator.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericTranslator.xtend | |||
@@ -1,19 +1,17 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.viatra2logic | 1 | package hu.bme.mit.inf.dslreasoner.viatra2logic |
2 | 2 | ||
3 | import org.eclipse.xtext.xbase.XExpression | ||
4 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExpressionEvaluation | ||
5 | import org.eclipse.xtext.common.types.JvmIdentifiableElement | ||
6 | import java.util.Set | ||
7 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement | 3 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement |
8 | import java.util.Map | ||
9 | import com.microsoft.z3.BoolExpr | ||
10 | import org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint | ||
11 | import java.util.Map.Entry | ||
12 | import org.eclipse.xtext.xbase.XFeatureCall | ||
13 | import java.util.Comparator | ||
14 | import java.util.ArrayList | 4 | import java.util.ArrayList |
5 | import java.util.Comparator | ||
15 | import java.util.HashMap | 6 | import java.util.HashMap |
16 | import java.util.List | 7 | import java.util.List |
8 | import java.util.Map | ||
9 | import java.util.Map.Entry | ||
10 | import org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint | ||
11 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExpressionEvaluation | ||
12 | import org.eclipse.xtext.common.types.JvmIdentifiableElement | ||
13 | import org.eclipse.xtext.xbase.XExpression | ||
14 | import org.eclipse.xtext.xbase.XFeatureCall | ||
17 | 15 | ||
18 | class NumericTranslator { | 16 | class NumericTranslator { |
19 | 17 | ||
diff --git a/Solvers/SMT-Solver/com.microsoft.z3/.classpath b/Solvers/SMT-Solver/com.microsoft.z3/.classpath index ffdc022a..759c2ecb 100644 --- a/Solvers/SMT-Solver/com.microsoft.z3/.classpath +++ b/Solvers/SMT-Solver/com.microsoft.z3/.classpath | |||
@@ -1,15 +1,15 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | 1 | <?xml version="1.0" encoding="UTF-8"?> |
2 | <classpath> | 2 | <classpath> |
3 | <classpathentry exported="true" kind="lib" path="com.microsoft.z3.jar"> | ||
4 | <attributes> | ||
5 | <attribute name="org.eclipse.jdt.launching.CLASSPATH_ATTR_LIBRARY_PATH_ENTRY" value="com.microsoft.z3/lib"/> | ||
6 | </attributes> | ||
7 | </classpathentry> | ||
8 | <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"> | 3 | <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"> |
9 | <attributes> | 4 | <attributes> |
10 | <attribute name="module" value="true"/> | 5 | <attribute name="module" value="true"/> |
11 | </attributes> | 6 | </attributes> |
12 | </classpathentry> | 7 | </classpathentry> |
13 | <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> | 8 | <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> |
9 | <classpathentry exported="true" kind="lib" path="com.microsoft.z3.jar"> | ||
10 | <attributes> | ||
11 | <attribute name="org.eclipse.jdt.launching.CLASSPATH_ATTR_LIBRARY_PATH_ENTRY" value="com.microsoft.z3/lib"/> | ||
12 | </attributes> | ||
13 | </classpathentry> | ||
14 | <classpathentry kind="output" path="bin"/> | 14 | <classpathentry kind="output" path="bin"/> |
15 | </classpath> | 15 | </classpath> |
diff --git a/Solvers/SMT-Solver/com.microsoft.z3/META-INF/MANIFEST.MF b/Solvers/SMT-Solver/com.microsoft.z3/META-INF/MANIFEST.MF index d91e3272..9685b5ff 100644 --- a/Solvers/SMT-Solver/com.microsoft.z3/META-INF/MANIFEST.MF +++ b/Solvers/SMT-Solver/com.microsoft.z3/META-INF/MANIFEST.MF | |||
@@ -4,7 +4,6 @@ Bundle-Name: Z3 | |||
4 | Bundle-SymbolicName: com.microsoft.z3 | 4 | Bundle-SymbolicName: com.microsoft.z3 |
5 | Bundle-Version: 4.8.8.qualifier | 5 | Bundle-Version: 4.8.8.qualifier |
6 | Bundle-Vendor: Microsoft | 6 | Bundle-Vendor: Microsoft |
7 | Automatic-Module-Name: com.microsoft.z3 | ||
8 | Bundle-ClassPath: com.microsoft.z3.jar | 7 | Bundle-ClassPath: com.microsoft.z3.jar |
9 | Bundle-NativeCode: lib/libz3.so; | 8 | Bundle-NativeCode: lib/libz3.so; |
10 | lib/libz3java.so; | 9 | lib/libz3java.so; |
@@ -20,3 +19,4 @@ Bundle-NativeCode: lib/libz3.so; | |||
20 | processor=x86_64 | 19 | processor=x86_64 |
21 | Export-Package: com.microsoft.z3, | 20 | Export-Package: com.microsoft.z3, |
22 | com.microsoft.z3.enumerations | 21 | com.microsoft.z3.enumerations |
22 | Bundle-RequiredExecutionEnvironment: JavaSE-11 | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/META-INF/MANIFEST.MF b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/META-INF/MANIFEST.MF index ec1557e8..f5eb5514 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/META-INF/MANIFEST.MF +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/META-INF/MANIFEST.MF | |||
@@ -25,9 +25,8 @@ Require-Bundle: hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0", | |||
25 | org.eclipse.xtext;bundle-version="2.10.0", | 25 | org.eclipse.xtext;bundle-version="2.10.0", |
26 | org.eclipse.viatra.transformation.runtime.emf;bundle-version="2.0.0", | 26 | org.eclipse.viatra.transformation.runtime.emf;bundle-version="2.0.0", |
27 | org.eclipse.xtext.xbase;bundle-version="2.10.0", | 27 | org.eclipse.xtext.xbase;bundle-version="2.10.0", |
28 | com.microsoft.z3;bundle-version="4.8.5", | ||
29 | hu.bme.mit.inf.dslreasoner.ilp.cbc;bundle-version="1.0.0", | 28 | hu.bme.mit.inf.dslreasoner.ilp.cbc;bundle-version="1.0.0", |
30 | org.eclipse.viatra.query.runtime.rete;bundle-version="2.0.0" | 29 | org.eclipse.viatra.query.runtime.rete;bundle-version="2.0.0", |
31 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 | 30 | com.microsoft.z3 |
31 | Bundle-RequiredExecutionEnvironment: JavaSE-11 | ||
32 | Import-Package: org.apache.log4j | 32 | Import-Package: org.apache.log4j |
33 | Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatraquery | ||