CodeQL library for Ruby

codeql/ruby-all 0.8.15-dev (changelog, source)

Class DataFlow::ContentSet

An entity that represents a set of Contents.

The set may be interpreted differently depending on whether it is stored into (getAStoreContent) or read from (getAReadContent).

Import path

import ruby

Direct supertypes

TContentSet

Predicates

getAReadContent	Gets a content that may be read from when reading from this set.
getAStoreContent	Gets a content that may be stored into when storing into this set.
isAnyElement	Holds if this content set represents all `ElementContent`s.
isElementLowerBound	Holds if this content set represents all `KnownElementContent`s where the index is an integer greater than or equal to `lower`.
isElementLowerBoundOrUnknown	Holds if this content set represents `UnknownElementContent` unioned with all `KnownElementContent`s where the index is an integer greater than or equal to `lower`.
isElementOfType	Holds if this content set represents all `KnownElementContent`s where the index is of type `type`, as per `ConstantValue::getValueType/0`.
isElementOfTypeOrUnknown	Holds if this content set represents `UnknownElementContent` unioned with all `KnownElementContent`s where the index is of type `type`, as per `ConstantValue::getValueType/0`.
isKnownOrUnknownElement	Holds if this content set represents a specific known element index, or an unknown element index.
isSingleton	Holds if this content set is the singleton `{c}`.
toString	Gets a textual representation of this content set.