Package hydra.module
Class Definition.Type
- java.lang.Object
-
- hydra.module.Definition
-
- hydra.module.Definition.Type
-
- All Implemented Interfaces:
java.io.Serializable,java.lang.Comparable<Definition>
- Enclosing class:
- Definition
public static final class Definition.Type extends Definition implements java.io.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 TypeDefinitionvalue-
Fields inherited from class hydra.module.Definition
TERM, TYPE, TYPE_
-
-
Constructor Summary
Constructors Constructor Description Type(TypeDefinition value)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description <R> Raccept(Definition.Visitor<R> visitor)intcompareTo(Definition other)booleanequals(java.lang.Object other)inthashCode()
-
-
-
Field Detail
-
value
public final TypeDefinition value
-
-
Constructor Detail
-
Type
public Type(TypeDefinition value)
-
-
Method Detail
-
equals
public boolean equals(java.lang.Object other)
- Overrides:
equalsin classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
compareTo
public int compareTo(Definition other)
- Specified by:
compareToin interfacejava.lang.Comparable<Definition>
-
accept
public <R> R accept(Definition.Visitor<R> visitor)
- Specified by:
acceptin classDefinition
-
-