Predicate Public :: SummaryComponent :: return
Gets a summary component for a return of kind rk.
Import path
import semmle.code.java.dataflow.internal.FlowSummaryImpl
SummaryComponent
return
(
ReturnKind
rk
)