HoistPredicate.CaseStatements (hydra-java 0.14.1 API)

java.lang.Object
- hydra.testing.HoistPredicate
- - hydra.testing.HoistPredicate.CaseStatements

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<HoistPredicate>

Enclosing class:

HoistPredicate
```
public static final class HoistPredicate.CaseStatements
extends HoistPredicate
implements java.io.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

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`<R> R`	`accept(HoistPredicate.Visitor<R> visitor)`
`int`	`compareTo(HoistPredicate other)`
`boolean`	`equals(java.lang.Object other)`
`int`	`hashCode()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - CaseStatements
```
public CaseStatements()
```
- Method Detail
  - equals
```
public boolean equals(java.lang.Object other)
```
    Overrides:
    
    equals in class java.lang.Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class java.lang.Object
  - compareTo
```
public int compareTo(HoistPredicate other)
```
    Specified by:
    
    compareTo in interface java.lang.Comparable<HoistPredicate>
  - accept
```
public <R> R accept(HoistPredicate.Visitor<R> visitor)
```
    Specified by:
    
    accept in class HoistPredicate