| 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) |