Index
Zurück
Fenster schliessen
protected_type_declaration
protected_type_declaration ::= protected type
defining_identifier
[
known_discriminant_part
] is
protected_definition
;
siehe LRM 9.4
wird genutzt von:
full_type_declaration