Package hydra.error.core

Class InvalidTermError.SelfApplication

java.lang.Object

hydra.error.core.InvalidTermError

hydra.error.core.InvalidTermError.SelfApplication

All Implemented Interfaces:

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

Enclosing class:

InvalidTermError

public static final class InvalidTermError.SelfApplication
extends InvalidTermError
implements java.io.Serializable

A variable applied to itself (optional)

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class hydra.error.core.InvalidTermError

InvalidTermError.ConstantCondition, InvalidTermError.DuplicateBinding, InvalidTermError.DuplicateField, InvalidTermError.EmptyCaseStatement, InvalidTermError.EmptyLetBindings, InvalidTermError.EmptyTermAnnotation, InvalidTermError.EmptyTypeNameInTerm, InvalidTermError.ExtraRecordFields, InvalidTermError.InvalidLambdaParameterName, InvalidTermError.InvalidLetBindingName, InvalidTermError.InvalidTypeLambdaParameterName, InvalidTermError.MissingCaseBranches, InvalidTermError.MissingRecordFields, InvalidTermError.NestedTermAnnotation, InvalidTermError.NominalTypeKindMismatch, InvalidTermError.PartialVisitor<R>, InvalidTermError.RedundantWrapUnwrap, InvalidTermError.SelfApplication, InvalidTermError.TermVariableShadowing, InvalidTermError.TypeVariableShadowingInTypeLambda, InvalidTermError.UndeclaredVariant, InvalidTermError.UndefinedTermVariable, InvalidTermError.UndefinedTypeVariableInBindingType, InvalidTermError.UndefinedTypeVariableInLambdaDomain, InvalidTermError.UndefinedTypeVariableInTypeApplication, InvalidTermError.UnknownCaseAlternative, InvalidTermError.UnknownPrimitiveName, InvalidTermError.UnknownProjectedField, InvalidTermError.UnnecessaryIdentityApplication, InvalidTermError.UnresolvedNominalType, InvalidTermError.UntypedTermVariable, InvalidTermError.Visitor<R>

Field Summary

Fields

Modifier and Type	Field	Description
SelfApplicationError	value

Fields inherited from class hydra.error.core.InvalidTermError

CONSTANT_CONDITION, DUPLICATE_BINDING, DUPLICATE_FIELD, EMPTY_CASE_STATEMENT, EMPTY_LET_BINDINGS, EMPTY_TERM_ANNOTATION, EMPTY_TYPE_NAME_IN_TERM, EXTRA_RECORD_FIELDS, INVALID_LAMBDA_PARAMETER_NAME, INVALID_LET_BINDING_NAME, INVALID_TYPE_LAMBDA_PARAMETER_NAME, MISSING_CASE_BRANCHES, MISSING_RECORD_FIELDS, NESTED_TERM_ANNOTATION, NOMINAL_TYPE_KIND_MISMATCH, REDUNDANT_WRAP_UNWRAP, SELF_APPLICATION, TERM_VARIABLE_SHADOWING, TYPE_, TYPE_VARIABLE_SHADOWING_IN_TYPE_LAMBDA, UNDECLARED_VARIANT, UNDEFINED_TERM_VARIABLE, UNDEFINED_TYPE_VARIABLE_IN_BINDING_TYPE, UNDEFINED_TYPE_VARIABLE_IN_LAMBDA_DOMAIN, UNDEFINED_TYPE_VARIABLE_IN_TYPE_APPLICATION, UNKNOWN_CASE_ALTERNATIVE, UNKNOWN_PRIMITIVE_NAME, UNKNOWN_PROJECTED_FIELD, UNNECESSARY_IDENTITY_APPLICATION, UNRESOLVED_NOMINAL_TYPE, UNTYPED_TERM_VARIABLE

Constructor Summary

Constructors

Constructor	Description
SelfApplication(SelfApplicationError value)	Constructs an immutable InvalidTermError.SelfApplication.

Method Summary

Modifier and Type	Method	Description
<R> R	accept(InvalidTermError.Visitor<R> visitor)	Dispatch to visitor.
int	compareTo(InvalidTermError 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

Field Detail

value

public final SelfApplicationError value

Constructor Detail

SelfApplication

public SelfApplication(SelfApplicationError value)

Constructs an immutable InvalidTermError.SelfApplication.

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(InvalidTermError other)

Specified by:

compareTo in interface java.lang.Comparable<InvalidTermError>

hydraOrdinal

public int hydraOrdinal()

Specified by:

hydraOrdinal in class InvalidTermError

accept

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

Dispatch to visitor.

Specified by:

accept in class InvalidTermError