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

Class Public::SummarizedCallable

A callable with a flow summary.

Import path

import semmle.code.java.dataflow.internal.FlowSummaryImpl

Direct supertypes

Indirect supertypes

Known direct subtypes

    Predicates

    hasProvenance

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

    isAutoGenerated

    Holds if all the summaries that apply to this are auto generated and not manually created.

    isManual

    Holds if there exists a manual summary that applies to this.

    propagatesFlow

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

    Inherited predicates

    asCallable

    Gets this callable cast as a Callable.

    from SummarizedCallableBase
    asSyntheticCallable

    Gets this callable cast as a SyntheticCallable.

    from SummarizedCallableBase
    getACall

    Gets a call that targets this callable.

    from SummarizedCallableBase
    getLocation

    Gets the source location for this callable.

    from SummarizedCallableBase
    getParameterType

    Gets the type of the parameter at the specified position with -1 indicating the instance parameter.

    from SummarizedCallableBase
    getReturnType

    Gets the return type of this callable.

    from SummarizedCallableBase
    toString

    Gets a textual representation of this callable.

    from SummarizedCallableBase

    Charpred