Skip to content

Commit

Permalink
Fix code review findings
Browse files Browse the repository at this point in the history
  • Loading branch information
tamasvajk committed Apr 23, 2021
1 parent a8a920c commit 1b4c3c7
Showing 1 changed file with 2 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -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" }
}

0 comments on commit 1b4c3c7

Please sign in to comment.