// возвращает LocalVariableDeclarationStatement
        public override object VisitLocalVariableDeclaration([NotNull] DoshikParser.LocalVariableDeclarationContext context)
        {
            _compilationContext.SetParsingAntlrContext(context);

            var statement = new LocalVariableDeclarationStatement(_currentNode);

            statement.Variable = new Variable(statement);

            var foundType = GetTypeNameVisitor.Apply(_compilationContext, context.typeType());

            foundType.ThrowIfNotFound(_compilationContext);
            statement.Variable.Type = foundType.DataType;

            _declaringVariable = statement.Variable;

            _currentExpressionParent = statement;

            // Он инициализирует _declaringVariable
            Visit(context.variableDeclarator());

            // Добавляем переменную ПОСЛЕ выполнения инициализации, таким образом при выполнении выражения инициализации эта переменная еще будет недоступна для референеса
            // то есть нельзя будет сделать так int a = a + 1;
            // этим отличается инициализация переменной от обычного присваивания, где референсить присваемую переменную можно
            _currentScope.Variables.Add(statement.Variable.Name, statement.Variable);

            statement.Initializer = _declaringVariableInitializerExpression;

            if (statement.Initializer == null && IsInsideOfLoop())
            {
                // Если инициализатор не задан (то есть переменная объявлена без инициализирующего выражения)
                // и при этом мы находимся в теле цикла
                // то создаем неявное инициализирующее выражение = default(T), где T = statement.Variable.Type
                statement.Initializer = ExpressionBuilder.BuildDefaultOfType(_compilationContext, _currentExpressionParent, statement.Variable.Type);

                // это нужно, чтобы при объявлении локальной переменной в теле цикла при любой итерации цикла она имела дефолтное значение, если
                // ей не был указан инициализатор, иначе получится что ее значение будет переиспользоватья с предыдущей итерации

                // впринципе можно в любом случае делать этот искусственный инициализатор (даже если не в цикле), но вроде как если переменная
                // не находится в цикле то ее значение всегда будет дефолтным, если не было инициализатора
                // возможно это изменится при реализации рекурсивных юзерских функций
            }

            return(statement);
        }
Example #2
0
 /// <summary>
 /// Visit a parse tree produced by <see cref="DoshikParser.localVariableDeclaration"/>.
 /// <para>
 /// The default implementation returns the result of calling <see cref="AbstractParseTreeVisitor{Result}.VisitChildren(IRuleNode)"/>
 /// on <paramref name="context"/>.
 /// </para>
 /// </summary>
 /// <param name="context">The parse tree.</param>
 /// <return>The visitor result.</return>
 public virtual Result VisitLocalVariableDeclaration([NotNull] DoshikParser.LocalVariableDeclarationContext context)
 {
     return(VisitChildren(context));
 }
 /// <summary>
 /// Exit a parse tree produced by <see cref="DoshikParser.localVariableDeclaration"/>.
 /// <para>The default implementation does nothing.</para>
 /// </summary>
 /// <param name="context">The parse tree.</param>
 public virtual void ExitLocalVariableDeclaration([NotNull] DoshikParser.LocalVariableDeclarationContext context)
 {
 }