Package hydra.paths

Class SubtypeStep.ApplicationArgument

java.lang.Object

hydra.paths.SubtypeStep

hydra.paths.SubtypeStep.ApplicationArgument

All Implemented Interfaces:

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

Enclosing class:

SubtypeStep

public static final class SubtypeStep.ApplicationArgument
extends SubtypeStep
implements java.io.Serializable

Access the argument of an application type

See Also:

Serialized Form

Nested Class Summary

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

SubtypeStep.AnnotatedBody, SubtypeStep.ApplicationArgument, SubtypeStep.ApplicationFunction, SubtypeStep.EffectValue, SubtypeStep.EitherLeft, SubtypeStep.EitherRight, SubtypeStep.ForallBody, SubtypeStep.FunctionCodomain, SubtypeStep.FunctionDomain, SubtypeStep.ListElement, SubtypeStep.MapKeys, SubtypeStep.MapValues, SubtypeStep.OptionalElement, SubtypeStep.PairFirst, SubtypeStep.PairSecond, SubtypeStep.PartialVisitor<R>, SubtypeStep.RecordField, SubtypeStep.SetElement, SubtypeStep.UnionField, SubtypeStep.Visitor<R>, SubtypeStep.WrapBody

Field Summary

Fields inherited from class hydra.paths.SubtypeStep

ANNOTATED_BODY, APPLICATION_ARGUMENT, APPLICATION_FUNCTION, EFFECT_VALUE, EITHER_LEFT, EITHER_RIGHT, FORALL_BODY, FUNCTION_CODOMAIN, FUNCTION_DOMAIN, LIST_ELEMENT, MAP_KEYS, MAP_VALUES, OPTIONAL_ELEMENT, PAIR_FIRST, PAIR_SECOND, RECORD_FIELD, SET_ELEMENT, TYPE_, UNION_FIELD, WRAP_BODY

Constructor Summary

Constructors

Constructor	Description
ApplicationArgument()	Constructs an immutable SubtypeStep.ApplicationArgument.

Method Summary

Modifier and Type	Method	Description
<R> R	accept(SubtypeStep.Visitor<R> visitor)	Dispatch to visitor.
int	compareTo(SubtypeStep other)
boolean	equals(java.lang.Object other)
int	hashCode()
int	hydraOrdinal()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ApplicationArgument

public ApplicationArgument()

Constructs an immutable SubtypeStep.ApplicationArgument.

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

compareTo

public int compareTo(SubtypeStep other)

Specified by:

compareTo in interface java.lang.Comparable<SubtypeStep>

hydraOrdinal

public int hydraOrdinal()

Specified by:

hydraOrdinal in class SubtypeStep

accept

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

Dispatch to visitor.

Specified by:

accept in class SubtypeStep