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

Class Public::NegativeSummarizedCallable

A callable with a flow summary stating there is no flow via the callable.

Import path

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

Direct supertypes

Indirect supertypes

Predicates

isAutoGenerated

Holds if the negative summary is auto generated.

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