Add unique wrapper to AstNode::getParent()

This commit is contained in:
Tom Hvitved
2020-11-23 12:21:47 +01:00
parent 41a76eeb01
commit d0257dda36
3 changed files with 39 additions and 6 deletions

View File

@@ -11,7 +11,9 @@ class AstNode extends @ast_node {
Location getLocation() { none() }
AstNode getParent() { this = result.getAFieldOrChild() }
AstNode getParent() {
result = unique(AstNode parent | this = parent.getAFieldOrChild() | parent)
}
AstNode getAFieldOrChild() { none() }