<<>> <> <> <> <> <<>> DIRECTORY Rope USING [ROPE], Xl USING [Connection], XTk USING [Widget]; <<>> XTkMigration: CEDAR DEFINITIONS ~ BEGIN <<>> <> <> <> MigrationProc: TYPE = PROC [shell: XTk.Widget, destination: Xl.Connection] RETURNS [msg: Rope.ROPE _ NIL]; <> <> Migrate: PROC [shell: XTk.Widget, destination: REF] RETURNS [msg: Rope.ROPE]; <> <> <> <<>> RegisterMigrator: PROC [shell: XTk.Widget, migrator: MigrationProc ¬ NIL]; <> StandardMigrator: MigrationProc; <> END.