Skip to content

Commit

Permalink
Ensure node are present only once in the desugared AST
Browse files Browse the repository at this point in the history
  • Loading branch information
eregon committed Aug 31, 2023
1 parent 9a66737 commit 7b090bc
Showing 1 changed file with 23 additions and 1 deletion.
24 changes: 23 additions & 1 deletion test/yarp/desugar_visitor_test.rb
Original file line number Diff line number Diff line change
Expand Up @@ -51,14 +51,36 @@ def ast_inspect(node)
"(#{parts.join(" ")})"
end

# Ensure every node is only present once in the AST.
# If the same node is present twice it would most likely indicate it is executed twice, which is invalid semantically.
# This also acts as a sanity check that Node#child_nodes returns only nodes or nil (which caught a couple bugs).
class EnsureEveryNodeOnceInAST < Visitor
def initialize
@all_nodes = {}.compare_by_identity
end

def visit(node)
if node
if @all_nodes.include?(node)
raise "#{node.inspect} is present multiple times in the desugared AST and likely executed multiple times"
else
@all_nodes[node] = true
end
end
super(node)
end
end

def assert_desugars(expected, source)
ast = YARP.parse(source).value.accept(DesugarVisitor.new)
assert_equal expected, ast_inspect(ast.statements.body.last)

ast.accept(EnsureEveryNodeOnceInAST.new)
end

def assert_not_desugared(source, reason)
ast = YARP.parse(source).value
assert_equal_nodes(ast, ast.accept(YARP::DesugarVisitor.new))
assert_equal_nodes(ast, ast.accept(DesugarVisitor.new))
end
end
end

0 comments on commit 7b090bc

Please sign in to comment.