Package hydra.error.core

Class InvalidTermError.InvalidLambdaParameterName

java.lang.Object

hydra.error.core.InvalidTermError

hydra.error.core.InvalidTermError.InvalidLambdaParameterName

All Implemented Interfaces:

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

Enclosing class:

InvalidTermError

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

A lambda parameter name violating naming conventions (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
InvalidLambdaParameterNameError	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
InvalidLambdaParameterName(InvalidLambdaParameterNameError value)	Constructs an immutable InvalidTermError.InvalidLambdaParameterName.

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 InvalidLambdaParameterNameError value

Constructor Detail

InvalidLambdaParameterName

public InvalidLambdaParameterName(InvalidLambdaParameterNameError value)

Constructs an immutable InvalidTermError.InvalidLambdaParameterName.

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