Package hydra.errors
Class ExtractionError.MultipleBindings
- java.lang.Object
-
- hydra.errors.ExtractionError
-
- hydra.errors.ExtractionError.MultipleBindings
-
- All Implemented Interfaces:
java.io.Serializable,java.lang.Comparable<ExtractionError>
- Enclosing class:
- ExtractionError
public static final class ExtractionError.MultipleBindings extends ExtractionError implements java.io.Serializable
Multiple let bindings were found with the same name- See Also:
- Serialized Form
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class hydra.errors.ExtractionError
ExtractionError.EmptyList, ExtractionError.MultipleBindings, ExtractionError.MultipleFields, ExtractionError.NoMatchingField, ExtractionError.NoSuchBinding, ExtractionError.NotEnoughCases, ExtractionError.PartialVisitor<R>, ExtractionError.UnexpectedShape, ExtractionError.Visitor<R>
-
-
Field Summary
Fields Modifier and Type Field Description MultipleBindingsErrorvalue-
Fields inherited from class hydra.errors.ExtractionError
EMPTY_LIST, MULTIPLE_BINDINGS, MULTIPLE_FIELDS, NO_MATCHING_FIELD, NO_SUCH_BINDING, NOT_ENOUGH_CASES, TYPE_, UNEXPECTED_SHAPE
-
-
Constructor Summary
Constructors Constructor Description MultipleBindings(MultipleBindingsError value)Constructs an immutableExtractionError.MultipleBindings.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description <R> Raccept(ExtractionError.Visitor<R> visitor)Dispatch tovisitor.intcompareTo(ExtractionError other)booleanequals(java.lang.Object other)inthashCode()inthydraOrdinal()java.lang.StringtoString()
-
-
-
Field Detail
-
value
public final MultipleBindingsError value
-
-
Constructor Detail
-
MultipleBindings
public MultipleBindings(MultipleBindingsError value)
Constructs an immutableExtractionError.MultipleBindings.
-
-
Method Detail
-
equals
public boolean equals(java.lang.Object other)
- Overrides:
equalsin classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
compareTo
public int compareTo(ExtractionError other)
- Specified by:
compareToin interfacejava.lang.Comparable<ExtractionError>
-
hydraOrdinal
public int hydraOrdinal()
- Specified by:
hydraOrdinalin classExtractionError
-
accept
public <R> R accept(ExtractionError.Visitor<R> visitor)
Dispatch tovisitor.- Specified by:
acceptin classExtractionError
-
-