Package hydra.testing

Class TestCase.RewriteTerm

java.lang.Object

hydra.testing.TestCase

hydra.testing.TestCase.RewriteTerm

All Implemented Interfaces:

Serializable, Comparable<TestCase>

Enclosing class:

TestCase

public static final class TestCase.RewriteTerm
extends TestCase
implements Serializable

A rewrite term 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 RewriteTermTestCase	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
RewriteTerm(RewriteTermTestCase 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 RewriteTermTestCase value

Constructor Details

RewriteTerm

public RewriteTerm(RewriteTermTestCase 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