Declaration in Stored Procedure is used to prepend further statements => Error

[windiana42]

Declaration in Stored Procedure is used to prepend further statements => Error

[windiana42]

I already located the problem near tsql.py:115:

        if isinstance(node, tsqlParser.Declare_statementContext):
            self.dynamics.extend(result)

[windiana42]

Here is a failing testcase: 58a61a7

[windiana42]

I am trying to reliably detect whether DECLARE is a top level statement. My current hypothesis is: a DECLARE statement is top level if the chain of parentCtx to the root (BatchContext) only includes Sql_clauseContext or Sql_clausesContext objects.

    @staticmethod
    def is_top_level_statement(node: ParserRuleContext):
        """Check wether node is a top level SQL statement."""
        cur = node.parentCtx
        while isinstance(cur, tsqlParser.Sql_clauseContext) or isinstance(cur, tsqlParser.Sql_clausesContext):
            cur = cur.parentCtx
        return isinstance(cur, tsqlParser.BatchContext)

[windiana42]

Why is the expectation that this SQL code should result in @declare statement to be unconditionally copied?

def test_declaration_in_control_flow():
        seed = """
        IF 1 = 1
            DECLARE @A INT = 5
        SELECT * FROM x

If it is, we might have to parse the IF statement outcome:

        IF 1 = 0
            DECLARE @A INT = 5
        GO
        SELECT @A

The second with GO actually does not work in TSQL either. But this does:

DECLARE @A INT = 5
GO
SELECT @A