Package hydra.paths
Class TermAttribute.InjectTypeName
- java.lang.Object
-
- hydra.paths.TermAttribute
-
- hydra.paths.TermAttribute.InjectTypeName
-
- All Implemented Interfaces:
java.io.Serializable,java.lang.Comparable<TermAttribute>
- Enclosing class:
- TermAttribute
public static final class TermAttribute.InjectTypeName extends TermAttribute implements java.io.Serializable
The name of the union type of an injection- See Also:
- Serialized Form
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class hydra.paths.TermAttribute
TermAttribute.CasesTypeName, TermAttribute.InjectTypeName, TermAttribute.LambdaDomainGiven, TermAttribute.LambdaParameter, TermAttribute.LetBindingTypeSchemeGiven, TermAttribute.PartialVisitor<R>, TermAttribute.ProjectFieldName, TermAttribute.ProjectTypeName, TermAttribute.RecordTypeName, TermAttribute.TypeApplicationType, TermAttribute.TypeLambdaParameter, TermAttribute.Visitor<R>, TermAttribute.WrapTypeName
-
-
Field Summary
Fields Modifier and Type Field Description Namevalue-
Fields inherited from class hydra.paths.TermAttribute
CASES_TYPE_NAME, INJECT_TYPE_NAME, LAMBDA_DOMAIN_GIVEN, LAMBDA_PARAMETER, LET_BINDING_TYPE_SCHEME_GIVEN, PROJECT_FIELD_NAME, PROJECT_TYPE_NAME, RECORD_TYPE_NAME, TYPE_, TYPE_APPLICATION_TYPE, TYPE_LAMBDA_PARAMETER, WRAP_TYPE_NAME
-
-
Constructor Summary
Constructors Constructor Description InjectTypeName(Name value)Constructs an immutableTermAttribute.InjectTypeName.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description <R> Raccept(TermAttribute.Visitor<R> visitor)Dispatch tovisitor.intcompareTo(TermAttribute other)booleanequals(java.lang.Object other)inthashCode()inthydraOrdinal()java.lang.StringtoString()
-
-
-
Field Detail
-
value
public final Name value
-
-
Constructor Detail
-
InjectTypeName
public InjectTypeName(Name value)
Constructs an immutableTermAttribute.InjectTypeName.
-
-
Method Detail
-
equals
public boolean equals(java.lang.Object other)
- Overrides:
equalsin classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
compareTo
public int compareTo(TermAttribute other)
- Specified by:
compareToin interfacejava.lang.Comparable<TermAttribute>
-
hydraOrdinal
public int hydraOrdinal()
- Specified by:
hydraOrdinalin classTermAttribute
-
accept
public <R> R accept(TermAttribute.Visitor<R> visitor)
Dispatch tovisitor.- Specified by:
acceptin classTermAttribute
-
-