Package hydra.testing

Class FreeVariablesTestCase

java.lang.Object

hydra.testing.FreeVariablesTestCase

All Implemented Interfaces:

Serializable, Comparable<FreeVariablesTestCase>

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

A test case which computes the free variables of a term and compares the result with an expected set of names

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
final Term	input	The term to analyze
static final Name	INPUT
final Set<Name>	output	The expected set of free variable names
static final Name	OUTPUT
static final Name	TYPE_

Constructor Summary

Constructors

Constructor	Description
FreeVariablesTestCase(Term input, Set<Name> output)

Method Summary

Modifier and Type	Method	Description
int	compareTo(FreeVariablesTestCase other)
boolean	equals(Object other)
int	hashCode()
FreeVariablesTestCase	withInput(Term input)
FreeVariablesTestCase	withOutput(Set<Name> 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 to analyze

output

public final Set<Name> output

The expected set of free variable names

Constructor Details

FreeVariablesTestCase

public FreeVariablesTestCase(Term input,
 Set<Name> 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(FreeVariablesTestCase other)

Specified by:

compareTo in interface Comparable<FreeVariablesTestCase>

withInput

public FreeVariablesTestCase withInput(Term input)

withOutput

public FreeVariablesTestCase withOutput(Set<Name> output)