Псевдокомментарий *$IDENT как замена ключевого слова $LABEL (#195)

В заявке #195 предлагалось заменить $LABEL на *$PRAGMA-NATIVE-IDENTS, но было выбрано слово $IDENT. Во-первых, вещь второстепенная и с удалением нативных вставок (см. #318) она будет удалена, во-вторых, имеющийся код легко расширить новым ключевым словом, если оно совпадает с точностью до регистра с узлом дерева. А директива $LABEL отображается на узел дерева (Ident t.Pos e.Name).
bmstu-iu9 · Aug 23, 2021 · c98fd25 · c98fd25
1 parent 05d0884
commit c98fd25
Show file tree

Hide file tree

Showing 2 changed files with 28 additions and 9 deletions.
diff --git a/autotests/refal5-pseudocomment-ident.ref b/autotests/refal5-pseudocomment-ident.ref
@@ -0,0 +1,15 @@
+*$IDENT _-x;
+
+$ENTRY Go {
+%%
+  (void) arg_begin;
+  (void) arg_end;
+
+  refalrts::RefalIdentifier mingled = refalrts::ident_implode(vm, "_-x");
+  if (mingled != identifiers[ident_u_m_x]) {
+    return refalrts::cRecognitionImpossible;
+  }
+
+  return refalrts::cSuccess;
+%%
+}
diff --git a/src/compiler/R5-Parser.ref b/src/compiler/R5-Parser.ref
@@ -85,51 +85,55 @@ DoScanPseudocomments {
 
 ParsePseudocomment {
   t.ErrorList t.Pos (TkName t._ e.Name) e.Tokens
-    , Opt Drive Spec NoOpt NoDrive NoSpec : e._ s.Node e._
+    , Opt Drive Spec NoOpt NoDrive NoSpec Ident : e._ s.Node e._
     , <Upper <Explode s.Node>> : e.Name
-    = <ParseOptPseudocomment t.Pos s.Node (/* scanned */) t.ErrorList e.Tokens>;
+    = <ParseNameListPseudocomment
+        t.Pos s.Node (/* scanned */) t.ErrorList e.Tokens
+      >;
 
   t.ErrorList t.Pos e._unrecognized
     = t.ErrorList /* пропускаем неопознанный псевдокомментарий */;
 }
 
-ParseOptPseudocomment {
+ParseNameListPseudocomment {
   t.Pos s.Node (e.Scanned) t.ErrorList
   (TkName t.NamePos e.Name) e.Tokens
-    = <ParseOptPseudocomment
+    = <ParseNameListPseudocomment
         t.Pos s.Node (e.Scanned (s.Node t.NamePos e.Name)) t.ErrorList
         e.Tokens
       >;
 
   t.Pos s.Node (e.Scanned) t.ErrorList (s.Separator t._) e.Tokens
     , TkComma TkSemicolon : e._ s.Separator e._
-    = <ParseOptPseudocomment t.Pos s.Node (e.Scanned) t.ErrorList e.Tokens>;
+    = <ParseNameListPseudocomment
+        t.Pos s.Node (e.Scanned) t.ErrorList e.Tokens
+      >;
 
   t.Pos s.Node (/* нет имён */) t.ErrorList (TkEOF t._)
     = <EL-AddWarningAt
-        t.ErrorList pseudocomment t.Pos 'No names in optimization pseudocomment'
+        t.ErrorList pseudocomment t.Pos 'No names in name list pseudocomment'
       >;
 
   t.Pos s.Node (e.Scanned) t.ErrorList (TkEOF t._) = t.ErrorList e.Scanned;
 
   t.Pos s.Node (e.Scanned) t.ErrorList (TkError t.ErrPos e.Message) e.Tokens
-    = <ParseOptPseudocomment
+    = <ParseNameListPseudocomment
         t.Pos s.Node (e.Scanned)
         <EL-AddWarningAt t.ErrorList pseudocomment t.ErrPos e.Message>
         e.Tokens
       >;
 
   t.Pos s.Node (e.Scanned) t.ErrorList (TkWarning t.WarnPos s.Type e.Message)
   e.Tokens
-    = <ParseOptPseudocomment
+    = <ParseNameListPseudocomment
         t.Pos s.Node (e.Scanned)
         <EL-AddWarningAt t.ErrorList pseudocomment t.WarnPos e.Message>
         e.Tokens
       >;
 
   t.Pos s.Node (e.Scanned) t.ErrorList t.Unexpected e.Tokens
     = t.Unexpected : (s.Type t.TokPos e.Value)
-    = <ParseOptPseudocomment
+    = <ParseNameListPseudocomment
         t.Pos s.Node (e.Scanned)
         <EL-AddWarningAt
           t.ErrorList pseudocomment t.TokPos