Class Guards::AbstractValues::EmptyCollectionValue

A value that represents an empty or non-empty collection.

Direct supertypes

Indirect supertypes

Predicates

branchImplies

Holds if taking the s branch out of cfe implies that e has this value.

isEmpty

Holds if this value represents an empty collection.

toString

Gets a textual representation of this abstract value.