Add RulesDiff.getPreserved() accessor to preserved rules

2019-11-06 18:28:01 +03:00 · 2019-11-06 18:28:01 +03:00 · 87e9251242
parent f343ba0d3b
commit 87e9251242
1 changed files with 2 additions and 0 deletions
--- a/reactor/Core/src/jetbrains/mps/logic/reactor/core/RulesDiff.kt
+++ b/reactor/Core/src/jetbrains/mps/logic/reactor/core/RulesDiff.kt
@ -32,6 +32,8 @@ class RulesDiff(

    fun getPreservedRule(utag: Any): Rule? = preserved[utag]

+    fun getPreserved(): Set<Any> = preserved.keys
+
    companion object {
        @JvmStatic
        fun emptyDiff() = RulesDiff(emptyList(), emptyList(), emptySet(), emptySet())