Package hydra.testing

Class TestCase.DelegatedEvaluation

java.lang.Object

hydra.testing.TestCase

hydra.testing.TestCase.DelegatedEvaluation

All Implemented Interfaces:

Serializable, Comparable<TestCase>

Enclosing class:

TestCase

public static final class TestCase.DelegatedEvaluation
extends TestCase
implements Serializable

A delegated evaluation 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 DelegatedEvaluationTestCase	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
DelegatedEvaluation(DelegatedEvaluationTestCase 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 DelegatedEvaluationTestCase value

Constructor Details

DelegatedEvaluation

public DelegatedEvaluation(DelegatedEvaluationTestCase 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