Abstract User Defined Types can be used in Attributes but Generation fails
When using an abstract user defined type as an attribute in a different type: AbstractGraph.mgl the CINCO Product Generation Process will fail when building the Gratext language. because no fitting rule is created:
SomeNode returns GratextInternalSomeNode:{GratextInternalSomeNode}
'SomeNode' (id = _ID)? ( ('at' x=_EInt ',' y=_EInt)?
& ('size' width=_EInt ',' height=_EInt)?
& ('index' index=_EInt)?
)
('{'
( ( 'label' ^label = _EString )? &
( 'myAType' ^gratext_myAType = AType )? )
( outgoingEdges += Transition
)*
'}')?
;
See also: exception.txt
This does only occur if the supertype is abstract
. When the supertype is not abstract, only this can be chosen in the Property View.