Spaces get removed from Reach expression
Bug #1391985 reported by
Danil Sokolov
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| Workcraft |
Fix Committed
|
Medium
|
Danil Sokolov | ||
Bug Description
Spaces in Reach expressions get removed when flattening the hierarchical transition names.
The bug is around nodeNamePattern regular expression in MpsatSettings class.
Related branches
lp:~danilovesky/workcraft/trunk-stg-1391985
- Danil Sokolov: Approve
-
Diff: 950 lines (+348/-121)23 files modifiedCircuitPlugin/src/org/workcraft/plugins/circuit/Circuit.java (+35/-1)
CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitComponent.java (+40/-3)
CircuitPlugin/src/org/workcraft/plugins/circuit/VisualCircuitComponent.java (+55/-16)
CircuitPlugin/src/org/workcraft/plugins/circuit/VisualFunctionComponent.java (+42/-15)
CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/booleanvisitors/BooleanReplacer.java (+5/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatChainResultHandler.java (+2/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatSettings.java (+21/-17)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/CscResolutionTool.java (+1/-1)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifyCscConflictResolution.java (+1/-1)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifyDummyContraction.java (+1/-1)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifyUntoggle.java (+1/-1)
WorkcraftCore/src/org/workcraft/Info.java (+1/-1)
WorkcraftCore/src/org/workcraft/dom/DefaultMathNodeRemover.java (+53/-31)
WorkcraftCore/src/org/workcraft/dom/NodeContextTracker.java (+6/-8)
WorkcraftCore/src/org/workcraft/dom/hierarchy/NamespaceHelper.java (+4/-8)
WorkcraftCore/src/org/workcraft/dom/math/AbstractMathModel.java (+8/-4)
WorkcraftCore/src/org/workcraft/dom/references/HierarchicalUniqueNameReferenceManager.java (+1/-1)
WorkcraftCore/src/org/workcraft/gui/MainMenu.java (+2/-2)
WorkcraftCore/src/org/workcraft/gui/graph/GraphEditorPanelKeyListener.java (+19/-0)
build_distr_linux.sh (+1/-1)
build_distr_windows.sh (+1/-1)
workcraft (+26/-3)
workcraft.bat (+22/-3)
To post a comment you must log in.
