TAPAAL

Merge lp:~tapaal-contributor/tapaal/deleting-query-property into lp:tapaal

  1. deleting-query-property
  2. Merge into trunk
Proposed by Lena Ernstsen
Status: Merged
Approved by: Jiri Srba
Approved revision: no longer in the source branch.
Merge reported by: Kenneth Yrke Jørgensen
Merged at revision: not available
Proposed branch: lp:~tapaal-contributor/tapaal/deleting-query-property
Merge into: lp:tapaal
Diff against target: 12 lines (+1/-1)
1 file modified
src/pipe/gui/widgets/QueryDialog.java (+1/-1)
To merge this branch: bzr merge lp:~tapaal-contributor/tapaal/deleting-query-property
Reviewer Review Type Date Requested Status
Jiri Srba Approve
Review via email: mp+406991@code.launchpad.net

Commit message

When deleting part of a query property it will be replaced by a placeholder.

To post a comment you must log in.
Revision history for this message
Jiri Srba (srba) wrote :

Tested and it works as expected.

review: Approve

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
1=== modified file 'src/pipe/gui/widgets/QueryDialog.java'
2--- src/pipe/gui/widgets/QueryDialog.java 2021-08-03 09:29:10 +0000
3+++ src/pipe/gui/widgets/QueryDialog.java 2021-08-12 08:32:33 +0000
4@@ -779,7 +779,7 @@
5 if (currentSelection != null) {
6 TCTLAbstractProperty replacement = null;
7 if (currentSelection.getObject() instanceof TCTLAbstractStateProperty) {
8- replacement = getSpecificChildOfProperty(1, currentSelection.getObject());
9+ replacement = new TCTLStatePlaceHolder();
10 } else if (currentSelection.getObject() instanceof TCTLAbstractPathProperty) {
11 replacement = new TCTLPathPlaceHolder();
12 }

Subscribers

People subscribed via source and target branches