Package hydra.testing

Class NormalizeTypeVariablesTestCase

java.lang.Object

hydra.testing.NormalizeTypeVariablesTestCase

All Implemented Interfaces:

Serializable, Comparable<NormalizeTypeVariablesTestCase>

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

A test case which normalizes type variables in a term (renaming them to t0, t1, t2, etc.) and compares the result with the expected term

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
final Term	input	The term with type annotations to normalize
static final Name	INPUT
final Term	output	The expected term with normalized type variable names
static final Name	OUTPUT
static final Name	TYPE_

Constructor Summary

Constructors

Constructor	Description
NormalizeTypeVariablesTestCase(Term input, Term output)

Method Summary

Modifier and Type	Method	Description
int	compareTo(NormalizeTypeVariablesTestCase other)
boolean	equals(Object other)
int	hashCode()
NormalizeTypeVariablesTestCase	withInput(Term input)
NormalizeTypeVariablesTestCase	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 term with type annotations to normalize

output

public final Term output

The expected term with normalized type variable names

Constructor Details

NormalizeTypeVariablesTestCase

public NormalizeTypeVariablesTestCase(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(NormalizeTypeVariablesTestCase other)

Specified by:

compareTo in interface Comparable<NormalizeTypeVariablesTestCase>

withInput

public NormalizeTypeVariablesTestCase withInput(Term input)

withOutput

public NormalizeTypeVariablesTestCase withOutput(Term output)