Package hydra.packaging
Class Definition.Primitive
- java.lang.Object
-
- hydra.packaging.Definition
-
- hydra.packaging.Definition.Primitive
-
- All Implemented Interfaces:
java.io.Serializable,java.lang.Comparable<Definition>
- Enclosing class:
- Definition
public static final class Definition.Primitive extends Definition implements java.io.Serializable
A primitive definition- See Also:
- Serialized Form
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class hydra.packaging.Definition
Definition.PartialVisitor<R>, Definition.Primitive, Definition.Term, Definition.Type, Definition.Visitor<R>
-
-
Field Summary
Fields Modifier and Type Field Description PrimitiveDefinitionvalue-
Fields inherited from class hydra.packaging.Definition
PRIMITIVE, TERM, TYPE, TYPE_
-
-
Constructor Summary
Constructors Constructor Description Primitive(PrimitiveDefinition value)Constructs an immutableDefinition.Primitive.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description <R> Raccept(Definition.Visitor<R> visitor)Dispatch tovisitor.intcompareTo(Definition other)booleanequals(java.lang.Object other)inthashCode()
-
-
-
Field Detail
-
value
public final PrimitiveDefinition value
-
-
Constructor Detail
-
Primitive
public Primitive(PrimitiveDefinition value)
Constructs an immutableDefinition.Primitive.
-
-
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)
Dispatch tovisitor.- Specified by:
acceptin classDefinition
-
-