String show_migrate_menu(Component parentComponent, String agent_identity, java.util.Vector as_names)

Diese Methode erstellt ein Eingabedialogfenster, das dazu dient, das Zielagentensystem aus dem Vektor as_names auszuwählen, in das der Agent mit Namen agent_identity verschoben werden soll. as_names enthält eine Liste der verfügbaren Agentensysteme. Ist darin der Entrag ,,global`` enthalten, so wird dieser nicht in die Auswahlliste aufgenommen, da es sich dabei nicht um ein Agentensystem im eigentlichen Sinne handelt. Der Übergabeparameter parentComponent ist mit einer Referenz auf das aufrufende Applet belegt. Er wird benötigt, da das erscheinende Auswahldialogfenster ein ,,Kind`` des Applets ist.