Package hydra.testing

Class TypeReductionTestCase

java.lang.Object

hydra.testing.TypeReductionTestCase

All Implemented Interfaces:

Serializable, Comparable<TypeReductionTestCase>

public class TypeReductionTestCase
extends Object
implements Serializable, Comparable<TypeReductionTestCase>

A test case which performs beta reduction on a type (reducing type applications) and compares the result with the expected type

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
final Type	input	The type to reduce
static final Name	INPUT
final Type	output	The expected reduced type
static final Name	OUTPUT
static final Name	TYPE_

Constructor Summary

Constructors

Constructor	Description
TypeReductionTestCase(Type input, Type output)

Method Summary

Modifier and Type	Method	Description
int	compareTo(TypeReductionTestCase other)
boolean	equals(Object other)
int	hashCode()
TypeReductionTestCase	withInput(Type input)
TypeReductionTestCase	withOutput(Type 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 Type input

The type to reduce

output

public final Type output

The expected reduced type

Constructor Details

TypeReductionTestCase

public TypeReductionTestCase(Type input,
 Type 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(TypeReductionTestCase other)

Specified by:

compareTo in interface Comparable<TypeReductionTestCase>

withInput

public TypeReductionTestCase withInput(Type input)

withOutput

public TypeReductionTestCase withOutput(Type output)