Package hydra.testing

Class TestCase.UnifyTypes

java.lang.Object

hydra.testing.TestCase

hydra.testing.TestCase.UnifyTypes

All Implemented Interfaces:

Serializable, Comparable<TestCase>

Enclosing class:

TestCase

public static final class TestCase.UnifyTypes
extends TestCase
implements Serializable

A type unification test

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class hydra.testing.TestCase

TestCase.AlphaConversion, TestCase.CaseConversion, TestCase.DeannotateTerm, TestCase.DeannotateType, TestCase.DelegatedEvaluation, TestCase.EtaExpansion, TestCase.Evaluation, TestCase.FlattenLetTerms, TestCase.FoldOverTerm, TestCase.FreeVariables, TestCase.HoistCaseStatements, TestCase.HoistLetBindings, TestCase.HoistPolymorphicLetBindings, TestCase.HoistSubterms, TestCase.Inference, TestCase.InferenceFailure, TestCase.JoinTypes, TestCase.JsonCoder, TestCase.JsonDecode, TestCase.JsonEncode, TestCase.JsonParser, TestCase.JsonRoundtrip, TestCase.JsonWriter, TestCase.LiftLambdaAboveLet, TestCase.NormalizeTypeVariables, TestCase.PartialVisitor<R>, TestCase.RewriteTerm, TestCase.RewriteType, TestCase.Serialization, TestCase.SimplifyTerm, TestCase.SubstInType, TestCase.TopologicalSort, TestCase.TopologicalSortBindings, TestCase.TopologicalSortSCC, TestCase.TypeChecking, TestCase.TypeCheckingFailure, TestCase.TypeReduction, TestCase.UnifyTypes, TestCase.UnshadowVariables, TestCase.VariableOccursInType, TestCase.Visitor<R>

Field Summary

Fields

Modifier and Type	Field	Description
final UnifyTypesTestCase	value

Fields inherited from class hydra.testing.TestCase

ALPHA_CONVERSION, CASE_CONVERSION, DEANNOTATE_TERM, DEANNOTATE_TYPE, DELEGATED_EVALUATION, ETA_EXPANSION, EVALUATION, FLATTEN_LET_TERMS, FOLD_OVER_TERM, FREE_VARIABLES, HOIST_CASE_STATEMENTS, HOIST_LET_BINDINGS, HOIST_POLYMORPHIC_LET_BINDINGS, HOIST_SUBTERMS, INFERENCE, INFERENCE_FAILURE, JOIN_TYPES, JSON_CODER, JSON_DECODE, JSON_ENCODE, JSON_PARSER, JSON_ROUNDTRIP, JSON_WRITER, LIFT_LAMBDA_ABOVE_LET, NORMALIZE_TYPE_VARIABLES, REWRITE_TERM, REWRITE_TYPE, SERIALIZATION, SIMPLIFY_TERM, SUBST_IN_TYPE, TOPOLOGICAL_SORT, TOPOLOGICAL_SORT_BINDINGS, TOPOLOGICAL_SORT_S_C_C, TYPE_, TYPE_CHECKING, TYPE_CHECKING_FAILURE, TYPE_REDUCTION, UNIFY_TYPES, UNSHADOW_VARIABLES, VARIABLE_OCCURS_IN_TYPE

Constructor Summary

Constructors

Constructor	Description
UnifyTypes(UnifyTypesTestCase value)

Method Summary

Modifier and Type	Method	Description
<R> R	accept(TestCase.Visitor<R> visitor)
int	compareTo(TestCase other)
boolean	equals(Object other)
int	hashCode()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Details

value

public final UnifyTypesTestCase value

Constructor Details

UnifyTypes

public UnifyTypes(UnifyTypesTestCase value)

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(TestCase other)

Specified by:

compareTo in interface Comparable<TestCase>

accept

public <R> R accept(TestCase.Visitor<R> visitor)

Specified by:

accept in class TestCase