SuccessChanges

Summary

  1. Bug 514634 General Improvement of Editors and Symbex Execution Tools (details)
Commit 8fc97104ed4c776bf468e5642945a2cabf79225f by Arnault Lapitre
Bug 514634 General Improvement of Editors and Symbex Execution Tools
Change-Id: I0823d43fb1ea25f0ef65d77980def0b55beabab6
The file was modifiededitor/xlia/org.eclipse.efm.formalml.ecore/resources/ecore/formalml.genmodel
The file was modifiededitor/xlia/org.eclipse.efm.formalml.ecore/src/org/eclipse/efm/formalml/ecore/factory/XLIA_INFRA.java
The file was modifiedexecution/org.eclipse.efm.execution.configuration.common.ui/src/org/eclipse/efm/execution/configuration/common/ui/page/supervisor/SupervisorEvaluationLimitsSection.java
The file was modifiedexecution/org.eclipse.efm.execution.configuration.common.ui/src/org/eclipse/efm/execution/configuration/common/ui/editors/table/TraceElementNatureEditingSupport.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.ecore/src/org/eclipse/efm/formalml/ecore/factory/XLIA_EXPRESSION.java
The file was modifiedexecution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/workflow/common/TraceElementCustomImpl.java
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/plugin.xml
The file was modifiededitor/xlia/org.eclipse.efm.formalml.xtext.ide/src-gen/org/eclipse/efm/formalml/xtext/ide/AbstractFormalMLIdeModule.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.ecore/src-gen/org/eclipse/efm/ecore/formalml/datatype/impl/EnumerationTypeImpl.java
The file was modifiedexecution/org.eclipse.efm.execution.core/resources/ecore/workflow.genmodel
The file was modifiededitor/sew/org.eclipse.efm.sew.xtext.ide/src-gen/org/eclipse/efm/sew/xtext/ide/contentassist/antlr/internal/InternalSEWLexer.java
The file was modifiedreleng/org.eclipse.efm.modeling.product/efm-modeling.papyrus.product
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/META-INF/MANIFEST.MF
The file was modifiedreleng/org.eclipse.efm.modeling.product/pom.xml-papyrus
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/console/SymbexSpiderConsolePage.java
The file was modifiedexecution/org.eclipse.efm.execution.configuration.common.ui/src/org/eclipse/efm/execution/configuration/common/ui/page/overview/OverviewTestOfflineConfigurationProfile.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.ecore/src/org/eclipse/efm/formalml/ecore/factory/XLIA_STATEMACHINE.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.ecore/src/org/eclipse/efm/formalml/ecore/factory/XLIA_STATEMENT.java
The file was modifiedtargetplatform/org.eclipse.efm.modeling.targetplatform.last-release-papyrus/org.eclipse.efm.modeling.targetplatform.last-release-papyrus.target
The file was modifiedexecution/org.eclipse.efm.execution.ui.views/src/org/eclipse/efm/execution/ui/views/symbexlauncher/SymbexWorkflowView.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.xtext.tests/src-gen/org/eclipse/efm/formalml/xtext/tests/FormalMLInjectorProvider.java
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/ui/views/page/SWTSpider.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.xtext/src-gen/org/eclipse/efm/formalml/xtext/FormalML.xtextbin
The file was modifiededitor/xlia/org.eclipse.efm.formalml.xtext/src/org/eclipse/efm/formalml/xtext/generator/FormalMLGenerator.xtend
The file was modifiededitor/sew/org.eclipse.efm.sew.xtext/src-gen/org/eclipse/efm/sew/xtext/parser/antlr/internal/InternalSEWLexer.java
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/action/RunSelectedSymbexWorkflowAction.java
The file was modifiedexecution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/util/FormalMLXtextUtil.java
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/SymbexJobFactory.java
The file was addedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/sew/SymbexWorkflowProvider.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.xtext.ide/src-gen/org/eclipse/efm/formalml/xtext/ide/contentassist/antlr/internal/InternalFormalMLParser.java
The file was modifiedreleng/org.eclipse.efm.modeling.product/pom.xml-textual
The file was modifiedexecution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/common/impl/CommonPackageImpl.java
The file was modifiedexecution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/IWorkflowConfigurationConstants.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.ecore/src-gen/org/eclipse/efm/ecore/formalml/datatype/impl/DatatypePackageImpl.java
The file was addedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/sew/ISymbexWorkflowProvider.java
The file was modifiededitor/sew/org.eclipse.efm.sew.xtext.ui.tests/META-INF/MANIFEST.MF
The file was modifiededitor/sew/org.eclipse.efm.sew.xtext/src-gen/org/eclipse/efm/sew/xtext/serializer/SEWSyntacticSequencer.java
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/handlers/Util.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.xtext.ide/src-gen/org/eclipse/efm/formalml/xtext/ide/contentassist/antlr/internal/InternalFormalML.g
The file was modifiededitor/xlia/org.eclipse.efm.formalml.xtext/src/org/eclipse/efm/formalml/xtext/FormalML.xtext
The file was modifiededitor/xlia/org.eclipse.efm.formalml.xtext/src-gen/org/eclipse/efm/formalml/xtext/parser/antlr/internal/InternalFormalML.tokens
The file was modifiedexecution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/impl/SerializerImpl.java
The file was modifiedexecution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/util/WorkflowFileUtils.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.xtext.ide/src-gen/org/eclipse/efm/formalml/xtext/ide/contentassist/antlr/internal/InternalFormalMLLexer.java
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/ui/views/page/SEWConsoleSpiderPage.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.ecore/src/org/eclipse/efm/formalml/ecore/factory/XLIA_DATATYPE.java
The file was modifiedexecution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/Serializer.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.ecore/resources/ecore/formalml.ecore
The file was modifiedexecution/org.eclipse.efm.execution.configuration.common.ui/src/org/eclipse/efm/execution/configuration/common/ui/editors/table/TraceElementTableConfigProvider.java
The file was modifiedexecution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/workflow/DirectorCustomImpl.java
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/SymbexJob.java
The file was addedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/sew/LivenessCheckerSymbexWorkflow.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.xtext/src/org/eclipse/efm/formalml/xtext/generator/XLIAGenerator.xtend
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/handlers/RunSewToolsHandler.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.ecore/src-gen/org/eclipse/efm/ecore/formalml/datatype/DatatypePackage.java
The file was modifiedexecution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/WorkflowPackage.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.xtext/src-gen/org/eclipse/efm/formalml/xtext/parser/antlr/internal/InternalFormalMLLexer.java
The file was modifiedexecution/org.eclipse.efm.execution.configuration.common.ui/src/org/eclipse/efm/execution/configuration/common/ui/page/overview/OverviewBehaviorSelectionConfigurationProfile.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.ecore/src-gen/org/eclipse/efm/ecore/formalml/datatype/EnumerationType.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.xtext/src-gen/org/eclipse/efm/formalml/xtext/parser/antlr/internal/InternalFormalML.g
The file was modifiedexecution/org.eclipse.efm.execution.core/resources/ecore/workflow.ecore
The file was modifiededitor/xlia/org.eclipse.efm.formalml.xtext/src-gen/org/eclipse/efm/formalml/xtext/parser/antlr/internal/InternalFormalMLParser.java
The file was modifiedexecution/org.eclipse.efm.execution.configuration.common.ui/src/org/eclipse/efm/execution/configuration/common/ui/page/overview/OverviewConfigurationPage.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.xtext/src-gen/org/eclipse/efm/formalml/xtext/serializer/FormalMLSyntacticSequencer.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.xtext.ui/src-gen/org/eclipse/efm/formalml/xtext/ui/contentassist/AbstractFormalMLProposalProvider.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.xtext/src-gen/org/eclipse/efm/formalml/xtext/services/FormalMLGrammarAccess.java
The file was modifiedexecution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/workflow/test/OfflineTestWorkerCustomImpl.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.xtext/src-gen/org/eclipse/efm/formalml/xtext/serializer/FormalMLSemanticSequencer.java
The file was modifiedreleng/org.eclipse.efm.modeling.product/pom.xml
The file was modifiedexecution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/workflow/serializer/SequenceDiagramTraceSerializerWorkerCustomImpl.java
The file was modifiededitor/sew/org.eclipse.efm.sew.xtext/src-gen/org/eclipse/efm/sew/xtext/services/SEWGrammarAccess.java
The file was modifiedexecution/org.eclipse.efm.execution.configuration.common.ui/src/org/eclipse/efm/execution/configuration/common/ui/page/overview/OverviewWorkspaceDataSection.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.xtext.ui.tests/META-INF/MANIFEST.MF
The file was modifiedexecution/org.eclipse.efm.execution.configuration.common.ui/src/org/eclipse/efm/execution/configuration/common/ui/page/debug/DebugConfigurationPage.java
The file was modifiededitor/sew/org.eclipse.efm.sew.xtext.ide/src-gen/org/eclipse/efm/sew/xtext/ide/AbstractSEWIdeModule.java
The file was modifiedexecution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/impl/WorkflowPackageImpl.java
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/ui/tabs/AbstractSewLaunchConfigurationTab.java
The file was modifiedexecution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/common/TraceElementKind.java
The file was modifiedexecution/org.eclipse.efm.execution.configuration.common.ui/src/org/eclipse/efm/execution/configuration/common/ui/page/testgen/TestGenerationBasicTraceConfigurationProfile.java
The file was modifiedexecution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/workflow/common/DeveloperTuningOptionCustomImpl.java
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/LaunchDelegate.java
The file was modifiedtargetplatform/org.eclipse.efm.modeling.targetplatform.last-release-papyrus/org.eclipse.efm.modeling.targetplatform.last-release-papyrus.tpd
The file was modifiedexecution/org.eclipse.efm.execution.ui/src/org/eclipse/efm/execution/internal/ui/preferences/ExternalToolsPreferencePage.java
The file was modifiedexecution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/workflow/serializer/BasicTraceSerializerWorkerCustomImpl.java
The file was modifiedexecution/org.eclipse.efm.execution.configuration.common.ui/src/org/eclipse/efm/execution/configuration/common/ui/page/overview/OverviewAnalysisProfileSection.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.ecore/src/org/eclipse/efm/formalml/ecore/factory/XLIAGenerator.xtend
The file was modifiedexecution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/workflow/serializer/SymbexGraphicSerializerWorkerCustomImpl.java
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/console/SymbexSpiderConsole.java
The file was modifiedreleng/org.eclipse.efm.modeling.product/efm-modeling.textual.product
The file was modifiedexecution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/workflow/WorkflowCustomImpl.java
The file was modifiedexecution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/IWorkflowConfigurationSyntax.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.xtext.ide/src-gen/org/eclipse/efm/formalml/xtext/ide/contentassist/antlr/internal/InternalFormalML.tokens
The file was modifiedexecution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/serializer/SerializerPackage.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.xtext.ide/src-gen/org/eclipse/efm/formalml/xtext/ide/contentassist/antlr/FormalMLParser.java
The file was modifiededitor/sew/org.eclipse.efm.sew.xtext.tests/src-gen/org/eclipse/efm/sew/xtext/tests/SEWInjectorProvider.java