CodeQL library for Swift
codeql/swift-all 3.0.1-dev (changelog, source)
Search

Module DerivedToBaseExprConstructor

This module defines the hook used internally to tweak the characteristic predicate of DerivedToBaseExpr synthesized instances. INTERNAL: Do not use.

Import path

import codeql.swift.elements.expr.internal.DerivedToBaseExprConstructor

Predicates

constructDerivedToBaseExpr

The characteristic predicate of DerivedToBaseExpr synthesized instances. INTERNAL: Do not use.