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
| applyGeneratedModel |
Holds if all the summaries that apply to this callable are auto generated and not manually created. That is, only apply generated models, when there are no manual models. |
| applyManualModel |
Holds if there exists a manual summary that applies to this callable. Always apply manual models if they exist. |
| hasGeneratedModel |
Holds if there exists a generated summary that applies to this callable. |
| hasManualModel |
Holds if there exists a manual summary that applies to this callable. |
| hasProvenance |
Holds if there exists a summary that applies to this callable that has provenance |
| propagatesFlow |
Holds if data may flow from |
Inherited predicates
| asCallable |
Gets this callable cast as a |
from SummarizedCallableBase |
| asSyntheticCallable |
Gets this callable cast as a |
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 |