Bug 555653 - contract refinement enabled only from graphical editor
Summary: contract refinement enabled only from graphical editor
Status: NEW
Alias: None
Product: z_Archived
Classification: Eclipse Foundation
Component: Chess (show other bugs)
Version: unspecified   Edit
Hardware: PC Windows 10
: P3 enhancement (vote)
Target Milestone: ---   Edit
Assignee: Project Inbox CLA
QA Contact:
URL:
Whiteboard: 1822
Keywords:
Depends on:
Blocks:
 
Reported: 2017-11-03 11:02 EDT by Alberto Debiasi CLA
Modified: 2020-12-01 09:51 EST (History)
1 user (show)

See Also:

Attachments
screenshot about contract refinement from ModelExplorer (40.31 KB, image/png)
2020-04-09 12:00 EDT, Stefano puri CLA 		no flags Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Alberto Debiasi CLA 2017-11-03 11:02:25 EDT 
It is possible to execute the contract refiniment only from the graphical editor, i.e. selecting the graphical element representing the contract property.
It is not possible to execute that command selecting the contract property from the exporer view.
Comment 1 Alberto Debiasi CLA 2020-04-09 05:38:13 EDT 
(In reply to Alberto Debiasi from comment #0)
> It is possible to execute the contract refiniment only from the graphical
> editor, i.e. selecting the graphical element representing the contract
> property.
> It is not possible to execute that command selecting the contract property
> from the exporer view.

This bug is still open. (cc stefano.puri@intecs.it)
Comment 2 Stefano puri CLA 2020-04-09 12:00:48 EDT 
Created attachment 282398 [details]
screenshot about contract refinement from ModelExplorer
Comment 3 Stefano puri CLA 2020-04-09 12:01:59 EDT 
it works for me, see screenshot attached
Comment 4 Denis Roy CLA 2020-12-01 09:51:43 EST 
This bug has been moved to GitLab: https://gitlab.eclipse.org/eclipse/chess/chess