natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix copying occurrences from the store view

This commit is contained in:
Fedor Isakov 2017-02-10 13:17:06 +01:00
parent cae150819f
commit c687908e1e
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
reactor/Core/src/jetbrains/mps/logic/reactor/core/Store.kt
View File

@ -97,11 +97,11 @@ class Store : LogicalObserver, OccurrenceIndex {
var v2o = Maps.of<Any, IdHashSet<ConstraintOccurrence>>()
copyFrom.allOccurrences().forEach { occ ->
occ.arguments().forEach { a ->
when (a) {
is Logical<*> -> l2o = l2o.put(IdWrapper(a), l2o[IdWrapper(a)]?.add(occ) ?: singletonSet(occ))
is Term -> t2o = t2o.put(a, occ)
is Any -> v2o = v2o.put(a, v2o[a]?.add(occ) ?: singletonSet(occ))
occ.arguments().forEach { arg ->
when (arg) {
is Logical<*> -> l2o = l2o.put(IdWrapper(arg.findRoot()), l2o[IdWrapper(arg.findRoot())]?.add(occ) ?: singletonSet(occ))
is Term -> t2o = t2o.put(arg.withConstraint(occ.constraint()), occ)
is Any -> v2o = v2o.put(arg, v2o[arg]?.add(occ) ?: singletonSet(occ))
}
}