From 9c7307286b81b1f75c30d94e42ac6e073d447bfc Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 9 Sep 2020 15:13:08 +0200 Subject: [PATCH] Minor refactoring of UpdatesRecorder: straighten up API, better encapsulation. --- .../jetbrains.mps.lang.coderules.program.mps | 211 +++++++++++------- ...ins.mps.coderules.typechecking.service.mps | 182 +++++---------- 2 files changed, 185 insertions(+), 208 deletions(-) diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps index 3ee29875..b6e37a90 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps @@ -323,9 +323,15 @@ + + + + + + @@ -340,12 +346,14 @@ + + @@ -469,6 +477,7 @@ + @@ -11610,26 +11619,6 @@ - - - - - - - - - - - - - - - - - - - - @@ -11989,13 +11978,6 @@ - - - - - - - @@ -12097,17 +12079,6 @@ - - - - - - - - - - - @@ -12122,49 +12093,7 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -12191,7 +12120,7 @@ - + @@ -12219,6 +12148,107 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12308,6 +12338,23 @@ + + + + + + + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps index 94d518af..f9d61a32 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps @@ -558,7 +558,6 @@ - @@ -12818,129 +12817,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -12948,7 +12824,62 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12974,7 +12905,6 @@ -