Package hydra.testing

Class FreeVariablesTestCase

java.lang.Object

hydra.testing.FreeVariablesTestCase

All Implemented Interfaces:

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

public class FreeVariablesTestCase
extends java.lang.Object
implements java.io.Serializable, java.lang.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
Term	input	The term to analyze
static Name	INPUT
PersistentSet<Name>	output	The expected set of free variable names
static Name	OUTPUT
static Name	TYPE_

Constructor Summary

Constructors

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

Method Summary

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

output

public final PersistentSet<Name> output

The expected set of free variable names

Constructor Detail

FreeVariablesTestCase

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

Specified by:

compareTo in interface java.lang.Comparable<FreeVariablesTestCase>

withInput

public FreeVariablesTestCase withInput(Term input)

withOutput

public FreeVariablesTestCase withOutput(PersistentSet<Name> output)