hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-20 18:56:32 +01:00
Code Issues Packages Projects Releases Wiki Activity

[Test gen] Gen methods for Set and Iterator

Browse Source
This commit is contained in:
Joe Farebrother
2021-09-17 11:22:50 +01:00
parent 0bff1b4afb
commit e946f49b64
1 changed files with 28 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

28
java/ql/src/utils/FlowTestCaseSupportMethods.qll
View File

@@ -364,6 +364,34 @@ private class ListGenMethod extends GenMethod {
override string getCall(string arg) { result = "List.of(" + arg + ")" }
}
private class SetGenMethod extends GenMethod {
SetGenMethod() { this = "SetGenMethod" }
override predicate appliesTo(Type t, Content c) {
exists(GenericType set | set.hasQualifiedName("java.util", "Set") |
t.getErasure() = set.getErasure()
) and
c instanceof CollectionContent
}
bindingset[arg]
override string getCall(string arg) { result = "Set.of(" + arg + ")" }
}
private class IteratorGenMethod extends GenMethod {
IteratorGenMethod() { this = "IteratorGenMethod" }
override predicate appliesTo(Type t, Content c) {
exists(GenericType set | set.hasQualifiedName("java.util", "Iterator") |
t.getErasure() = set.getErasure()
) and
c instanceof CollectionContent
}
bindingset[arg]
override string getCall(string arg) { result = "List.of(" + arg + ").iterator()" }
}
private class OptionalGenMethod extends GenMethod {
OptionalGenMethod() { this = "optionalgenmethod" }