Skip to content

Commit 1fac08e

Browse files
committed
Swift: add qldoc for ArrayContent and Array models
1 parent dfa5e18 commit 1fac08e

File tree

2 files changed

+8
-0
lines changed

2 files changed

+8
-0
lines changed

swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPublic.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -207,6 +207,7 @@ module Content {
207207
}
208208
}
209209

210+
/** An element of an array at an unknown index */
210211
class ArrayContent extends Content, TArrayContent {
211212
override string toString() { result = "Array element" }
212213
}

swift/ql/lib/codeql/swift/frameworks/StandardLibrary/Array.qll

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,13 @@
1+
/**
2+
* Provides models for `Array` and related Swift classes.
3+
*/
4+
15
import swift
26
private import codeql.swift.dataflow.ExternalFlow
37

8+
/**
9+
* An instance of the `Array` type.
10+
*/
411
class ArrayType extends BoundGenericType {
512
ArrayType() { this.getName().matches("Array<%") }
613
}

0 commit comments

Comments
 (0)