Package hydra.module

Class Definition.Type

java.lang.Object

hydra.module.Definition

hydra.module.Definition.Type

All Implemented Interfaces:

Serializable, Comparable<Definition>

Enclosing class:

Definition

public static final class Definition.Type
extends Definition
implements Serializable

A type definition

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class hydra.module.Definition

Definition.PartialVisitor<R>, Definition.Term, Definition.Type, Definition.Visitor<R>

Field Summary

Fields

Modifier and Type	Field	Description
final TypeDefinition	value

Fields inherited from class hydra.module.Definition

TERM, TYPE, TYPE_

Constructor Summary

Constructors

Constructor	Description
Type(TypeDefinition value)

Method Summary

Modifier and Type	Method	Description
<R> R	accept(Definition.Visitor<R> visitor)
int	compareTo(Definition other)
boolean	equals(Object other)
int	hashCode()

Methods inherited from class java.lang.Object

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

Field Details

value

public final TypeDefinition value

Constructor Details

Type

public Type(TypeDefinition value)

Method Details

equals

public boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

compareTo

public int compareTo(Definition other)

Specified by:

compareTo in interface Comparable<Definition>

accept

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

Specified by:

accept in class Definition