Package hydra.testing

Class NormalizeTypeVariablesTestCase

java.lang.Object

hydra.testing.NormalizeTypeVariablesTestCase

All Implemented Interfaces:

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

public class NormalizeTypeVariablesTestCase
extends java.lang.Object
implements java.io.Serializable, java.lang.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
Term	input	The term with type annotations to normalize
static Name	INPUT
Term	output	The expected term with normalized type variable names
static Name	OUTPUT
static 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(java.lang.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 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 term with type annotations to normalize

output

public final Term output

The expected term with normalized type variable names

Constructor Detail

NormalizeTypeVariablesTestCase

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

Specified by:

compareTo in interface java.lang.Comparable<NormalizeTypeVariablesTestCase>

withInput

public NormalizeTypeVariablesTestCase withInput(Term input)

withOutput

public NormalizeTypeVariablesTestCase withOutput(Term output)