Package hydra.accessors

Class TermAccessor.MapKey

java.lang.Object

hydra.accessors.TermAccessor

hydra.accessors.TermAccessor.MapKey

All Implemented Interfaces:

Serializable, Comparable<TermAccessor>

Enclosing class:

TermAccessor

public static final class TermAccessor.MapKey
extends TermAccessor
implements Serializable

Access a key in a map by index

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 Integer	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
MapKey(Integer 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 Integer value

Constructor Details

MapKey

public MapKey(Integer 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