commit	97bc482799ca189dee957eba8c85fecffc631326	[log] [tgz]
author	Arnault Lapitre <arnault.lapitre@cea.fr>	Wed Nov 13 20:01:23 2019 +0100
committer	Arnault Lapitre <arnault.lapitre@cea.fr>	Wed Nov 13 20:01:23 2019 +0100
tree	b624fadeffb19acd9c73ba54cb6a09c4154f9a1f
parent	4d6390d676d30e25c196e019167836b190648a32 [diff]

Bug 514634 General Improvement
Improvment of Polygraph AST analysis for xLIA code Generation
Rewriting of org.eclipse.efm.ui.ImageResources
Adding Tab for Symbex Options in SymbexWorkflowView & LaunchConfig.
Adding SymbexWorkflow for profiling multiple executions


Change-Id: Ic75e3c5d70c7a021f0d1f93a996bd08b84bc81c8

codegen/org.eclipse.efm.modeling.codegen.xlia.sdf.polygraph/src/org/eclipse/efm/modeling/codegen/xlia/sdf/polygraph/mocc/ast/MoccActor.java[diff]
codegen/org.eclipse.efm.modeling.codegen.xlia.sdf.polygraph/src/org/eclipse/efm/modeling/codegen/xlia/sdf/polygraph/mocc/ast/MoccPort.java[diff]
codegen/org.eclipse.efm.modeling.codegen.xlia.sdf.polygraph/src/org/eclipse/efm/modeling/codegen/xlia/sdf/polygraph/mocc/ast/MoccSystem.java[diff]
codegen/org.eclipse.efm.modeling.codegen.xlia.sdf.polygraph/src/org/eclipse/efm/modeling/codegen/xlia/sdf/polygraph/mocc/ast/feature/MoccActorFeature.java[diff]
codegen/org.eclipse.efm.modeling.codegen.xlia.sdf.polygraph/src/org/eclipse/efm/modeling/codegen/xlia/sdf/polygraph/mocc/ast/feature/MoccSystemFeature.java[diff]
codegen/org.eclipse.efm.modeling.codegen.xlia.sdf.polygraph/src/org/eclipse/efm/modeling/codegen/xlia/sdf/polygraph/mocc/xlia/Generator.java[diff]
codegen/org.eclipse.efm.modeling.codegen.xlia.sdf.polygraph/src/org/eclipse/efm/modeling/codegen/xlia/sdf/polygraph/mocc/xlia/MoCC2XLIASchedule.java[diff]
editor/xlia/org.eclipse.efm.formalml.ecore/src/org/eclipse/efm/formalml/ecore/factory/XLIAGenerator.xtend[diff]
execution/org.eclipse.efm.execution.configuration.common.ui/META-INF/MANIFEST.MF[diff]
execution/org.eclipse.efm.execution.configuration.common.ui/src/org/eclipse/efm/execution/configuration/common/ui/editors/table/TraceElementTableViewer.java[diff]
execution/org.eclipse.efm.execution.configuration.common.ui/src/org/eclipse/efm/execution/configuration/common/ui/page/overview/OverviewAnalysisProfileSection.java[diff]
execution/org.eclipse.efm.execution.configuration.common.ui/src/org/eclipse/efm/execution/configuration/common/ui/page/symbex/SymbexOptionConfigurationPage.java[Added - diff]
execution/org.eclipse.efm.execution.core/resources/ecore/workflow.ecore[diff]
execution/org.eclipse.efm.execution.core/resources/ecore/workflow.genmodel[diff]
execution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/Serializer.java[diff]
execution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/WorkflowPackage.java[diff]
execution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/common/CommonPackage.java[diff]
execution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/common/SymbexOption.java[diff]
execution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/common/impl/CommonPackageImpl.java[diff]
execution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/common/impl/SymbexOptionImpl.java[diff]
execution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/impl/SerializerImpl.java[diff]
execution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/impl/WorkflowPackageImpl.java[diff]
execution/org.eclipse.efm.execution.core/src-gen/org/eclipse/efm/execution/core/workflow/serializer/SerializerPackage.java[diff]
execution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/IWorkflowConfigurationConstants.java[diff]
execution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/IWorkflowSpiderConfigurationUtils.java[diff]
execution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/workflow/WorkflowCustomImpl.java[diff]
execution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/workflow/common/SymbexOptionCustomImpl.java[Added - diff]
execution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/workflow/serializer/BasicTraceSerializerWorkerCustomImpl.java[diff]
execution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/workflow/serializer/SequenceDiagramTraceSerializerWorkerCustomImpl.java[diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/HelpContextIdConstants.java[diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/LaunchConfigurationTabGroup.java[diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/handlers/RunSewToolsHandler.java[diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/action/ChangeSashFormOrientationAction.java[diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/action/CloseAllConsoleAction.java[diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/action/CloseConsoleAction.java[diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/action/ProfileExecutionAction.java[Added - diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/action/RestartAction.java[diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/action/RunSelectedSymbexWorkflowAction.java[diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/action/TerminateAction.java[diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/action/TerminateAllAction.java[diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/action/TerminateRestartAction.java[diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/console/SymbexSpiderConsole.java[diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/console/SymbexSpiderConsolePage.java[diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/sew/ISymbexWorkflowProvider.java[diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/sew/LivenessCheckerSymbexWorkflow.java[diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/sew/ProfileSymbexWorkflow.java[Added - diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/sew/SymbexWorkflowProvider.java[diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/ui/tabs/SymbexOptionTab.java[Added - diff]
execution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/ui/views/page/SWTSpider.java[diff]
execution/org.eclipse.efm.execution.ui.views/src/org/eclipse/efm/execution/ui/views/symbexlauncher/AbstractSymbexWorkflowView.java[diff]
execution/org.eclipse.efm.execution.ui.views/src/org/eclipse/efm/execution/ui/views/symbexlauncher/SymbexWorkflowView.java[diff]
gui/org.eclipse.efm.modeling.ui.views.property.tab.xlia/src/org/eclipse/efm/papyrus/view/property/concretesyntax/sheet/EditingPropertySection.java[diff]
gui/org.eclipse.efm.ui/resources/icons/dlcl16/det_pane_right.png[Added - diff]
gui/org.eclipse.efm.ui/resources/icons/dlcl16/det_pane_under.png[Added - diff]
gui/org.eclipse.efm.ui/resources/icons/dlcl16/export_config.png[Added - diff]
gui/org.eclipse.efm.ui/resources/icons/dlcl16/profile_exc.png[Added - diff]
gui/org.eclipse.efm.ui/resources/icons/dlcl16/profile_exc@2x.png[Added - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/alert_obj.png[Renamed from gui/org.eclipse.efm.ui/resources/icons/alert_obj.png - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/commit.png[Renamed from gui/org.eclipse.efm.ui/resources/icons/commit.png - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/debug_dial.png[Renamed from gui/org.eclipse.efm.ui/resources/icons/debug_dial.png - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/debug_exc.png[Added - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/det_pane_right.png[Added - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/det_pane_under.png[Added - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/dup_resource.png[Renamed from gui/org.eclipse.efm.ui/resources/icons/dup_resource.png - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/error@2x.png[Renamed from gui/org.eclipse.efm.ui/resources/icons/error@2x.png - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/error_st_obj.gif[Renamed from gui/org.eclipse.efm.ui/resources/icons/error_st_obj.gif - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/export_config.png[Added - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/genproject.gif[Renamed from gui/org.eclipse.efm.ui/resources/icons/genproject.gif - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/help.png[Renamed from gui/org.eclipse.efm.ui/resources/icons/help.png - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/overview.gif[Renamed from gui/org.eclipse.efm.ui/resources/icons/overview.gif - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/pinned_ovr.gif[Renamed from gui/org.eclipse.efm.ui/resources/icons/pinned_ovr.gif - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/profile_exc.png[Added - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/profile_exc@2x.png[Added - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/pull.png[Renamed from gui/org.eclipse.efm.ui/resources/icons/pull.png - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/push.png[Renamed from gui/org.eclipse.efm.ui/resources/icons/push.png - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/refresh_tab.png[Renamed from gui/org.eclipse.efm.ui/resources/icons/refresh_tab.png - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/revert.gif[Renamed from gui/org.eclipse.efm.ui/resources/icons/revert.gif - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/run_dial.png[Renamed from gui/org.eclipse.efm.ui/resources/icons/run_dial.png - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/run_exc.png[Renamed from gui/org.eclipse.efm.ui/resources/icons/run_exc.png - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/save.gif[Renamed from gui/org.eclipse.efm.ui/resources/icons/save.gif - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/save_as.gif[Renamed from gui/org.eclipse.efm.ui/resources/icons/save_as.gif - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/synced.gif[Renamed from gui/org.eclipse.efm.ui/resources/icons/synced.gif - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/synchronize.png[Renamed from gui/org.eclipse.efm.ui/resources/icons/synchronize.png - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/toc_link_obj.png[Renamed from gui/org.eclipse.efm.ui/resources/icons/toc_link_obj.png - diff]
gui/org.eclipse.efm.ui/resources/icons/elcl16/validate.gif[Renamed from gui/org.eclipse.efm.ui/resources/icons/validate.gif - diff]
gui/org.eclipse.efm.ui/resources/icons/error.png[Deleted - diff]
gui/org.eclipse.efm.ui/resources/icons/error_ovr.gif[Deleted - diff]
gui/org.eclipse.efm.ui/resources/icons/incom_stat.gif[Deleted - diff]
gui/org.eclipse.efm.ui/resources/icons/library_obj.png[Deleted - diff]
gui/org.eclipse.efm.ui/resources/icons/lock_ovr.gif[Deleted - diff]
gui/org.eclipse.efm.ui/resources/icons/warn_ovr.gif[Deleted - diff]
gui/org.eclipse.efm.ui/src/org/eclipse/efm/ui/Activator.java[diff]
gui/org.eclipse.efm.ui/src/org/eclipse/efm/ui/utils/ImageResources.java[diff]
tutorial/org.eclipse.efm.tutorial.thermostat/cheatsheet/getting_started-orig.xml[diff]

94 files changed

tree: b624fadeffb19acd9c73ba54cb6a09c4154f9a1f

README.md

EFM : Eclipse Formal Modeling