We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c663809 commit cb1c682Copy full SHA for cb1c682
shared/dataflow/codeql/dataflow/DataFlow.qll
@@ -178,13 +178,18 @@ signature module InputSig {
178
}
179
180
/**
181
- * A content approximation.
+ * A content approximation. A content approximation corresponds with one or
182
+ * more `Content`s, and is used to provide an in-between level of precision
183
+ * for pruning.
184
*/
185
class ContentApprox {
186
/** Gets a textual representation of this element. */
187
string toString();
188
189
190
+ /**
191
+ * Gets the content approximation for content `c`.
192
+ */
193
ContentApprox getContentApprox(Content c);
194
195
class ParameterPosition {
0 commit comments