efun: rename_object.de

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)