Index   Zurück   Fenster schliessen	object_renaming_declaration object_renaming_declaration ::= defining_identifier : subtype_mark renames object_name; siehe LRM 8.5.1 wird genutzt von: renaming_declaration