Package hydra.java.syntax

Class LambdaParameter.Normal

java.lang.Object

hydra.java.syntax.LambdaParameter

hydra.java.syntax.LambdaParameter.Normal

All Implemented Interfaces:

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

Enclosing class:

LambdaParameter

public static final class LambdaParameter.Normal
extends LambdaParameter
implements java.io.Serializable

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class hydra.java.syntax.LambdaParameter

LambdaParameter.Normal, LambdaParameter.PartialVisitor<R>, LambdaParameter.VariableArity, LambdaParameter.Visitor<R>

Field Summary

Fields

Modifier and Type	Field	Description
LambdaParameter_Normal	value

Fields inherited from class hydra.java.syntax.LambdaParameter

NORMAL, TYPE_, VARIABLE_ARITY

Constructor Summary

Constructors

Constructor	Description
Normal(LambdaParameter_Normal value)	Constructs an immutable LambdaParameter.Normal.

Method Summary

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

Constructor Detail

Normal

public Normal(LambdaParameter_Normal value)

Constructs an immutable LambdaParameter.Normal.

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

Specified by:

compareTo in interface java.lang.Comparable<LambdaParameter>

accept

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

Dispatch to visitor.

Specified by:

accept in class LambdaParameter