Package hydra.paths

Class SubtermStep.SetElement

java.lang.Object

hydra.paths.SubtermStep

hydra.paths.SubtermStep.SetElement

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<SubtermStep>

Enclosing class:

SubtermStep

public static final class SubtermStep.SetElement
extends SubtermStep
implements java.io.Serializable

Access an element of a set by index

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class hydra.paths.SubtermStep

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

Field Summary

Fields

Modifier and Type	Field	Description
java.lang.Integer	value

Fields inherited from class hydra.paths.SubtermStep

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
SetElement(java.lang.Integer value)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

value

public final java.lang.Integer value

Constructor Detail

SetElement

public SetElement(java.lang.Integer value)

Method Detail

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

compareTo

public int compareTo(SubtermStep other)

Specified by:

compareTo in interface java.lang.Comparable<SubtermStep>

accept

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

Specified by:

accept in class SubtermStep