Implement decodeUnknownArgument/ParameterPosition

This commit is contained in:
Asger F
2024-06-26 13:39:04 +02:00
parent 3bebd709b3
commit e67e89dd70

View File

@@ -419,7 +419,8 @@ string encodeWithContent(ContentSet c, string arg) { result = "With" + encodeCon
*/
bindingset[token]
ParameterPosition decodeUnknownParameterPosition(AccessPathSyntax::AccessPathTokenBase token) {
none()
token.getName() = "Parameter" and
desugaredPositionName(result, token.getAnArgument())
}
/**
@@ -432,7 +433,8 @@ ParameterPosition decodeUnknownParameterPosition(AccessPathSyntax::AccessPathTok
*/
bindingset[token]
ArgumentPosition decodeUnknownArgumentPosition(AccessPathSyntax::AccessPathTokenBase token) {
none()
token.getName() = "Argument" and
desugaredPositionName(result, token.getAnArgument())
}
/**