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

Swift: make some ParentChild predicates private

Browse Source
This commit is contained in:
Paolo Tranquilli
2022-08-30 10:35:08 +02:00
parent beb0472811
commit 9102cb5d0d
2 changed files with 412 additions and 290 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
swift/codegen/templates/ql_parent.mustache
View File

@@ -4,13 +4,13 @@ import codeql.swift.elements
private module Impl {
{{#classes}}
Element getImmediateChildOf{{name}}({{name}} e, int index, string partialPredicateCall) {
private Element getImmediateChildOf{{name}}({{name}} e, int index, string partialPredicateCall) {
{{! avoid unused argument warnings on root element, assuming the root element has no children }}
{{#root}}none(){{/root}}
{{^root}}
{{! b is the base offset 0, for ease of generation }}
{{! b<base> is constructed to be strictly greater than the indexes required for children coming from <base> }}
{{! n is the base offset for direct children, equal to the last base offsets from above }}
{{! n is the base offset for direct children, equal to the last base offset from above }}
{{! n<child> is constructed to be strictly greater than the indexes for <child> children }}
exists(int b{{#bases}}, int b{{.}}{{/bases}}, int n{{#properties}}{{#is_child}}, int n{{singular}}{{/is_child}}{{/properties}} |
b = 0

698
swift/ql/lib/codeql/swift/generated/ParentChild.qll
View File

File diff suppressed because it is too large Load Diff