Fix code review findings

This commit is contained in:
Tamas Vajk
2021-04-23 13:44:34 +02:00
parent a8a920c8f0
commit 1b4c3c7415

View File

@@ -26,11 +26,9 @@ class SystemConsoleReadSource extends LocalUserInputSource {
SystemConsoleReadSource() {
this.asExpr() =
any(MethodCall call |
call.getTarget().hasQualifiedName("System.Console", "ReadLine") or
call.getTarget().hasQualifiedName("System.Console", "Read") or
call.getTarget().hasQualifiedName("System.Console", "ReadKey")
call.getTarget().hasQualifiedName("System.Console", ["ReadLine", "Read", "ReadKey"])
)
}
override string getSourceType() { result = "TextBox text" }
override string getSourceType() { result = "System.Console input" }
}