DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download

⟦f37cc8ebb⟧ Ada Source

    Length: 47104 (0xb800)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, procedure Facit_Commands, seg_028486

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« 
        └─⟦this⟧ 

E3 Source Code



with Access_List;
with Ada;
with Cmvc;
with Command;
with Common;
with Compilation;
--/ if DOCUMENT_FORMATTER then
--// with COMPOSE;
--/ end if;
with Debug;
--/ if DESIGN_FACILITY then
--// with DESIGN_IMPLEMENTATION;
--/ end if;
with Editor;
with Io;
with Job;
with Library;
--/ if MAIL then
--// with MAIL;
--/ end if;
with Operator;
with Queue;
with Script;
--/ if SPELLER then
--// with SPELLER;
--/ end if;
with System_Utilities;
with Text;
with What;
with Facit_Key_Names;

----This file generated on: December 13, 1989 at 8:50:09 AM
----From Rational Development source file !ENVIRONMENT.EDITOR_KEYS.REV10_WORKING.UNITS.CREATE_COMMANDS_FILES.MASTER_KEYS_FILE'V(48)
----By user: GEB
----For terminal type: FACIT

procedure Facit_Commands is

    use Facit_Key_Names;

    type Intent is (Interrupt, Prompt, Execute);

    Action : Intent;

    Key1, Key2, Key3, Key4, Key5, Key6 : Key_Names;

begin

    case Action is

        when Interrupt =>

            case Key1 is
                when C_G =>
                    Job.Interrupt;
                when Esc_G | Esc_S_G =>
                    Job.Kill (0);
                when C_F1 =>
                    Debug.Stop (Name => "");
                when C_F11 =>
                    Job.Kill (0);
                when Esc_C_F11 =>
                    Job.Disable (0);
                when others =>
                    null;
            end case;

        when Prompt =>

            case Key1 is
                when Object =>
                    case Key2 is
                        when 'L' | 'l' =>
                            Common.Revert;
                        when others =>
                            null;
                    end case;
                when Image =>
                    case Key2 is
                        when '+' | '=' =>
                            Editor.Image.Find (Name => "name or name fragment");
                        when '/' | '?' =>
                            Editor.Image.Find (Name => "");
                        when others =>
                            null;
                    end case;
                when S_F5 =>
                    What.Does (Name => "");
                when Esc_F8 =>
                    Library.Create_Directory;
                when C_F8 =>
                    Text.Create;
                when Esc_C_F3 =>
                    Debug.Modify (New_Value => "",
                                  Variable => "<SELECTION>",
                                  Stack_Frame => 0);
                when Esc_C_F8 =>
                    Library.Create_World;
                when others =>
                    null;
            end case;

        when Execute =>

            case Key1 is
                when Nul =>
                    Editor.Mark.Push;
                when C_A =>
                    Editor.Line.Beginning_Of;
                when C_B | Back_Tab | Esc_C_B =>
                    Editor.Line.Beginning_Of;
                when C_C =>
                    Editor.Hold_Stack.Push;
                when C_D =>
                    Editor.Char.Delete_Forward;
                when C_E =>
                    Editor.Line.End_Of;
                when C_F =>
                    Editor.Search.Next (Target => "", Wildcard => False);
                when Backspace =>
                    Editor.Cursor.Left;
                when Tab =>
                    Editor.Line.End_Of;
                when C_J =>
                    Editor.Cursor.Right;
                when C_K =>
                    Editor.Line.Delete_Forward;
                when C_L =>
                    Editor.Screen.Redraw;
                when C_M =>
                    Editor.Line.Indent;
                when C_N =>
                    Editor.Cursor.Down;
                when C_O =>
                    Editor.Line.Open;
                when C_Q =>
                    Editor.Char.Quote;
                when C_R =>
                    Editor.Search.Previous (Target => "", Wildcard => False);
                when C_S =>
                    Editor.Search.Next (Target => "", Wildcard => False);
                when C_T =>
                    Editor.Char.Transpose;
                when C_U =>
                    Editor.Cursor.Up;
                when C_V =>
                    Editor.Image.Down;
                when C_W =>
                    Editor.Region.Delete;
                when C_X =>
                    Editor.Set.Designation_Off;
                when C_Y =>
                    Editor.Hold_Stack.Top;
                when C_Z =>
                    Editor.Image.Up;
                when ' ' =>
                    Editor.Char.Insert_Character (1, ' ');
                when Delete =>
                    Editor.Char.Delete_Backward;
                when Object =>
                    case Key2 is
                        when Tab | 'E' | 'e' =>
                            Common.Object.Last_Child;
                        when '!' | '1' =>
                            Common.Expand;
                        when '+' | '=' =>
                            Common.Explain;
                        when '.' | '>' =>
                            Common.Elide;
                        when '/' | '?' =>
                            Common.Explain;
                        when 'A' | 'a' | Back_Tab =>
                            Common.Object.First_Child;
                        when 'B' | 'b' =>
                            Common.Object.First_Child;
                        when 'C' | 'c' =>
                            Common.Object.Copy;
                        when 'D' | 'K' | 'd' | 'k' =>
                            Common.Object.Delete;
                        when 'G' | 'g' =>
                            Common.Abandon;
                        when 'H' | 'h' =>
                            Common.Object.Parent;
                        when 'I' | 'i' =>
                            Common.Object.Insert;
                        when 'J' | 'j' =>
                            Common.Object.Child;
                        when 'M' | 'm' =>
                            Common.Object.Move;
                        when 'N' | 'n' =>
                            Common.Object.Next;
                        when 'R' | 'r' =>
                            Common.Redo;
                        when 'S' | 's' =>
                            Common.Sort_Image;
                        when 'U' | 'u' =>
                            Common.Undo;
                        when 'V' | 'v' =>
                            Common.Redo;
                        when 'X' | 'x' =>
                            Common.Release;
                        when Promot | Enter =>
                            Common.Commit;
                        when Up =>
                            Common.Object.Previous;
                        when Down =>
                            Common.Object.Next;
                        when Left =>
                            Common.Object.Parent;
                        when Right =>
                            Common.Object.Child;
                        when F4 =>
                            Common.Definition (Name => "<CURSOR>",
                                               In_Place => False,
                                               Visible => False);
                        when others =>
                            null;
                    end case;
                when Region =>
                    case Key2 is
                        when Tab | 'E' | 'e' =>
                            Editor.Region.End_Of;
                        when '"' | ''' | '6' | '^' =>
                            Editor.Region.Capitalize;
                        when '(' | '9' | '[' | '{' =>
                            Editor.Region.Start;
                        when ')' | '0' | ']' | '}' =>
                            Editor.Region.Finish;
                        when '+' | '=' =>
                            Editor.Region.Uncomment;
                        when ',' | '<' =>
                            Editor.Region.Lower_Case;
                        when '-' | '_' =>
                            Editor.Region.Comment;
                        when '.' | '>' =>
                            Editor.Region.Upper_Case;
                        when 'A' | 'a' | Back_Tab =>
                            Editor.Region.Beginning_Of;
                        when 'B' | 'b' =>
                            Editor.Region.Beginning_Of;
                        when 'C' | 'c' =>
                            Editor.Region.Copy;
                        when 'D' | 'K' | 'd' | 'k' =>
                            Editor.Region.Delete;
                        when 'F' | 'f' =>
                            Editor.Region.Fill;
                        when 'H' | 'h' =>
                            Editor.Hold_Stack.Previous;
                        when 'J' | 'j' =>
                            Editor.Hold_Stack.Next;
                        when 'M' | 'm' =>
                            Editor.Region.Move;
                        when 'N' | 'n' =>
                            Editor.Hold_Stack.Push;
                        when 'P' | 'p' =>
                            Editor.Hold_Stack.Copy_Top;
                        when 'Q' | 'q' | Complt =>
                            Editor.Region.Justify;
                        when 'R' | 'r' =>
                            Editor.Hold_Stack.Rotate;
                        when 'T' | 't' =>
                            Editor.Hold_Stack.Swap;
                        when 'U' | 'u' =>
                            Editor.Hold_Stack.Top;
                        when 'X' | 'x' =>
                            Editor.Region.Off;
                        when '`' | '~' =>
                            Editor.Region.Capitalize;
                        when Delete =>
                            Editor.Hold_Stack.Delete_Top;
                        when Format =>
                            Editor.Region.Fill;
                        when Up =>
                            Editor.Hold_Stack.Top;
                        when Down =>
                            Editor.Hold_Stack.Push;
                        when Left =>
                            Editor.Hold_Stack.Previous;
                        when Right =>
                            Editor.Hold_Stack.Next;
                        when others =>
                            null;
                    end case;
                when Window =>
                    case Key2 is
                        when Tab | 'E' | 'e' =>
                            Editor.Window.End_Of;
                        when '!' | '1' =>
                            Editor.Window.Expand;
                        when '#' | '3' =>
                            Editor.Window.Frames (3);
                        when '$' | '4' =>
                            Editor.Window.Frames (4);
                        when '%' | '5' =>
                            Editor.Window.Frames (5);
                        when '&' | '7' =>
                            Editor.Window.Frames (7);
                        when '+' | '=' | F4 =>
                            Editor.Window.Directory;
                        when '.' | '>' =>
                            Editor.Window.Expand (-4);
                        when '/' | '?' =>
                            Editor.Window.Directory;
                        when '2' | '@' =>
                            Editor.Window.Frames (2);
                        when '6' | '^' =>
                            Editor.Window.Frames (6);
                        when 'A' | 'a' | Back_Tab =>
                            Editor.Window.Beginning_Of;
                        when 'B' | 'b' =>
                            Editor.Window.Beginning_Of;
                        when 'C' | 'c' =>
                            Editor.Window.Copy;
                        when 'D' | 'K' | 'W' | 'X' | 'd' | 'k' | 'w' | 'x' =>
                            Editor.Window.Delete;
                        when 'F' | 'f' =>
                            Editor.Window.Focus;
                        when 'H' | 'h' =>
                            Common.Enclosing (In_Place => False,
                                              Library => False);
                        when 'J' | 'j' =>
                            Editor.Window.Join (1);
                        when 'M' | 'Z' | 'm' | 'z' | Promot | Enter =>
                            Editor.Window.Promote;
                        when 'N' | 'n' =>
                            Editor.Window.Next;
                        when 'O' | 'o' =>
                            Editor.Window.Join (1);
                        when 'T' | 't' =>
                            Editor.Window.Transpose;
                        when 'U' | 'u' =>
                            Editor.Window.Previous;
                        when 'V' | 'v' =>
                            Editor.Window.Child;
                        when 'Y' | 'y' =>
                            Editor.Window.Demote;
                        when Delete =>
                            Editor.Window.Join (-1);
                        when Format =>
                            Editor.Window.Focus;
                        when Up =>
                            Editor.Window.Previous;
                        when Down =>
                            Editor.Window.Next;
                        when Left =>
                            Editor.Window.Parent;
                        when Right =>
                            Editor.Window.Child;                       when F7 | S_F7 =>
                            Editor.Window.Demote;
                        when others =>
                            null;
                    end case;
                when Promot =>
                    Common.Promote;
                when Complt =>
                    Common.Complete;
                when Format =>
                    Common.Format;
                when Up =>
                    Editor.Cursor.Up;
                when Down =>
                    Editor.Cursor.Down;
                when Left =>
                    Editor.Cursor.Left;
                when Right =>
                    Editor.Cursor.Right;
                when Image =>
                    case Key2 is
                        when Tab | 'E' | 'e' =>
                            Editor.Image.End_Of;
                        when '!' | '1' =>
                            Debug.Source ("_1");
                        when '#' | '3' =>
                            Debug.Source ("_3");
                        when '$' | '4' =>
                            Debug.Source ("_4");
                        when '%' | '5' =>
                            Debug.Source ("_5");
                        when '&' | '7' =>
                            Debug.Source ("_7");
                        when '(' | '9' =>
                            Debug.Source ("_9");
                        when ')' | '0' =>
                            Debug.Source ("_10");
                        when '*' | '8' =>
                            Debug.Source ("_8");
                        when '2' | '@' =>
                            Debug.Source ("_2");
                        when '6' | '^' =>
                            Debug.Source ("_6");
                        when 'A' | 'a' | Back_Tab =>
                            Editor.Image.Beginning_Of;
                        when 'B' | 'b' =>
                            Editor.Image.Beginning_Of;
                        when 'F' | 'f' =>
                            Editor.Set.Fill_Mode (True);
                        when 'H' | 'h' =>
                            Editor.Image.Left;
                        when 'I' | 'i' =>
                            Editor.Set.Insert_Mode (True);
                        when 'J' | 'j' =>
                            Editor.Image.Right;
                        when 'N' | 'n' =>
                            Editor.Image.Down;
                        when 'O' | 'o' =>
                            Editor.Set.Insert_Mode (False);
                        when 'U' | 'u' =>
                            Editor.Image.Up;
                        when 'X' | 'x' =>
                            Editor.Set.Fill_Mode (False);
                        when Up =>
                            Editor.Image.Up;
                        when Down =>
                            Editor.Image.Down;
                        when Left =>
                            Editor.Image.Left;
                        when Right =>
                            Editor.Image.Right;
                        when others =>
                            null;
                    end case;
                when Line =>
                    case Key2 is
                        when Tab | 'E' | 'e' =>
                            Editor.Line.End_Of;
                        when '$' | '4' =>
                            Editor.Line.Center;
                        when '+' | '=' =>
                            What.Line;
                        when ',' | '<' =>
                            Editor.Line.Lower_Case;
                        when '.' | '>' =>
                            Editor.Line.Upper_Case;
                        when '/' | '?' =>
                            What.Line;
                        when '6' | '^' =>
                            Editor.Line.Capitalize;
                        when 'A' | 'a' | Back_Tab =>
                            Editor.Line.Beginning_Of;
                        when 'B' | 'b' =>
                            Editor.Line.Beginning_Of;
                        when 'C' | 'c' =>
                            Editor.Line.Copy;
                        when 'D' | 'd' =>
                            Editor.Line.Delete;
                        when 'I' | 'i' =>
                            Editor.Line.Insert (1);
                        when 'J' | 'j' =>
                            Editor.Line.Join;
                        when 'K' | 'k' =>
                            Editor.Line.Delete_Forward;
                        when 'O' | 'o' =>
                            Editor.Line.Open;
                        when 'T' | 't' =>
                            Editor.Line.Transpose;
                        when '`' | '~' =>
                            Editor.Line.Capitalize;
                        when Delete =>
                            Editor.Line.Delete_Backward;
                        when Up =>
                            Editor.Cursor.Up;
                        when Down =>
                            Editor.Cursor.Down;
                        when others =>
                            null;
                    end case;
                when Word =>
                    case Key2 is
                        when Tab | 'E' | 'e' =>
                            Editor.Word.End_Of;
--/ if SPELLER then
--//                    when C_W | 'w' =>
--//                        SPELLER.SPELLER_WINDOW (IN_PLACE => FALSE);
--/ end if;
                        when ',' | '<' =>
                            Editor.Word.Lower_Case;
                        when '.' | '>' =>
                            Editor.Word.Upper_Case;
--/ if SPELLER then
--//                    when '/' | '?' =>
--//                        SPELLER.CHECK_TEXT (DATA => "<TEXT>");
--/ end if;
                        when '6' | '^' =>
                            Editor.Word.Capitalize;
                        when 'A' | 'a' | Back_Tab =>
                            Editor.Word.Beginning_Of;
                        when 'B' | 'b' =>
                            Editor.Word.Beginning_Of;
                        when 'D' | 'd' =>
                            Editor.Word.Delete;
--/ if SPELLER then
--//                    when 'I' | 'i' | PROMOT =>
--//                        SPELLER.LEARN_WORD (THE_WORD => "",DICTIONARY => 0);
--/ end if;
                        when 'K' | 'k' =>
                            Editor.Word.Delete_Forward;
--/ if SPELLER then
--//                    when 'L' | 'l' =>
--//                        SPELLER.LEARN_WORD (THE_WORD => "",DICTIONARY => 1);
--//                    when 'M' | 'm' =>
--//                        SPELLER.CHECK_IMAGE;
--//                    when 'N' | 'n' =>
--//                        SPELLER.EXPLAIN_NEXT;
--//                    when 'R' | 'r' =>
--//                        SPELLER.LEARN_REPLACEMENT (THE_WORD => "",CHOICE => 1,DICTIONARY => 0);
--/ end if;
                        when 'T' | 't' =>
                            Editor.Word.Transpose;
--/ if SPELLER then
--//                    when 'W' =>
--//                        SPELLER.SPELLER_WINDOW (IN_PLACE => TRUE);
--//                    when 'X' | 'x' | COMPLT =>
--//                        SPELLER.EXCHANGE_WORD (CHOICE => 1);
--/ end if;
                        when '`' | '~' =>
                            Editor.Word.Capitalize;
                        when Delete =>
                            Editor.Word.Delete_Backward;
--/ if SPELLER then
--//                    when DOWN =>
--//                        SPELLER.EXPLAIN_NEXT;
--/ end if;
                        when Left =>
                            Editor.Word.Previous;
                        when Right =>
                            Editor.Word.Next;
--/ if SPELLER then
--//                    when NUMERIC_1 =>
--//                        SPELLER.EXCHANGE_WORD (CHOICE => 1);
--//                    when NUMERIC_2 =>
--//                        SPELLER.EXCHANGE_WORD (CHOICE => 2);
--//                    when NUMERIC_3 =>
--//                        SPELLER.EXCHANGE_WORD (CHOICE => 3);
--//                    when NUMERIC_4 =>
--//                        SPELLER.EXCHANGE_WORD (CHOICE => 4);
--//                    when NUMERIC_5 =>
--//                        SPELLER.EXCHANGE_WORD (CHOICE => 5);
--//                    when NUMERIC_6 =>
--//                        SPELLER.EXCHANGE_WORD (CHOICE => 6);
--//                    when NUMERIC_7 =>
--//                        SPELLER.EXCHANGE_WORD (CHOICE => 7);
--//                    when NUMERIC_8 =>
--//                        SPELLER.EXCHANGE_WORD (CHOICE => 8);
--//                    when NUMERIC_9 =>
--//                        SPELLER.EXCHANGE_WORD (CHOICE => 9);
--//                    when NUMERIC_0 =>
--//                        SPELLER.EXCHANGE_WORD (CHOICE => 10);
--/ end if;
                        when others =>
                            null;
                    end case;
                when Mark =>
                    case Key2 is
                        when Tab | ')' | '0' | 'E' | ']' | 'e' | '}' =>
                            Editor.Macro.Finish;
                        when '(' | '9' | 'A' | '[' | 'a' | '{' | Back_Tab =>
                            Editor.Macro.Start;
                        when 'B' | 'b' =>
                            Editor.Macro.Start;
                        when 'F' | 'f' =>
                            Editor.Macro.Bind;
                        when 'H' | 'h' =>
                            Editor.Mark.Previous;
                        when 'J' | 'j' =>
                            Editor.Mark.Next;
                        when 'M' | 'X' | 'm' | 'x' | Promot | Enter =>
                            Editor.Macro.Execute;
                        when 'N' | 'n' =>
                            Editor.Mark.Push;
                        when 'P' | 'p' =>
                            Editor.Mark.Copy_Top;
                        when 'R' | 'r' =>
                            Editor.Mark.Rotate;
                        when 'T' | 't' =>
                            Editor.Mark.Swap;
                        when 'U' | 'u' =>
                            Editor.Mark.Top;
                        when Delete =>
                            Editor.Mark.Delete_Top;
                        when Up =>
                            Editor.Mark.Top;
                        when Down =>
                            Editor.Mark.Push;
                        when Left =>
                            Editor.Mark.Previous;
                        when Right =>
                            Editor.Mark.Next;
                        when F4 =>
                            Editor.Macro.Bind;
                        when others =>
                            null;
                    end case;
                when F1 =>
                    Debug.Run;
                when F2 =>
                    Debug.Source (Location => "", Stack_Frame => 0);
                when F3 =>
                    Debug.Put;
                when F4 =>
                    Common.Definition
                       (Name => "<CURSOR>", In_Place => False, Visible => True);
                when F5 =>
                    What.Does (Name => "Help_On_Help");
                when F6 =>
                    Ada.Install_Unit;
                when F7 =>
                    Common.Edit;
                when F8 =>
                    Common.Create_Command;
                when F9 =>
                    Ada.Other_Part (Name => "<IMAGE>", In_Place => False);
                when F10 =>
                    Common.Semanticize;
                when F11 =>
                    Queue.Print;
                when F12 =>
                    What.Time;
                when Numeric_1 =>
                    Editor.Set.Argument_Digit (1);
                when Numeric_2 =>
                    Editor.Set.Argument_Digit (2);
                when Numeric_3 =>
                    Editor.Set.Argument_Digit (3);
                when Numeric_4 =>
                    Editor.Set.Argument_Digit (4);
                when Numeric_5 =>
                    Editor.Set.Argument_Digit (5);
                when Numeric_6 =>
                    Editor.Set.Argument_Digit (6);
                when Numeric_7 =>
                    Editor.Set.Argument_Digit (7);
                when Numeric_8 =>
                    Editor.Set.Argument_Digit (8);
                when Numeric_9 =>
                    Editor.Set.Argument_Digit (9);
                when Numeric_0 =>
                    Editor.Set.Argument_Digit (0);
                when Dash =>
                    Editor.Set.Argument_Minus;
                when Dot =>
                    Text.End_Of_Input;
                when Enter =>
                    Common.Commit;
                when Numeric_Comma =>
                    Editor.Set.Argument_Prefix;
                when S_Up =>
                    Editor.Window.Previous;
                when S_Down =>
                    Editor.Window.Next;
                when S_F1 =>
                    Debug.Execute;
                when S_F2 =>
                    Debug.Break (Location => "<SELECTION>",
                                 Stack_Frame => 0,
                                 Count => 1,
                                 In_Task => "",
                                 Default_Lifetime => True);
                when S_F3 =>
                    Debug.Catch (Name => "<SELECTION>",
                                 In_Task => "",
                                 At_Location => "");
                when S_F4 =>
                    Common.Definition
                       (Name => "<CURSOR>", In_Place => True, Visible => False);
                when S_F6 =>
                    Ada.Code_Unit;
                when S_F7 =>
                    Common.Demote;
                when S_F8 =>
                    Ada.Create_Body;
                when S_F9 =>
                    Ada.Other_Part (Name => "<IMAGE>", In_Place => True);
                when S_F10 =>
                    Ada.Get_Errors;
                when S_F11 =>
                    Job.Enable (0);
                when S_F12 =>
                    What.Load;
                when Esc_C_A =>
                    Editor.Line.Beginning_Of;
                when Esc_C_C =>
                    Editor.Line.Copy;
                when Esc_C_D =>
                    Editor.Line.Delete;
                when Esc_C_E =>
                    Editor.Line.End_Of;
                when Esc_C_F =>
                    Editor.Line.Delete_Backward;
                when Esc_Backspace =>
                    Editor.Cursor.Left (8);
                when Esc_Tab =>
                    Editor.Char.Tab_Forward;
                when Esc_C_J =>
                    Editor.Cursor.Right (8);
                when Esc_C_K =>
                    Editor.Line.Delete_Forward;
                when Esc_C_M =>
                    Command.Spawn;
                when Esc_C_N =>
                    Editor.Cursor.Down (8);
                when Esc_C_O | Esc_O =>
                    Editor.Line.Join;
                when Esc_C_T =>
                    Editor.Line.Transpose;
                when Esc_C_U =>
                    Editor.Cursor.Up (8);
                when Esc_Quotation | C_F5 =>
                    Editor.Key.Name;
--/ if DOCUMENT_FORMATTER then
--//            when ESC_PERCENT | ESC_5 =>
--//                COMPOSE (DOCUMENT => "<CURSOR>",DEVICE => "PostScript",OPTIONS => "",RESPONSE => "<PROFILE>");
--/ end if;
                when Esc_Tick =>
                    Editor.Char.Quote;
                when Esc_Left_Paren | Esc_9 =>
                    Editor.Char.Insert_String ("(""");
                when Esc_Right_Paren | Esc_0 =>
                    Editor.Char.Insert_String (""")");
                when Esc_Star | Esc_8 =>
                    Editor.Char.Quote;
                when Esc_Plus | Esc_Slash | Esc_Query =>
                    Common.Explain;
                when Esc_Comma | Esc_Less_Than =>
                    Editor.Word.Lower_Case;
                when Esc_Period | Esc_Greater_Than =>
                    Editor.Word.Upper_Case;
                when Esc_2 | Esc_At_Sign =>
                    case Key2 is
--/ if DESIGN_FACILITY then
--//                    when 'C' | 'c' =>
--//                        EDITOR.CHAR.INSERT_STRING("--| @COMPONENT_KIND ");
--/ end if;
                        when 'D' | 'd' =>
                            case Key3 is
--/ if DESIGN_FACILITY then
--//                            when 'E' | 'e' =>
--//                                EDITOR.CHAR.INSERT_STRING("--| @DECOMPOSITION ");
--//                            when 'S' | 's' =>
--//                                EDITOR.CHAR.INSERT_STRING("--| @DATA_STRUCTURE ");
--/ end if;
                                when others =>
                                    null;
                            end case;
--/ if DESIGN_FACILITY then
--//                    when 'F' | 'f' =>
--//                        EDITOR.CHAR.INSERT_STRING("--| @FILE_STRUCTURE ");
--//                    when 'I' | 'i' =>
--//                        EDITOR.CHAR.INSERT_STRING("--| @INPUT ");
--//                    when 'N' | 'n' =>
--//                        EDITOR.CHAR.INSERT_STRING("--| @NOTE ");
--//                    when 'O' | 'o' =>
--//                        EDITOR.CHAR.INSERT_STRING("--| @OUTPUT ");
--/ end if;
                        when 'R' | 'r' =>
                            case Key3 is
--/ if DESIGN_FACILITY then
--//                            when 'A' | 'a' =>
--//                                EDITOR.CHAR.INSERT_STRING("--| @RAISES ");
--/ end if;
                                when 'C' | 'c' =>
                                    case Key4 is
--/ if DESIGN_FACILITY then
--//                                    when 'A' | 'a' =>
--//                                        EDITOR.CHAR.INSERT_STRING("--| @REQUIREMENT CAPABILITY ");
--//                                    when 'O' | 'o' =>
--//                                        EDITOR.CHAR.INSERT_STRING("--| @REQUIREMENT CONSTITUENT ");
--/ end if;
                                        when others =>
                                            null;
                                    end case;
--/ if DESIGN_FACILITY then
--//                            when 'F' | 'f' =>
--//                                EDITOR.CHAR.INSERT_STRING("--| @REQUIREMENT FUNCTION ");
--//                            when 'I' | 'i' =>
--//                                EDITOR.CHAR.INSERT_STRING("--| @REQUIREMENT INTERFACE ");
--//                            when 'S' | 's' =>
--//                                EDITOR.CHAR.INSERT_STRING("--| @REQUIREMENT SUBFUNCTION ");
--/ end if;
                                when others =>
                                    null;
                            end case;
                        when 'S' | 's' =>
                            case Key3 is
--/ if DESIGN_FACILITY then
--//                            when 'A' | 'a' =>
--//                                EDITOR.CHAR.INSERT_STRING("--| @SATISFIES ");
--//                            when 'T' | 't' =>
--//                                EDITOR.CHAR.INSERT_STRING("--| @STATES ");
--/ end if;
                                when others =>
                                    null;
                            end case;
--/ if DESIGN_FACILITY then
--//                    when ESC_2 | ESC_AT_SIGN =>
--//                        EDITOR.CHAR.INSERT_STRING("--| @");
--/ end if;
                        when others =>
                            null;
                    end case;
                when Esc_3 =>
                    Cmvc.Check_In (What_Object => "<CURSOR>",
                                   Comments => "",
                                   Work_Order => "<DEFAULT>",
                                   Response => "<PROFILE>");
                when Esc_4 =>
                    Cmvc.Check_Out (What_Object => "<CURSOR>",
                                    Comments => "",
                                    Allow_Demotion => False,
                                    Allow_Implicit_Accept_Changes => True,
                                    Expected_Check_In_Time => "<TOMORROW>",
                                    Work_Order => "<DEFAULT>",
                                    Response => "<PROFILE>");
                when Esc_6 | Esc_Circumflex =>
                    Editor.Word.Capitalize;
                when Esc_Semicolon =>
                    Editor.Char.Insert_String (":=");
                when Esc_Equal =>
                    Editor.Char.Insert_String ("=>");
                when Esc_A | Esc_S_A =>
                    Editor.Word.Beginning_Of;
                when Esc_B | Esc_S_B =>
                    Editor.Word.Beginning_Of;
                when Esc_C | Esc_Y | Esc_S_C | Esc_S_Y =>
                    Editor.Hold_Stack.Next;
                when Esc_D | Esc_S_D =>
                    Editor.Word.Delete;
                when Esc_E | Esc_S_E =>
                    Editor.Word.End_Of;
                when Esc_F | Esc_S_F =>
                    Editor.Search.Replace_Next (Target => "",
                                                Replacement => "",
                                                Repeat => 1,
                                                Wildcard => False);
                when Esc_H | Esc_S_H =>
                    Editor.Word.Previous;
                when Esc_J | Esc_S_J =>
                    Editor.Word.Next;
                when Esc_K | Esc_S_K =>
                    Editor.Word.Delete_Forward;
                when Esc_L | Esc_S_L =>
                    Editor.Screen.Clear;
                when Esc_M | Esc_S_M =>
                    Editor.Mark.Next;
                when Esc_N | Esc_S_N =>
                    Editor.Cursor.Next (Prompt => True, Underline => True);
                when Esc_Q | Esc_S_Q =>
                    Editor.Key.Prompt (Key_Code => "");
                when Esc_R | Esc_S_R =>
                    Editor.Search.Replace_Previous (Target => "",
                                                    Replacement => "",
                                                    Repeat => 1,
                                                    Wildcard => False);
                when Esc_S | Esc_S_S =>
                    Editor.Search.Replace_Next (Target => "",
                                                Replacement => "",
                                                Repeat => 1,
                                                Wildcard => True);
                when Esc_T | Esc_S_T =>
                    Editor.Word.Transpose;
                when Esc_U | Esc_S_U =>
                    Editor.Cursor.Previous (Prompt => True, Underline => True);
                when Esc_V | Esc_S_V =>
                    Editor.Window.Next;
                when Esc_X | Esc_S_X =>
                    Editor.Macro.Execute;
                when Esc_Z | Esc_S_Z =>
                    Editor.Window.Previous;
                when Esc_Backslash =>
                    Editor.Char.Delete_Spaces;
                when Esc_Right_Bracket | Esc_Right_Brace =>
                    Editor.Region.Finish;
                when Esc_Grave | Esc_Tilde =>
                    Editor.Word.Capitalize;
                when Esc_Left_Brace =>
                    Editor.Region.Start;
--/ if DESIGN_FACILITY then
--//            when ESC_BAR =>
--//                EDITOR.CHAR.INSERT_STRING("--| ");
--/ end if;
                when Esc_Delete =>
                    Editor.Word.Delete_Backward;
                when Esc_Promot =>
                    Command.Debug;
--/ if DESIGN_FACILITY then
--//            when ESC_COMPLT =>
--//                DESIGN_IMPLEMENTATION.COMPLETE (INCLUDE_OPTIONAL_ANNOTATIONS => FALSE);
--//            when ESC_FORMAT =>
--//                DESIGN_IMPLEMENTATION.FORMAT;
--/ end if;
                when Esc_Up =>
                    What.Home_Library;
                when Esc_Left =>
                    Editor.Cursor.Previous (Prompt => True, Underline => True);
                when Esc_Right =>
                    Editor.Cursor.Next (Prompt => True, Underline => True);
                when Esc_Back_Tab =>
                    Editor.Char.Tab_Backward;
                when Esc_F1 =>
                    Debug.Run (Stop_At => Debug.Local_Statement);
                when Esc_F2 =>
                    Debug.Activate (Breakpoint => 0);
                when Esc_F3 =>
                    Debug.Propagate (Name => "<SELECTION>",
                                     In_Task => "",
                                     At_Location => "");
                when Esc_F4 =>
                    Common.Enclosing (In_Place => False, Library => True);
                when Esc_F5 =>
                    Editor.Image.Find ("Help Window");
                when Esc_F6 =>
                    Compilation.Promote (Unit => "<IMAGE>",
                                         Scope => Compilation.All_Parts,
                                         Goal => Compilation.Installed,
                                         Limit => "<WORLDS>",
                                         Effort_Only => False,
                                         Response => "<PROFILE>");
                when Esc_F7 =>
                    Compilation.Demote (Unit => "<SELECTION>",
                                        Goal => Compilation.Source,
                                        Limit => "<WORLDS>",
                                        Effort_Only => False,
                                        Response => "<PROFILE>");
                when Esc_F9 =>
                    Ada.Show_Usage (Name => "<CURSOR>",
                                    Global => False,
                                    Limit => "<WORLDS>",
                                    Closure => False);
                when Esc_F10 =>
                    Common.Clear_Underlining;
                when Esc_F11 =>
                    Job.Connect (0);
                when Esc_F12 =>
                    What.Users (All_Users => True);
--/ if DESIGN_FACILITY then
--//            when ESC_NUMERIC_1 =>
--//                DESIGN_IMPLEMENTATION.DEFINITION (IN_PLACE => FALSE,VISIBLE => TRUE);
--//            when ESC_NUMERIC_2 =>
--//                DESIGN_IMPLEMENTATION.SHOW_USAGE (IN_WORLD => "<CURSOR>");
--//            when ESC_NUMERIC_3 =>
--//                DESIGN_IMPLEMENTATION.EXPLAIN;
--//            when ESC_NUMERIC_4 =>
--//                DESIGN_IMPLEMENTATION.ENCLOSING (IN_PLACE => FALSE);
--/ end if;
--/ if MAIL then
--//            when ESC_DASH =>
--//                MAIL.FORWARD;
--//            when ESC_DOT =>
--//                MAIL.SEND;
--//            when ESC_ENTER =>
--//                MAIL.EDIT (MAILBOX => "MAIN",FOR_USER => "");
--//            when ESC_NUMERIC_COMMA =>
--//                MAIL.REPLY (TO_ALL => FALSE);
--/ end if;
                when C_F2 =>
                    Debug.Remove (Breakpoint => 0, Delete => False);
                when C_F3 =>
                    Debug.Stack;
                when C_F4 =>
                    Common.Enclosing (In_Place => False, Library => False);
                when C_F6 =>
                    Compilation.Make (Unit => "<IMAGE>",
                                      Scope => Compilation.All_Parts,
                                      Goal => Compilation.Coded,
                                      Limit => "<WORLDS>",
                                      Effort_Only => False,
                                      Response => "<PROFILE>");
                when C_F7 =>
                    Ada.Source_Unit;
                when C_F9 =>
                    Ada.Show_Usage (Name => "<CURSOR>",
                                    Global => True,
                                    Limit => "<ALL_WORLDS>",
                                    Closure => False);
                when C_F10 =>
                    Ada.Show_Unused (In_Unit => "<IMAGE>",
                                     Check_Other_Units => False);
                when C_F12 =>
                    What.Object (Name => "<IMAGE>");
                when Esc_C_F1 =>
                    Debug.Task_Display;
                when Esc_C_F2 =>
                    Debug.Show;
                when Esc_C_F4 =>
                    Common.Enclosing (In_Place => True, Library => False);
                when Esc_C_F5 =>
                    Access_List.Display (For_Object => "<CURSOR>");
                when Esc_C_F6 =>
                    Compilation.Make (Unit => "<IMAGE>",
                                      Scope => Compilation.Load_Views,
                                      Goal => Compilation.Coded,
                                      Limit => "<ALL_WORLDS>",
                                      Effort_Only => False,
                                      Response => "<PROFILE>");
                when Esc_C_F7 =>
                    Ada.Withdraw;
                when Esc_C_F9 =>
                    Ada.Create_Private;
                when Esc_C_F10 =>
                    Ada.Show_Unused (In_Unit => "<IMAGE>",
                                     Check_Other_Units => True);
                when Esc_C_F12 =>
                    What.Locks (Name => "<IMAGE>");
                when others =>
                    null;
            end case;

    end case;

end Facit_Commands;

E3 Meta Data

    nblk1=2d
    nid=0
    hdr6=5a
        [0x00] rec0=32 rec1=00 rec2=01 rec3=016
        [0x01] rec0=20 rec1=00 rec2=02 rec3=078
        [0x02] rec0=1c rec1=00 rec2=03 rec3=034
        [0x03] rec0=1a rec1=00 rec2=04 rec3=016
        [0x04] rec0=19 rec1=00 rec2=05 rec3=018
        [0x05] rec0=15 rec1=00 rec2=06 rec3=04e
        [0x06] rec0=16 rec1=00 rec2=07 rec3=054
        [0x07] rec0=16 rec1=00 rec2=08 rec3=02c
        [0x08] rec0=14 rec1=00 rec2=09 rec3=016
        [0x09] rec0=14 rec1=00 rec2=0a rec3=04e
        [0x0a] rec0=17 rec1=00 rec2=0b rec3=024
        [0x0b] rec0=14 rec1=00 rec2=0c rec3=046
        [0x0c] rec0=13 rec1=00 rec2=0d rec3=028
        [0x0d] rec0=16 rec1=00 rec2=0e rec3=002
        [0x0e] rec0=1a rec1=00 rec2=0f rec3=006
        [0x0f] rec0=14 rec1=00 rec2=10 rec3=068
        [0x10] rec0=16 rec1=00 rec2=11 rec3=018
        [0x11] rec0=17 rec1=00 rec2=12 rec3=004
        [0x12] rec0=14 rec1=00 rec2=13 rec3=070
        [0x13] rec0=19 rec1=00 rec2=14 rec3=032
        [0x14] rec0=15 rec1=00 rec2=15 rec3=032
        [0x15] rec0=17 rec1=00 rec2=16 rec3=048
        [0x16] rec0=13 rec1=00 rec2=17 rec3=014
        [0x17] rec0=15 rec1=00 rec2=18 rec3=020
        [0x18] rec0=16 rec1=00 rec2=19 rec3=04a
        [0x19] rec0=1b rec1=00 rec2=1a rec3=004
        [0x1a] rec0=17 rec1=00 rec2=1b rec3=020
        [0x1b] rec0=18 rec1=00 rec2=1c rec3=01a
        [0x1c] rec0=19 rec1=00 rec2=1d rec3=048
        [0x1d] rec0=18 rec1=00 rec2=1e rec3=040
        [0x1e] rec0=17 rec1=00 rec2=1f rec3=01e
        [0x1f] rec0=13 rec1=00 rec2=20 rec3=050
        [0x20] rec0=13 rec1=00 rec2=21 rec3=038
        [0x21] rec0=14 rec1=00 rec2=22 rec3=04a
        [0x22] rec0=13 rec1=00 rec2=23 rec3=04a
        [0x23] rec0=15 rec1=00 rec2=24 rec3=012
        [0x24] rec0=14 rec1=00 rec2=25 rec3=01a
        [0x25] rec0=14 rec1=00 rec2=26 rec3=00e
        [0x26] rec0=17 rec1=00 rec2=27 rec3=046
        [0x27] rec0=13 rec1=00 rec2=28 rec3=042
        [0x28] rec0=14 rec1=00 rec2=29 rec3=056
        [0x29] rec0=17 rec1=00 rec2=2a rec3=06e
        [0x2a] rec0=13 rec1=00 rec2=2b rec3=064
        [0x2b] rec0=15 rec1=00 rec2=2c rec3=04c
        [0x2c] rec0=0b rec1=00 rec2=2d rec3=000
    tail 0x21722391a83c173bb0bde 0x42a00088462060003