GESCHUETZT
SYNOPSIS
void rename_object(object obj, string neuer_name);
BESCHREIBUNG
Gibt dem Objekt <obj> einen neuen Namen <neuer_name> und verursacht
eine Schutzverletzung (einen Fehler). <neuer_name> darf kein #
enthalten, ausser am Ende, um Verwirrung mit Clones zu vermeiden.
AENDERUNGEN
Eingefuehrt in 3.2@55.
SIEHE AUCH
creator(E), object_name(E), load_name(E)