Class Guards::AbstractValues::MatchValue

A value that represents match or non-match against a specific case statement.

Direct supertypes

Indirect supertypes

Predicates

branchImplies

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

getCaseStmt

Gets the case statement.

isMatch

Holds if this value represents a match.

toString

Gets a textual representation of this abstract value.