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. | |
GESCHICHTE | |
Eingefuehrt in 3.2@55. | |
SIEHE AUCH | |
creator(E), object_name(E), load_name(E) |