An interface alias definition.
An interface alias definition has the following components:
annotations
,interface
’ keyword,name
,specifier
, and(While semantically, an interface alias may never have case types or satisfy other types, these nodes may syntactically still be present.)
Examples:
shared interface People => {Person*}; shared interface Compare<Value> => Comparison(Value,Value);
no subtypes hierarchy
Initializer |
InterfaceAliasDefinition(UIdentifier name, TypeSpecifier specifier, CaseTypes? caseTypes = ..., SatisfiedTypes? satisfiedTypes = ..., TypeParameters? typeParameters = ..., TypeConstraint[] typeConstraints = ..., Annotations annotations = ...) Parameters:
|
Attributes | |
annotations | Source Codeshared actual Annotations annotations The annotations of the interface. Refines Declaration.annotations |
caseTypes | Source Codeshared actual CaseTypes? caseTypes The case types of the interface, if present. (In fact, a class alias may never have case types, but nevertheless it’s syntactically valid.) Refines ClassOrInterface.caseTypes |
children | Source Codeshared actual <Annotations|UIdentifier|TypeParameters|CaseTypes|SatisfiedTypes|TypeConstraint|TypeSpecifier>[] children The child nodes of this node. Refines Node.children |
hash | Source Codeshared actual Integer hash The hash value of the value, which allows the value to be an element of a hash-based set or key of a hash-based map. Implementations must respect the constraint that:
Therefore, a class which refines In general, Note that when executing on a Java Virtual Machine, the
64-bit Refines Object.hash |
name | Source Codeshared actual UIdentifier name The name of the interface. |
satisfiedTypes | Source Codeshared actual SatisfiedTypes? satisfiedTypes The satisfied types of the interface, if present. Refines ClassOrInterface.satisfiedTypes |
specifier | Source Codeshared TypeSpecifier specifier The specifier of the interface. |
typeConstraints | Source Codeshared actual TypeConstraint[] typeConstraints The type constraints of the interface, if any. Refines TypeDeclaration.typeConstraints |
typeParameters | Source Codeshared actual TypeParameters? typeParameters The type parameters of the interface, if present. Refines TypeDeclaration.typeParameters |
Inherited Attributes |
Attributes inherited from: ClassOrInterface |
Attributes inherited from: Declaration |
Attributes inherited from: Node |
Attributes inherited from: Object hash , string |
Attributes inherited from: TypeDeclaration |
Methods | |
copy | Source Codeshared InterfaceAliasDefinition copy(UIdentifier name = ..., TypeSpecifier specifier = ..., CaseTypes? caseTypes = ..., SatisfiedTypes? satisfiedTypes = ..., TypeParameters? typeParameters = ..., TypeConstraint[] typeConstraints = ..., Annotations annotations = ...) Parameters:
|
equals | Source Codeshared actual Boolean equals(Object that) Determine if two values are equal. For any two non-null objects x == y Implementations should respect the constraints that:
Furthermore it is recommended that implementations
ensure that if A class which explicitly refines Note that an implementation of Refines Object.equals |
transform | Source Codeshared actual Result transform<out Result>(Transformer<Result> transformer) Transform this node with the given If you have a Refines Node.transform |
visit | Source Codeshared actual void visit(Visitor visitor) Visit this node with the given Refines Node.visit |
Inherited Methods |
Methods inherited from: Node |
Methods inherited from: Object equals |