Рефакторинг: переименование Solve → Solve-Drive (#340, #251, #322)

Смысл в том, что в рамках задач #251 и #322 потребуется разработать функцию обобщённого сопоставления с другим интерфейсом — Solve-Spec. Эта функция будет возвращать либо просто решение (когда решение существует), либо динамическое обобщение левой части аргумента и результат для него. Функции Solve-Drive и Solve-Spec будут обёртками над некоторым внутренним кодом в GenericMatch.ref.
bmstu-iu9 · Apr 9, 2021 · 7119e63 · 7119e63
1 parent fa24003
commit 7119e63
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/src/compiler/GenericMatch.ref b/src/compiler/GenericMatch.ref
@@ -31,7 +31,7 @@ FormatAssigns {
 
 $ENTRY GenericMatch {
   (e.Pattern) (e.LPattern)
-    = <Solve
+    = <Solve-Drive
         (<ExtractVariables ((e.Pattern e.LPattern) (/* пусто */))>)
         ((e.Pattern) ':' (e.LPattern))
       >
@@ -53,7 +53,7 @@ IsSVarSubset {
 }
 
 /*
-  <Solve (e.UsedVars) t.Equation>
+  <Solve-Drive (e.UsedVars) t.Equation>
     == Success t.Result* | Undefined | Failure
 
     t.Contr ::= (t.Var ':' e.Val)
@@ -62,7 +62,7 @@ IsSVarSubset {
     t.Result ::= ((t.Contr*) (t.Assign*))
 */
 
-$ENTRY Solve {
+$ENTRY Solve-Drive {
   (e.UsedVars) ((e.Expr) ':' (e.Lexpr))
     = <Solve-Aux (e.UsedVars) () ((e.Expr) ':' (e.Lexpr)) ()>
     : {
@@ -72,7 +72,7 @@ $ENTRY Solve {
     };
 }
 
-/* Преобразует формат результата функции Solve-Aux к формату Solve */
+/* Преобразует формат результата функции Solve-Aux к формату Solve-Drive */
 
 CombineResults {
   (e.Solutions) Success (e.Contrs) (e.Assigns) e.Rest

diff --git a/src/compiler/OptTree-Drive-Expr.ref b/src/compiler/OptTree-Drive-Expr.ref
@@ -5,7 +5,7 @@ $INCLUDE "LibraryEx";
 $EXTERN HashName;
 
 *$FROM GenericMatch
-$EXTERN Solve;
+$EXTERN Solve-Drive;
 
 
 IsPassiveCall {
@@ -633,7 +633,7 @@ DoOptExpr-MakeSubstitutions {
   s.Mode (e.SentenceVars) (e.Args) (e.Substitutions)
   (Function (e.Name) Sentences ((e.LS) (e.RS)) e.Rest)
     = <Cleanup-Step-Drop e.RS> : e.RS^
-    = <Solve (e.SentenceVars) ((e.Args) ':' (e.LS))>
+    = <Solve-Drive (e.SentenceVars) ((e.Args) ':' (e.LS))>
     : {
         /*
           В случае решения без сужений просто применяем замены.