An intersection type.
Examples:
Element&Identifiable Persistent&Printable&Identifiable
Anything
no subtypes hierarchy
Initializer |
IntersectionType([PrimaryType+] children) Parameters:
|
Attributes | |
children | shared actual [PrimaryType+] children The child types of this intersection type. An intersection type must have at least two children. |
hash | shared 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 |
Inherited Attributes |
Attributes inherited from: Node |
Attributes inherited from: Object hash , string |
Attributes inherited from: Type |
Attributes inherited from: TypeIsh |
Methods | |
copy | shared IntersectionType copy([PrimaryType+] children = ...) Parameters:
|
equals | shared actual Boolean equals(Object that) Determine if two values are equal. 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 |
transform | shared actual Result transform<out Result>(Transformer<Result> transformer) Transform this node with the given If you have a Refines Node.transform |
visit | shared 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 |
Methods inherited from: Type |