org::kermeta::language::structure
Class Abstract ParameterizedType inherited from Type


Abstraction for Parameterized types, namely, Class and ModelType

@ecore "true"
@http://www.eclipse.org/emf/2002/GenModel "null"

Property Summary
GenericTypeDefinition
typeDefinition
attribute typeDefinition[1..1]

Definition of the Type

@ecore "true"
@http://www.eclipse.org/emf/2002/GenModel "null"
           
TypeVariableBinding
typeParamBinding
attribute typeParamBinding[0..-1]

Bindings between type variables and provided types

@ecore "true"
@http://www.eclipse.org/emf/2002/GenModel "null"
           
TypeVariableBinding
virtualTypeBinding
attribute virtualTypeBinding[0..-1]

To be written

@ecore "true"
@http://www.eclipse.org/emf/2002/GenModel "null"
           


Details of properties


typeDefinition


GenericTypeDefinition typeDefinition



typeParamBinding


TypeVariableBinding typeParamBinding



virtualTypeBinding


TypeVariableBinding virtualTypeBinding