Package hydra.testing

Class HoistCaseStatementsTestCase

java.lang.Object

hydra.testing.HoistCaseStatementsTestCase

All Implemented Interfaces:

Serializable, Comparable<HoistCaseStatementsTestCase>

public class HoistCaseStatementsTestCase
extends Object
implements Serializable, 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
final Term	input	The input term
static final Name	INPUT
final Term	output	The expected output term with hoisted case statements
static final Name	OUTPUT
static final Name	TYPE_

Constructor Summary

Constructors

Constructor	Description
HoistCaseStatementsTestCase(Term input, Term output)

Method Summary

Modifier and Type	Method	Description
int	compareTo(HoistCaseStatementsTestCase other)
boolean	equals(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 Details

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 Details

HoistCaseStatementsTestCase

public HoistCaseStatementsTestCase(Term input,
 Term output)

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(HoistCaseStatementsTestCase other)

Specified by:

compareTo in interface Comparable<HoistCaseStatementsTestCase>

withInput

public HoistCaseStatementsTestCase withInput(Term input)

withOutput

public HoistCaseStatementsTestCase withOutput(Term output)