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:

• Serialized Form

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

Constructor	Description
CaseStatements()

Method Summary

Modifier and Type	Method	Description
<R> R	accept(HoistPredicate.Visitor<R> visitor)
int	compareTo(HoistPredicate other)
boolean	equals(Object other)
int	hashCode()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Details

CaseStatements

public CaseStatements()

Method Details

equals

public boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

compareTo

public int compareTo(HoistPredicate other)

Specified by:

compareTo in interface Comparable<HoistPredicate>

accept

public <R> R accept(HoistPredicate.Visitor<R> visitor)

Specified by:

accept in class HoistPredicate