CodeQL library for Java/Kotlin
codeql/java-all 1.1.0 (changelog, source)
Search

Class Make::Private::SummarizedCallableImpl

A callable with a flow summary.

This interface is not meant to be used directly, instead use the public SummarizedCallable interface. However, if you need to use this, make sure that that all classes C that extend SummarizedCallableImpl also extend SummarizedCallable, using the following adapter pattern:

private class CAdapter extends SummarizedCallable instanceof C {
  override predicate propagatesFlow(string input, string output, boolean preservesValue, string model) {
    none()
  }

  override predicate hasProvenance(Provenance provenance) {
    C.super.hasProvenance(provenance)
  }
}

Import path

import codeql.dataflow.internal.FlowSummaryImpl

Direct supertypes

Known direct subtypes

    Predicates

    hasProvenance

    Holds if there exists a summary that applies to this callable that has provenance provenance.

    propagatesFlow

    Holds if data may flow from input to output through this callable.

    Inherited predicates

    Charpred