Package hydra.testing
Class HoistPredicate.CaseStatements
java.lang.Object
hydra.testing.HoistPredicate
hydra.testing.HoistPredicate.CaseStatements
- All Implemented Interfaces:
Serializable,Comparable<HoistPredicate>
- Enclosing class:
- HoistPredicate
public static final class HoistPredicate.CaseStatements
extends HoistPredicate
implements Serializable
Hoist case statements (elimination unions) that appear in non-top-level positions
- See Also:
-
Nested Class Summary
Nested classes/interfaces inherited from class hydra.testing.HoistPredicate
HoistPredicate.Applications, HoistPredicate.CaseStatements, HoistPredicate.Lists, HoistPredicate.Nothing, HoistPredicate.PartialVisitor<R>, HoistPredicate.Visitor<R> -
Field Summary
Fields inherited from class hydra.testing.HoistPredicate
APPLICATIONS, CASE_STATEMENTS, LISTS, NOTHING, TYPE_ -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescription<R> Raccept(HoistPredicate.Visitor<R> visitor) intcompareTo(HoistPredicate other) booleaninthashCode()
-
Constructor Details
-
CaseStatements
public CaseStatements()
-
-
Method Details
-
equals
-
hashCode
public int hashCode() -
compareTo
- Specified by:
compareToin interfaceComparable<HoistPredicate>
-
accept
- Specified by:
acceptin classHoistPredicate
-