ceylon.language.meta.declaration.AliasDeclaration.ceylon Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of ceylon-complete Show documentation

There is a newer version: 1.3.3

"Type alias declaration. While type aliases are erased (substituted for what they alias is a better term) from every 
 declaration that uses them during compile-time, the declaration of the type alias is still visible at run-time."
shared sealed interface AliasDeclaration 
    satisfies NestableDeclaration & GenericDeclaration {

    "The open type that is substituted by this type alias."
    shared formal OpenType extendedType;

    /*
    FIXME: this is too shaky WRT member types, we'll figure it out later    
    shared formal AppliedType apply(AppliedType* typeArguments);
    
    shared formal AppliedType & Member & Model> memberApply(AppliedType containerType, AppliedType* typeArguments);
*/
}