CodeQL library for Ruby

codeql/ruby-all 5.1.14 (changelog, source)

Module Private::SummaryComponent

Provides predicates for constructing summary components.

Import path

import codeql.ruby.dataflow.internal.FlowSummaryImpl

Predicates

block	Gets a summary component that represents a block argument.
elementAny	Gets a summary component that represents an element in a collection at either an unknown index or known index. This has the same semantics as
elementKnown	Gets a summary component that represents an element in a collection at a known index.
elementKnownOrUnknown	Gets a summary component that represents an element in a collection at a specific known index `cv`, or an unknown index.
elementLowerBound	Gets a summary component that represents an element in a collection at known integer index `lower` or above.
elementLowerBoundOrUnknown	Gets a summary component that represents an element in a collection at known integer index `lower` or above, or possibly at an unknown index.
elementUnknown	Gets a summary component that represents an element in a collection at an unknown index.
receiver	Gets a summary component that represents a receiver.
return	Gets a summary component that represents the return value of a call.

Aliases

argument	Gets a summary component for an argument at position `pos`.
content	Gets a summary component for content `c`.
parameter	Gets a summary component for a parameter at position `pos`.
withContent	Gets a summary component where data must be stored in `c`.
withoutContent	Gets a summary component where data is not allowed to be stored in `c`.