Minor refactor of constantQualifiedName

This commit is contained in:
Harry Maclean
2021-08-23 16:12:06 +01:00
parent 34f02ee622
commit d3f683e573

View File

@@ -85,8 +85,8 @@ newtype DefLoc =
*/
string constantQualifiedName(ConstantWriteAccess w) {
/* get the qualified name for the parent module, then append w */
exists(ConstantWriteAccess parent |
parent = w.getEnclosingModule() and result = constantQualifiedName(parent) + "::" + w.getName()
exists(ConstantWriteAccess parent | parent = w.getEnclosingModule() |
result = constantQualifiedName(parent) + "::" + w.getName()
)
or
/* base case - there's no parent module */