HoistCaseStatementsTestCase (hydra-java 0.14.1 API)

java.lang.Object
- hydra.testing.HoistCaseStatementsTestCase

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<HoistCaseStatementsTestCase>
```
public class HoistCaseStatementsTestCase
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable<HoistCaseStatementsTestCase>
```
A test case for the hoistCaseStatements function, which hoists case statements into let bindings, but only when they appear inside a lambda body. This is used for targets like Python which don't support inline match expressions.

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type	Field	Description
`Term`	`input`	The input term
`static Name`	`INPUT`
`Term`	`output`	The expected output term with hoisted case statements
`static Name`	`OUTPUT`
`static Name`	`TYPE_`

Constructor Summary

Constructors
Constructor Description

HoistCaseStatementsTestCase(Term input, Term output)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`int`	`compareTo(HoistCaseStatementsTestCase other)`
`boolean`	`equals(java.lang.Object other)`
`int`	`hashCode()`
`HoistCaseStatementsTestCase`	`withInput(Term input)`
`HoistCaseStatementsTestCase`	`withOutput(Term output)`

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

Field Detail

TYPE_
```
public static final Name TYPE_
```

INPUT
```
public static final Name INPUT
```

OUTPUT
```
public static final Name OUTPUT
```

input
```
public final Term input
```
The input term

output
```
public final Term output
```
The expected output term with hoisted case statements

Constructor Detail

HoistCaseStatementsTestCase

public HoistCaseStatementsTestCase(Term input,
                                   Term output)

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(HoistCaseStatementsTestCase other)
```
Specified by:

compareTo in interface java.lang.Comparable<HoistCaseStatementsTestCase>

withInput

public HoistCaseStatementsTestCase withInput(Term input)

withOutput

public HoistCaseStatementsTestCase withOutput(Term output)