fix EvilBeaver#1654: список параметров только через запятую +тесты

Author: Mr-Rm

src/OneScript.Language/SyntaxAnalysis/DefaultBslParser.cs

@@ -194,6 +194,7 @@ private void BuildVariableSection()
             {
                 PopContext();
             }
+
         }
 
         private void BuildVariableDefinition()
@@ -413,49 +414,55 @@ private void BuildMethodParameters(MethodSignatureNode signature)
 
             NextLexem(); // (
 
-            var expectParameter = false;
-            while (_lastExtractedLexem.Token != Token.ClosePar)
-            {
-                BuildAnnotations();
-                var param = new MethodParameterNode();
-                paramList.AddChild(param);
-                ApplyAnnotations(param);
-                // [Знач] Identifier [= Literal],...
-                if (_lastExtractedLexem.Token == Token.ByValParam)
-                {
-                    CreateChild(param, NodeKind.ByValModifier, _lastExtractedLexem);
-                    NextLexem();
-                }
-
-                if (!IsUserSymbol(_lastExtractedLexem))
-                {
-                    AddError(LocalizedErrors.IdentifierExpected());
-                    return;
-                }
-                CreateChild(param, NodeKind.Identifier, _lastExtractedLexem);
-                NextLexem();
-                if (_lastExtractedLexem.Token == Token.Equal)
-                {
-                    NextLexem();
-                    if(!BuildDefaultParameterValue(param, NodeKind.ParameterDefaultValue))
-                        return;
-                }
-
-                expectParameter = false;
-                if (_lastExtractedLexem.Token == Token.Comma)
-                {
-                    NextLexem();
-                    expectParameter = true;
-                }
-            }
-
-            if (expectParameter)
-            {
-                AddError(LocalizedErrors.IdentifierExpected(), false);
-            }
-            
+            if (_lastExtractedLexem.Token != Token.ClosePar)
+            while (true)
+            {
+                BuildMethodParameter(paramList);
+
+                if (_lastExtractedLexem.Token == Token.ClosePar)
+                {
+                    break;
+                }
+
+                if (_lastExtractedLexem.Token == Token.Comma)
+                {
+                    NextLexem();
+                }
+                else
+                {
+                    AddError(LocalizedErrors.TokenExpected(Token.ClosePar));
+                    return;
+                }
+            }
+
             NextLexem(); // )
+        }
 
+        private void BuildMethodParameter(NonTerminalNode paramList)
+        {
+            BuildAnnotations();
+            var param = new MethodParameterNode();
+            paramList.AddChild(param);
+            ApplyAnnotations(param);
+            // [Знач] Identifier [= Literal],...
+            if (_lastExtractedLexem.Token == Token.ByValParam)
+            {
+                CreateChild(param, NodeKind.ByValModifier, _lastExtractedLexem);
+                NextLexem();
+            }
+
+            if (!IsUserSymbol(_lastExtractedLexem))
+            {
+                AddError(LocalizedErrors.IdentifierExpected());
+                return;
+            }
+            CreateChild(param, NodeKind.Identifier, _lastExtractedLexem);
+            NextLexem();
+            if (_lastExtractedLexem.Token == Token.Equal)
+            {
+                NextLexem();
+                BuildDefaultParameterValue(param, NodeKind.ParameterDefaultValue);
+            }
         }
 
         private bool BuildDefaultParameterValue(NonTerminalNode param, NodeKind nodeKind)
@@ -526,6 +533,7 @@ private void BuildAnnotations()
                 _annotations.Add(node);
             }
         }
+
         private AnnotationNode BuildAnnotationDefinition() {
             var node = new AnnotationNode(NodeKind.Annotation, _lastExtractedLexem);
             NextLexem();
@@ -540,23 +548,31 @@ private void BuildAnnotationParameters(AnnotationNode annotation)
                 return;
 
             NextLexem();
-                
-            while (_lastExtractedLexem.Token != Token.EndOfText)
+
+            if (_lastExtractedLexem.Token != Token.ClosePar)
+            while (true)
             {
-                if (_lastExtractedLexem.Token == Token.ClosePar)
-                {
-                    NextLexem();
-                    break;
-                }
-            
-                BuildAnnotationParameter(annotation);
+                BuildAnnotationParameter(annotation);
+
+                if (_lastExtractedLexem.Token == Token.ClosePar)
+                {
+                    break;
+                }
+
                 if (_lastExtractedLexem.Token == Token.Comma)
                 {
                     NextLexem();
                 }
-            }
-        }
-        
+                else
+                {
+                    AddError(LocalizedErrors.TokenExpected(Token.ClosePar), false);
+                    return;
+                }
+            }
+
+            NextLexem(); // )
+        }
+
         private void BuildAnnotationParameter(AnnotationNode annotation)
         {
             bool success = true;
@@ -1146,59 +1162,48 @@ private void BuildCallParameters(NonTerminalNode callNode)
             try
             {
                 NextLexem(); // съели открывающую скобку
-                WalkCallArguments(node);
+                BuildCallArguments(node);
                 NextLexem(); // съели закрывающую скобку
             }
             finally
             {
                 PopStructureToken();
             }
-        }
-
-        private int WalkCallArguments(NonTerminalNode node)
-        {
-            int argCount = 0;
-            while (_lastExtractedLexem.Token != Token.ClosePar)
-            {
-                BuildCallArgument(node);
-                argCount++;
-            }
-
-            if (_lastExtractedLexem.Token != Token.ClosePar)
-            {
-                AddError(LocalizedErrors.TokenExpected(Token.ClosePar));
-                argCount = -1;
-            }
-
-            return argCount;
-        }
-
-        private void BuildCallArgument(NonTerminalNode argsList)
-        {
-            if (_lastExtractedLexem.Token == Token.Comma)
-            {
-                argsList.AddChild(new NonTerminalNode(NodeKind.CallArgument, _lastExtractedLexem));
+        }
 
-                BuildLastDefaultArg(argsList);
-            }
-            else if (_lastExtractedLexem.Token != Token.ClosePar)
-            {
-                var node = argsList.AddNode(new NonTerminalNode(NodeKind.CallArgument, _lastExtractedLexem));
-                BuildOptionalExpression(node, Token.Comma);
-                if (_lastExtractedLexem.Token == Token.Comma)
-                {
-                    BuildLastDefaultArg(argsList);
-                }
-            }
+        private void BuildCallArguments(NonTerminalNode node)
+        {
+            if (_lastExtractedLexem.Token != Token.ClosePar)
+            while (true)
+            {
+                BuildOptionalCallArgument(node);
+
+                if (_lastExtractedLexem.Token == Token.ClosePar)
+                {
+                    break;
+                }
+
+                if (_lastExtractedLexem.Token == Token.Comma)
+                {
+                    NextLexem();
+                }
+                else
+                {
+                    AddError(LocalizedErrors.TokenExpected(Token.ClosePar));
+                }
+            }
         }
 
-        private void BuildLastDefaultArg(NonTerminalNode argsList)
-        {
-            NextLexem();
-            if (_lastExtractedLexem.Token == Token.ClosePar)
+        private void BuildOptionalCallArgument(NonTerminalNode argsList)
+        {
+            var arg = argsList.AddNode(new NonTerminalNode(NodeKind.CallArgument, _lastExtractedLexem));
+            if (_lastExtractedLexem.Token == Token.Comma
+                || _lastExtractedLexem.Token == Token.ClosePar)
             {
-                argsList.AddChild(new NonTerminalNode(NodeKind.CallArgument, _lastExtractedLexem));
-            }
+                return;
+            }
+
+            arg.AddNode( BuildExpression(0) );
         }
 
         #endregion
@@ -1480,7 +1485,7 @@ private void NewObjectDynamicConstructor(NonTerminalNode node)
                     // есть аргументы после имени
                     NextLexem();
                 }
-                WalkCallArguments(callArgs);
+                BuildCallArguments(callArgs);
                 node.AddChild(callArgs);
                 NextLexem();
             }

src/Tests/OneScript.Language.Tests/ParserTests.cs

@@ -1251,9 +1251,29 @@ public void Check_Question_Operator_Delimiters()
         {
             var code = @"Ф = ?(Истина? 1 ; 2);";
 
+            CatchParsingError(code);
+        }
+
+        [Fact]
+        public void Check_Method_Definition_Delimiters()
+        {
+            var code = @"Процедура Проц1(арг1 арг2)
+                КонецПроцедуры";
+
             CatchParsingError(code);
         }
 
+        [Fact]
+        public void Check_Method_Call_Delimiters()
+        {
+            var code = @"Процедура Проц1(арг1, арг2)
+                КонецПроцедуры
+                Проц1(""1"" 2)";
+
+            CatchParsingError(code);
+        }
+
+
 
         [Fact]
         public void TestLocalExportVar()