Hierarchy separators are not acceptable by Reach language
Bug #1349424 reported by
Danil Sokolov
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Workcraft |
Fix Committed
|
Medium
|
Danil Sokolov |
Bug Description
If a model has pages, then there is no way to address the nodes inside the page namespace from the Reach expression.
A solution is to use the usual syntax like (e.g $P"page1/
Related branches
lp:~danilovesky/workcraft/trunk-bug-1346840
- Danil Sokolov: Approve
-
Diff: 1634 lines (+375/-502)21 files modifiedMpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatSettings.java (+23/-5)
MpsatPlugin/src/org/workcraft/plugins/mpsat/gui/MpsatConfigurationDialog.java (+5/-2)
STGPlugin/src/org/workcraft/plugins/stg/STG.java (+161/-124)
STGPlugin/src/org/workcraft/plugins/stg/STGModel.java (+4/-10)
STGPlugin/src/org/workcraft/plugins/stg/STGNameManager.java (+16/-30)
STGPlugin/src/org/workcraft/plugins/stg/STGReferenceManager.java (+24/-140)
STGPlugin/src/org/workcraft/plugins/stg/VisualSTG.java (+21/-1)
STGPlugin/src/org/workcraft/plugins/stg/propertydescriptors/SignalNamePropertyDescriptor.java (+5/-2)
STGPlugin/src/org/workcraft/plugins/stg/propertydescriptors/SignalTypePropertyDescriptor.java (+6/-3)
STGPlugin/src/org/workcraft/plugins/stg/serialisation/DotGSerialiser.java (+5/-5)
STGPlugin/src/org/workcraft/plugins/stg/tools/STGSimulationTool.java (+9/-5)
STGPlugin/src/org/workcraft/plugins/stg/tools/SignalMirrorTool.java (+2/-2)
Tests/src/org/workcraft/testing/plugins/interop/DotGImporterTests.java (+1/-1)
WorkcraftCore/src/org/workcraft/dom/AbstractModel.java (+0/-13)
WorkcraftCore/src/org/workcraft/dom/Model.java (+0/-1)
WorkcraftCore/src/org/workcraft/dom/hierarchy/NamespaceHelper.java (+27/-54)
WorkcraftCore/src/org/workcraft/dom/references/HierarchicalUniqueNameReferenceManager.java (+13/-50)
WorkcraftCore/src/org/workcraft/dom/references/UniqueNameManager.java (+0/-1)
WorkcraftCore/src/org/workcraft/dom/visual/AbstractVisualModel.java (+22/-36)
WorkcraftCore/src/org/workcraft/dom/visual/NodeHelper.java (+23/-9)
WorkcraftCore/src/org/workcraft/util/Hierarchy.java (+8/-8)
tags: | added: page pn stg |
Changed in workcraft: | |
status: | Triaged → Fix Committed |
To post a comment you must log in.