hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-04 21:25:44 +02:00
Code Issues Packages Projects Releases Wiki Activity

Swift: Fix ConditionElement.toString().

Browse Source
This commit is contained in:
Geoffrey White
2023-02-09 21:07:58 +00:00
parent 13c7c8449c
commit 224bc9381a
2 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
swift/ql/lib/codeql/swift/elements/stmt/ConditionElement.qll
View File

@@ -6,5 +6,7 @@ class ConditionElement extends Generated::ConditionElement {
result = this.getBoolean().toString()
or
result = this.getPattern().toString() + " = ... "
or
result = this.getAvailability().toString()
}
}

4
swift/ql/test/library-tests/ast/PrintAst.expected
View File

@@ -5898,7 +5898,7 @@ statements.swift:
# 87| getBody(): [BraceStmt] { ... }
# 87| getElement(0): [IfStmt] if ... then { ... }
# 87| getCondition(): [StmtCondition] StmtCondition
# 87| getElement(0): (no string representation)
# 87| getElement(0): [ConditionElement] #available
# 87| getAvailability(): [AvailabilityInfo] #available
# 87| getSpec(0): [PlatformVersionAvailabilitySpec] macOS 155
# 87| getSpec(1): [OtherAvailabilitySpec] *
@@ -5918,7 +5918,7 @@ statements.swift:
# 91| getBody(): [BraceStmt] { ... }
# 91| getElement(0): [IfStmt] if ... then { ... }
# 91| getCondition(): [StmtCondition] StmtCondition
# 91| getElement(0): (no string representation)
# 91| getElement(0): [ConditionElement] #unavailable
# 91| getAvailability(): [AvailabilityInfo] #unavailable
# 91| getSpec(0): [PlatformVersionAvailabilitySpec] macOS 42
# 91| getThen(): [BraceStmt] { ... }