Package hydra.accessors

Class TermAccessor.UnionCasesBranch

java.lang.Object

hydra.accessors.TermAccessor

hydra.accessors.TermAccessor.UnionCasesBranch

All Implemented Interfaces:

Serializable, Comparable<TermAccessor>

Enclosing class:

TermAccessor

public static final class TermAccessor.UnionCasesBranch
extends TermAccessor
implements Serializable

Access a specific branch of a union elimination by field name

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class hydra.accessors.TermAccessor

TermAccessor.AnnotatedBody, TermAccessor.ApplicationArgument, TermAccessor.ApplicationFunction, TermAccessor.InjectionTerm, TermAccessor.LambdaBody, TermAccessor.LetBinding, TermAccessor.LetBody, TermAccessor.ListElement, TermAccessor.MapKey, TermAccessor.MapValue, TermAccessor.MaybeTerm, TermAccessor.PartialVisitor<R>, TermAccessor.ProductTerm, TermAccessor.RecordField, TermAccessor.SetElement, TermAccessor.SumTerm, TermAccessor.TypeApplicationTerm, TermAccessor.TypeLambdaBody, TermAccessor.UnionCasesBranch, TermAccessor.UnionCasesDefault, TermAccessor.Visitor<R>, TermAccessor.WrappedTerm

Field Summary

Fields

Modifier and Type	Field	Description
final Name	value

Fields inherited from class hydra.accessors.TermAccessor

ANNOTATED_BODY, APPLICATION_ARGUMENT, APPLICATION_FUNCTION, INJECTION_TERM, LAMBDA_BODY, LET_BINDING, LET_BODY, LIST_ELEMENT, MAP_KEY, MAP_VALUE, MAYBE_TERM, PRODUCT_TERM, RECORD_FIELD, SET_ELEMENT, SUM_TERM, TYPE_, TYPE_APPLICATION_TERM, TYPE_LAMBDA_BODY, UNION_CASES_BRANCH, UNION_CASES_DEFAULT, WRAPPED_TERM

Constructor Summary

Constructors

Constructor	Description
UnionCasesBranch(Name value)

Method Summary

Modifier and Type	Method	Description
<R> R	accept(TermAccessor.Visitor<R> visitor)
int	compareTo(TermAccessor 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 Name value

Constructor Details

UnionCasesBranch

public UnionCasesBranch(Name 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(TermAccessor other)

Specified by:

compareTo in interface Comparable<TermAccessor>

accept

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

Specified by:

accept in class TermAccessor