[31m-- Main is main file of main project written with Ada.[m
[31m-- Main is Copyright (C) 2025 Manuel De Girardi ; [m
[31m--[m
[31m--   This program is free software; you can redistribute it and/or modify[m
[31m--   it under the terms of the GNU General Public License as published by[m
[31m--   the Free Software Foundation; either version 2 of the License, or[m
[31m--   (at your option) any later version.[m
[31m--[m
[31m--   This program is distributed in the hope that it will be useful,[m
[31m--   but WITHOUT ANY WARRANTY; without even the implied warranty of[m
[31m--   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the[m
[31m--   GNU General Public License for more details.[m
[31m--[m
[31m--   You should have received a copy of the GNU General Public License[m
[31m--   along with this program; if not, write to the Free Software[m
[31m--   Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA[m
[31m--[m
[31m-- Date := 2026-10-20 19:52:36 ; [m
[31m-- Version := 0.62.0a ; [m
[01;34mwith[m M [31m;[m 
[01;34mwith[m M[31m.[mErrors [31m;[m 
[01;34mwith[m M[31m.[mParameters [31m;[m 
[01;34mwith[m M[31m.[mOptions [31m;[m 
[01;34mwith[m M[31m.[mEnums [31m;[m 
[01;34mwith[m M[31m.[mTypes [31m;[m 
[01;34mwith[m M[31m.[mInterfaces [31m;[m 
[01;34mwith[m M[31m.[mLogs[31m;[m
[01;34muse[m M[31m.[mLogs[31m;[m
[01;34mwith[m M[31m.[mAccount[31m;[m
[01;34mwith[m M[31m.[mAccounts_Manager[31m;[m
[01;34muse[m M[31m.[mAccount[31m;[m
[01;34muse[m M[31m.[mAccounts_Manager[31m;[m

[01;34mwith[m M[31m.[mProjects_Manager[31m;[m
[01;34muse[m M[31m.[mProjects_Manager[31m;[m
[01;34mwith[m M[31m.[mProject[31m;[m
[01;34muse[m M[31m.[mProject[31m;[m
[01;34mwith[m M[31m.[mClasses[31m;[m

[01;34mwith[m M[31m.[mAnsi[31m.[mConsole [31m;[m
[01;34muse[m M[31m.[mAnsi[31m.[mConsole [31m;[m
[01;34mwith[m M[31m.[mAnsi[31m.[mWindows [31m;[m
[01;34mwith[m M[31m.[mWindows [31m;[m
[01;34mwith[m M[31m.[mStrings [31m;[m
[01;34mwith[m M[31m.[mMain_Game[31m;[m
[01;34muse[m M[31m.[mMain_Game[31m;[m

[01;34mwith[m Gnat[31m.[mOs_Lib[31m;[m
[01;34muse[m Gnat[31m.[mOs_Lib[31m;[m

[01;34mwith[m El[31m.[mLexics[31m;[m
[01;34mwith[m El[31m.[mHander[31m;[m
[01;34mwith[m El[31m.[mFrames[31m;[m
[01;34mwith[m El[31m.[mClasse[31m;[m

[01;34muse[m El[31m;[m
[01;34mwith[m M[31m.[mEngineering[31m;[m
[01;34mwith[m M[31m.[mEngine[31m;[m
[01;34mwith[m M[31m.[mServers [31m;[m
[01;34mwith[m Ada[31m.[mCalendar[31m;[m
[01;34muse[m Ada[31m.[mCalendar[31m;[m
[01;34mwith[m Gnat[31m.[mOS_Lib[31m;[m
[01;34muse[m Gnat[31m;[m
[01;34mwith[m Gnat[31m.[mSha1[31m;[m
[01;34muse[m Gnat[31m.[mSha1[31m;[m
[01;34mwith[m M[31m.[mAttributes[31m;[m
[01;34muse[m M[31m.[mAttributes[31m;[m
[01;34mwith[m M[31m.[mResults[31m;[m
[01;34muse[m M[31m;[m
[01;34mgeneric[m
   [01;34mwith[m [01;34mpackage[m Ansi_Windows [01;34mis[m [01;34mnew[m M[31m.[mAnsi[31m.[m[01;30mWindows[m [31m(<>);[m
   [01;34mwith[m [01;34mpackage[m Windows [01;34mis[m [01;34mnew[m M[31m.[m[01;30mWindows[m [31m(<>)[m [31m;[m
   [01;34mwith[m [01;34mpackage[m Hander [01;34mis[m [01;34mnew[m El[31m.[m[01;30mHander[m [31m(<>)[m [31m;[m
   [01;34mwith[m [01;34mpackage[m Words_Glossary [01;34mis[m [01;34mnew[m El[31m.[mLexics[31m.[m[01;30mGlossary[m [31m(<>);[m
   
[01;34mpackage[m M[31m.[mAgence [01;34mis[m
   
   
         [01;34mtype[m Logon_Record [01;34mis[m [01;34mtagged[m
      [01;34mrecord[m
	 Logname    [31m:[m String_Access[31m;[m
	 Password   [31m:[m Sha1[31m.[mMessage_Digest[31m;[m	 
      [01;34mend[m [01;34mrecord[m[31m;[m      
   
   [01;34mtype[m Auth_Info [01;34mis[m [01;34mtagged[m
      [01;34mrecord[m
	 Logname    [31m:[m String_Access[31m;[m
	 Password   [31m:[m String_Access[31m;[m
      [01;34mend[m [01;34mrecord[m[31m;[m      

      
   [01;34mtype[m Identity_Record [01;34mis[m [01;34mnew[m Logon_record [01;34mwith[m
      [01;34mrecord[m
	 
	 Full_Name [31m:[m [01;34maccess[m [32mWide_String[m[31m;[m
	 Address   [31m:[m [01;34maccess[m [32mWide_String[m[31m;[m
	 City_Code [31m:[m [01;34maccess[m [32mWide_String[m[31m;[m
	 City_Name [31m:[m [01;34maccess[m [32mWide_String[m[31m;[m
	 Phone_Nb  [31m:[m [01;34maccess[m [32mWide_String[m[31m;[m
	 Email     [31m:[m [01;34maccess[m [32mWide_String[m[31m;[m
	 Web_Addr  [31m:[m [01;34maccess[m [32mWide_String[m[31m;[m
      [01;34mend[m [01;34mrecord[m[31m;[m
   
   [01;34mtype[m Date_Record [01;34mis[m [01;34mtagged[m
      [01;34mrecord[m
	 Year [31m:[m Year_Range [31m:=[m Year_Range ' First[31m;[m
	 Month [31m:[m Month_Range [31m:=[m Month_Range ' First[31m;[m
	 Day [31m:[m Day_Range [31m:=[m Day_Range ' First[31m;[m
	 Hours [31m:[m [32mDuration[m [31m:=[m [32mDuration[m ' First[31m;[m
      [01;34mend[m [01;34mrecord[m[31m;[m
   
   Null_Date [31m:[m [01;34mconstant[m Date_Record [31m:=[m
     [31m([mYear_Range ' First[31m,[m Month_Range ' First[31m,[m Day_Range ' First[31m,[m [32mDuration[m ' First[31m);[m

   
   [01;34mtype[m User_Record [01;34mis[m [01;34mnew[m Auth_Info [01;34mwith[m
      [01;34mrecord[m
	 Identity   [31m:[m Identity_Record[31m;[m
	 Home_Path  [31m:[m [01;34maccess[m [32mString[m[31m;[m
	 Last_Visit [31m:[m [01;34maccess[m Date_Record[31m;[m
	 Alias_Set         [31m:[m [01;30mAttributs[m[31m([m[35m2048[m[31m);[m
	 Var_Set           [31m:[m [01;30mAttributs[m[31m([m[35m2048[m[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m
   
   
   [01;34mtype[m User_Access [01;34mis[m [01;34maccess[m User_Record[31m;[m
   [01;34mtype[m User_Array [01;34mis[m [01;34marray[m [31m([mPositive [01;34mrange[m [31m<>)[m [01;34mof[m User_Access[31m;[m
   
   [01;34mtype[m [01;30mUser_Set[m[31m([mMax_Users [31m:[m Positive[31m)[m [01;34mis[m [01;34mtagged[m
      [01;34mrecord[m
	 Set [31m:[m [01;30mUser_Array[m[31m([m[35m1[m[31m..[mMax_Users[31m);[m
	 User_Last [31m:[m Natural [31m:=[m [35m0[m[31m;[m
      [01;34mend[m [01;34mrecord[m[31m;[m
        
   [01;34mtype[m Users_Ptr [01;34mis[m [01;34maccess[m [01;34mall[m User_Set[31m;[m

   
   

   
   [01;34muse[m Hander[31m;[m
   [01;34muse[m Words_Glossary[31m;[m
   [31m--use Hander.Words_Glossary;[m
   [01;34mpackage[m Frames [01;34mis[m [01;34mnew[m El[31m.[m[01;30mFrames[m [31m([mWindows[31m);[m
   [01;34muse[m Frames [31m;[m
   
   [01;34muse[m M[31m.[mStrings[31m;[m
   [01;34mpackage[m Classes [01;34mis[m [01;34mnew[m M[31m.[m[01;30mClasses[m [31m([mWindows[31m.[mAnsi_Windows[31m);[m
   [01;34muse[m Classes[31m;[m
   [01;34mpackage[m Engine [01;34mis[m [01;34mnew[m M[31m.[m[01;30mEngine[m[31m([mWindows[31m.[mAnsi_Windows[31m);[m
   [01;34muse[m Engine[31m;[m
   [01;34mpackage[m Engineering [01;34mis[m [01;34mnew[m M[31m.[m[01;30mEngineering[m [31m([mWindows[31m,[m Classes[31m,[m Engine[31m);[m
   [01;34muse[m Engineering[31m;[m
   [31m--   use Engineer.Classes;[m
   
   [01;34mprocedure[m [01;30mSave[m [31m([mObject [31m:[m [01;34min[m Abstract_Access[31m;[m
   		   Filename [31m:[m [01;34min[m [32mString[m[31m);[m
   [01;34mtype[m Agence_Record[31m;[m
   
   [01;34mtype[m Abstract_Mode [01;34mis[m [01;34mabstract[m [01;34mtagged[m [01;34mlimited[m [01;34mnull[m [01;34mrecord[m[31m;[m
   
   [01;34mtype[m [01;30mAll_Mode[m[31m([mName [31m:[m Mode_Enum[31m)[m [01;34mis[m [01;34mnew[m Abstract_Mode [01;34mwith[m [01;34mnull[m [01;34mrecord[m[31m;[m
   
   [01;34mtype[m All_Access [01;34mis[m [01;34maccess[m All_Mode'class[31m;[m
   
   [01;34mtype[m Mode_Array [01;34mis[m [01;34marray[m [31m([mNatural [01;34mrange[m [31m<>)[m [01;34mof[m All_Access[31m;[m
   
   [01;34mtype[m App_Access [01;34mis[m [01;34maccess[m [01;34mall[m Agence_Record[31m;[m
   
   [01;34mtask[m [01;34mtype[m [01;30mConsole_Process[m[31m([mAgence [31m:[m [01;34maccess[m Agence_Record[31m)[m [01;34mis[m
      [01;34mentry[m Initialize[31m;[m
      [01;34mentry[m [01;30mReceive[m[31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m Halt[31m;[m
      [01;34mentry[m [01;30mMode[m[31m([mMode [31m:[m [01;34mout[m Mode_Enum[31m);[m
      [01;34mentry[m Reset[31m;[m
      [01;34mentry[m [01;30mSwitch[m [31m([mMode [31m:[m [01;34min[m Mode_Enum[31m);[m
      [01;34mentry[m [01;30mSet_On_Esc[m[31m([mIs_Escape [31m:[m [01;34min[m [32mBoolean[m[31m);[m      
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m  
      [01;34mentry[m Full_Screen[31m;[m
   [01;34mend[m Console_Process[31m;[m

   
   [01;34mtype[m [01;30mLogs_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mLogs_Process[m [31m([mMode [31m:[m [01;34maccess[m Logs_Record[31m;[m App [31m:[m App_Access[31m)[m  [01;34mis[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m      
      [01;34mentry[m Halt[31m;[m
      [01;34mentry[m Full_Screen[31m;[m
   [01;34mend[m Logs_Process[31m;[m
   [01;34mtype[m [01;30mLogs_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mLog[31m)[m [01;34mwith[m
      [01;34mrecord[m
	 Proc [31m:[m [01;30mLogs_Process[m[31m([mLogs_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m
   
   
   [01;34mtype[m [01;30mNone_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mNone_Process[m [31m([mMode [31m:[m [01;34maccess[m None_Record[31m;[m App [31m:[m App_Access[31m)[m [01;34mis[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m Halt[31m;[m
      [01;34mentry[m Suspend[31m;[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Refresh[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Full_Screen[31m;[m

      [01;34mentry[m Del[31m;[m

      [01;34mentry[m Begin_Of[31m;[m

      [01;34mentry[m End_Of[31m;[m
      
      [01;34mentry[m Overwrite[31m;[m

      [01;34mentry[m Screen_Print[31m;[m
      
   [01;34mend[m None_Process[31m;[m
   [01;34mtype[m [01;30mNone_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mNone[31m)[m [01;34mwith[m
      [01;34mrecord[m
	 Proc [31m:[m [01;30mNone_Process[m[31m([mNone_Record'[01;34mAccess[m[31m,[m App[31m);[m	    
      [01;34mend[m [01;34mrecord[m[31m;[m
   
   
   [01;34msubtype[m Cpu_String [01;34mis[m [32mString[m [31m([m[35m1[m[31m..[m[35m6[m[31m);[m
   
   Home_Dir [31m:[m [32mString[m [31m:=[m [01;30mGetenv[m[31m([m[31m"HOME"[m[31m).[m[01;34mall[m[31m;[m
   
   [01;34mtask[m CPU_Process [01;34mis[m
      [01;34mentry[m Initialize[31m;[m
      [01;34mentry[m [01;30mCpu_Get[m[31m([mCPU_Usage [31m:[m [01;34mout[m CPU_String[31m);[m
      
      [01;34mentry[m Halt[31m;[m
   [01;34mend[m CPU_Process[31m;[m
   
   
   
   [31m-------------------------------------------------------------[m
   [31m--                         Organizer                       --[m
   [31m-------------------------------------------------------------[m
   [31m--                                                         --[m
   [31m--                                                         --[m
   [31m--                                                         --   [m
   
   [01;34mtype[m [01;30mOrganizer_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mOrganizer_Process[m [31m([mMode [31m:[m [01;34maccess[m Organizer_Record[31m;[m App [31m:[m App_Access[31m)[m  [01;34mis[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m      
      [01;34mentry[m Halt[31m;[m
      [01;34mentry[m Full_Screen[31m;[m
   [01;34mend[m Organizer_Process[31m;[m
   [01;34mtype[m [01;30mOrganizer_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mOrganizer[31m)[m [01;34mwith[m
      [01;34mrecord[m
	 Proc [31m:[m [01;30mOrganizer_Process[m[31m([mOrganizer_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m
   
      [31m-------------------------------------------------------------[m
   [31m--                         Kingdom                       --[m
   [31m-------------------------------------------------------------[m
   [31m--                                                         --[m
   [31m--                                                         --[m
   [31m--                                                         --   [m
   
   [31m--  type Kingdom_Record(App : App_Access);[m
   [31m--  task type Kingdom_Process (Mode : access Kingdom_Record; App : App_Access)  is[m
   [31m--     --entry Initialize(App : in App_Access);[m
   [31m--     entry Receive (Wchar : in Wide_Character);[m
   [31m--     entry Wake_Up(Top : in Natural);[m
   [31m--     entry Suspend;[m
   [31m--     entry Page_Down;[m
   [31m--     entry Page_Up;[m
   [31m--     entry Up_Arrow;[m
   [31m--     entry Down_Arrow;[m
   [31m--     entry Left_Arrow;[m
   [31m--     entry Right_Arrow;[m
   [31m--     entry Begin_Of;[m
   [31m--     entry End_Of;[m
   [31m--     entry Del;[m
   [31m--     entry Overwrite;      [m
   [31m--     entry Halt;[m
   [31m--     entry Full_Screen;[m
   [31m--  end Kingdom_Process;[m
   [31m--  type Kingdom_Record(App : App_Access) is new All_Mode(Kingdom) with[m
   [31m--     record[m
   [31m--  	 Proc : Kingdom_Process(Kingdom_Record'Access, App);[m
   [31m--     end record;[m

   
   [31m-------------------------------------------------------------[m
   [31m--                      Virtual_Brain                      --[m
   [31m-------------------------------------------------------------[m
   [31m--                                                         --[m
   [31m--                                                         --[m
   [31m--                                                         --   [m
   
   [01;34mtype[m [01;30mVbrain_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mVbrain_Process[m [31m([mMode [31m:[m [01;34maccess[m Vbrain_Record[31m;[m App [31m:[m App_Access[31m)[m  [01;34mis[m
      [01;34mpragma[m [01;30mStorage_Size[m [31m([m[35m268435456[m[31m);[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m      
      [01;34mentry[m Halt[31m;[m
      [01;34mentry[m Dialog[31m;[m
      [01;34mentry[m Refresh[31m;[m
      [31m--entry Screen_Print;[m
      [01;34mentry[m Full_Screen[31m;[m
   [01;34mend[m Vbrain_Process[31m;[m
   [01;34mtype[m [01;30mVbrain_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mDialog[31m)[m [01;34mwith[m
      [01;34mrecord[m
	 Proc [31m:[m [01;30mVbrain_Process[m[31m([mVbrain_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m
   
   
   [31m-------------------------------------------------------------[m
   [31m--                      Workstation                        --[m
   [31m-------------------------------------------------------------[m
   [31m--                                                         --[m
   [31m--                                                         --[m
   [31m--                                                         --   [m
   
   [01;34mtype[m [01;30mWorkstation_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mWorkstation_Process[m [31m([mMode [31m:[m [01;34maccess[m Workstation_Record[31m;[m App [31m:[m App_Access[31m)[m  [01;34mis[m
      [01;34mpragma[m [01;30mStorage_Size[m [31m([m[35m268435456[m[31m);[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m      
      [01;34mentry[m Halt[31m;[m
      [01;34mentry[m Dialog[31m;[m
      [01;34mentry[m Refresh[31m;[m
      [31m--entry Screen_Print;[m
      [01;34mentry[m Full_Screen[31m;[m
   [01;34mend[m Workstation_Process[31m;[m
   [01;34mtype[m [01;30mWorkstation_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mTerminator[31m)[m [01;34mwith[m
      [01;34mrecord[m
	 Proc [31m:[m [01;30mWorkstation_Process[m[31m([mWorkstation_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m
   
   
   [31m-------------------------------------------------------------[m
   [31m--                       Space Fighter                     --[m
   [31m-------------------------------------------------------------[m
   [31m--                                                         --[m
   [31m--                                                         --[m
   [31m--                                                         --   [m
   
   [01;34mtype[m [01;30mSpace_Fighter_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mSpace_Fighter_Process[m [31m([mMode [31m:[m [01;34maccess[m Space_Fighter_Record[31m;[m App [31m:[m App_Access[31m)[m  [01;34mis[m
      [01;34mpragma[m [01;30mStorage_Size[m [31m([m[35m268435456[m[31m);[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m      
      [01;34mentry[m Halt[31m;[m
      [01;34mentry[m Dialog[31m;[m
      [01;34mentry[m Refresh[31m;[m
      [31m--entry Screen_Print;[m
      [01;34mentry[m Full_Screen[31m;[m
   [01;34mend[m Space_Fighter_Process[31m;[m
   [01;34mtype[m [01;30mSpace_Fighter_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mJoshua[31m)[m [01;34mwith[m
      [01;34mrecord[m
	 Proc [31m:[m [01;30mSpace_Fighter_Process[m[31m([mSpace_Fighter_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m
   

   
   
   [31m-------------------------------------------------------------[m
   [31m--                        Planning                         --[m
   [31m-------------------------------------------------------------[m
   [31m--                                                         --[m
   [31m--                                                         --[m
   [31m--                                                         --   [m
   
   [01;34mtype[m Planning_Record[31m;[m
   [01;34mtask[m [01;34mtype[m [01;30mPlanning_Process[m [31m([mMode [31m:[m [01;34maccess[m Planning_Record[31m;[m App [31m:[m App_Access[31m)[m  [01;34mis[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m      
      [01;34mentry[m Halt[31m;[m
      [01;34mentry[m Full_Screen[31m;[m
   [01;34mend[m Planning_Process[31m;[m
   [01;34mtype[m [01;30mPlanning_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mPlanning[31m)[m [01;34mwith[m
      [01;34mrecord[m
	 Proc [31m:[m [01;30mPlanning_Process[m[31m([mPlanning_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m

   
   [31m-------------------------------------------------------------[m
   [31m--                         Manager                         --[m
   [31m-------------------------------------------------------------[m
   [31m--                                                         --[m
   [31m--                                                         --[m
   [31m--                                                         --   [m
   [01;34mtype[m [01;30mManager_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mManager_Process[m [31m([mMode [31m:[m [01;34maccess[m Manager_Record[31m;[m App [31m:[m App_Access[31m)[m [01;34mis[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      
      [01;34mentry[m Refresh[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Full_Screen[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Overwrite[31m;[m
      [31m--entry Screen_Print;[m

      [01;34mentry[m Halt[31m;[m
   [01;34mend[m Manager_Process[31m;[m
   [01;34mtype[m [01;30mManager_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mManager[31m)[m [01;34mwith[m
      [01;34mrecord[m
	 Proc [31m:[m [01;30mManager_Process[m[31m([mManager_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m

   
   [31m-------------------------------------------------------------[m
   [31m--                       MoneyBox                          --[m
   [31m-------------------------------------------------------------[m
   [31m--                                                         --[m
   [31m--                                                         --[m
   [31m--                                                         --   [m
   
   [01;34mtype[m [01;30mMoneybox_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mMoneyBox_Process[m [31m([mMode [31m:[m [01;34maccess[m MoneyBox_Record[31m;[m App [31m:[m App_Access[31m)[m  [01;34mis[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      [01;34mentry[m Refresh[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m      

      [31m--entry Screen_Print;[m
      [01;34mentry[m Halt[31m;[m
      [01;34mentry[m Full_Screen[31m;[m
   [01;34mend[m MoneyBox_Process[31m;[m
   [01;34mtype[m [01;30mMoneyBox_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mMoneybox[31m)[m [01;34mwith[m
      [01;34mrecord[m
	 Proc [31m:[m [01;30mMoneyBox_Process[m[31m([mMoneyBox_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m

   
   [31m-------------------------------------------------------------[m
   [31m--                          Activity                       --[m
   [31m-------------------------------------------------------------[m
   [31m--                                                         --[m
   [31m--                                                         --[m
   [31m--                                                         --   [m
   
   [01;34mtype[m [01;30mActivity_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mActivity_Process[m [31m([mMode [31m:[m [01;34maccess[m Activity_Record[31m;[m App [31m:[m App_Access[31m)[m  [01;34mis[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      [01;34mentry[m Refresh[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m      
      [31m--entry Screen_Print;[m
      [01;34mentry[m Halt[31m;[m
      [01;34mentry[m Full_Screen[31m;[m
   [01;34mend[m Activity_Process[31m;[m
   [01;34mtype[m [01;30mActivity_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mActivity[31m)[m [01;34mwith[m
      [01;34mrecord[m
	 Proc [31m:[m [01;30mActivity_Process[m[31m([mActivity_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m

   
   [31m-------------------------------------------------------------[m
   [31m--                          Stocks                         --[m
   [31m-------------------------------------------------------------[m
   [31m--                                                         --[m
   [31m--                                                         --[m
   [31m--                                                         --   [m
   
   [01;34mtype[m [01;30mStocks_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mStocks_Process[m [31m([mMode [31m:[m [01;34maccess[m Stocks_Record[31m;[m App [31m:[m App_Access[31m)[m  [01;34mis[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      [01;34mentry[m Refresh[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m      

      [31m--entry Screen_Print;[m
      [01;34mentry[m Halt[31m;[m
      [01;34mentry[m Full_Screen[31m;[m
   [01;34mend[m Stocks_Process[31m;[m
   [01;34mtype[m [01;30mStocks_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mStocks[31m)[m [01;34mwith[m
      [01;34mrecord[m
	 Proc [31m:[m [01;30mStocks_Process[m[31m([mStocks_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m

   
   [31m-------------------------------------------------------------[m
   [31m--                           Bank                          --[m
   [31m-------------------------------------------------------------[m
   [31m--                                                         --[m
   [31m--                                                         --[m
   [31m--                                                         --   [m
   
   [01;34mtype[m [01;30mBank_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mBank_Process[m [31m([mMode [31m:[m [01;34maccess[m Bank_Record[31m;[m App [31m:[m App_Access[31m)[m  [01;34mis[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m      
      [01;34mentry[m Halt[31m;[m
      [01;34mentry[m Full_Screen[31m;[m
   [01;34mend[m Bank_Process[31m;[m
   [01;34mtype[m [01;30mBank_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mbank[31m)[m [01;34mwith[m
      [01;34mrecord[m
	 Proc [31m:[m [01;30mBank_Process[m[31m([mBank_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m

   
   [31m-------------------------------------------------------------[m
   [31m--                          Menu                           --[m
   [31m-------------------------------------------------------------[m
   [31m--                                                         --[m
   [31m--                                                         --[m
   [31m--                                                         --   [m
   
   [01;34mtype[m [01;30mMenu_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mMenu_Process[m [31m([mMode [31m:[m [01;34maccess[m Menu_Record[31m;[m App [31m:[m App_Access[31m)[m  [01;34mis[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m      
      [01;34mentry[m Halt[31m;[m
      [01;34mentry[m Full_Screen[31m;[m
   [01;34mend[m Menu_Process[31m;[m
   [01;34mtype[m [01;30mMenu_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mMenu[31m)[m [01;34mwith[m
      [01;34mrecord[m
	 Proc [31m:[m [01;30mMenu_Process[m[31m([mMenu_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m

   
   
   [31m-------------------------------------------------------------[m
   [31m--                         Contact                         --[m
   [31m-------------------------------------------------------------[m
   [31m--                                                         --[m
   [31m--                                                         --[m
   [31m--                                                         --   [m
   
   [01;34mtype[m [01;30mContacts_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mContacts_Process[m [31m([mMode [31m:[m [01;34maccess[m Contacts_Record[31m;[m App [31m:[m App_Access[31m)[m  [01;34mis[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m      
      [01;34mentry[m Halt[31m;[m
      [01;34mentry[m Full_Screen[31m;[m
   [01;34mend[m Contacts_Process[31m;[m
   [01;34mtype[m [01;30mContacts_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mContacts[31m)[m [01;34mwith[m
      [01;34mrecord[m
	 Proc [31m:[m [01;30mContacts_Process[m[31m([mContacts_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m

   
   [31m-------------------------------------------------------------[m
   [31m--                          Library                        --[m
   [31m-------------------------------------------------------------[m
   [31m--                                                         --[m
   [31m--                                                         --[m
   [31m--                                                         --   [m
   
   [01;34mtype[m [01;30mLibrary_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mLibrary_Process[m [31m([mMode [31m:[m [01;34maccess[m Library_Record[31m;[m App [31m:[m App_Access[31m)[m  [01;34mis[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      
      [01;34mentry[m Refresh[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m      
      [31m--entry Screen_Print;[m
      [01;34mentry[m Halt[31m;[m
      [01;34mentry[m Full_Screen[31m;[m
   [01;34mend[m Library_Process[31m;[m
   
   [01;34mtype[m [01;30mLibrary_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mLibrary[31m)[m [01;34mwith[m
      [01;34mrecord[m
	 Proc [31m:[m [01;30mLibrary_Process[m[31m([mLibrary_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m
   
   
   [31m-------------------------------------------------------------[m
   [31m--                      Master/Navigation                  --[m
   [31m-------------------------------------------------------------[m
   [31m--                                                         --[m
   [31m--                                                         --[m
   [31m--                                                         --   [m
   
   
   [01;34mtype[m [01;30mMaster_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mMaster_Process[m [31m([mMode [31m:[m [01;34maccess[m Master_Record[31m;[m App [31m:[m App_Access[31m)[m  [01;34mis[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      
      [01;34mentry[m Refresh[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m      
      [31m--entry Screen_Print;[m
      [01;34mentry[m Halt[31m;[m
      [01;34mentry[m Full_Screen[31m;[m
   [01;34mend[m Master_Process[31m;[m
   [01;34mtype[m [01;30mMaster_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mNavigation[31m)[m [01;34mwith[m
      [01;34mrecord[m
	 Proc [31m:[m [01;30mMaster_Process[m[31m([mMaster_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m 
  
   
   [31m-------------------------------------------------------------[m
   [31m--                          Engine/Engineer                 --[m
   [31m-------------------------------------------------------------[m
   [31m--                                                         --[m
   [31m--                                                         --[m
   [31m--                                                         --   [m
   
   [01;34mtype[m [01;30mEngine_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mEngine_Process[m [31m([mMode [31m:[m [01;34maccess[m Engine_Record[31m;[m App [31m:[m App_Access[31m)[m  [01;34mis[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      
      [01;34mentry[m Refresh[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m      
      [31m--entry Screen_Print;[m
      [01;34mentry[m Halt[31m;[m
      [01;34mentry[m Full_Screen[31m;[m
   [01;34mend[m Engine_Process[31m;[m
   [01;34mtype[m [01;30mEngine_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mEngineer[31m)[m [01;34mwith[m
      [01;34mrecord[m
	 Proc [31m:[m [01;30mEngine_Process[m[31m([mEngine_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m 
   
   
   [31m--  -------------------------------------------------------------[m
   [31m--  --                          Audits                        --[m
   [31m--  -------------------------------------------------------------[m
   [31m--  --                                                         --[m
   [31m--  --                                                         --[m
   [31m--  --                                                         --   [m
   
   [01;34mtype[m [01;30mAudits_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mAudits_Process[m [31m([mMode [31m:[m [01;34maccess[m Audits_Record[31m;[m App [31m:[m App_Access[31m)[m  [01;34mis[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      
      [01;34mentry[m Refresh[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m      
      [01;34mentry[m Screen_Print[31m;[m
      [01;34mentry[m Halt[31m;[m
      [01;34mentry[m Full_Screen[31m;[m
   [01;34mend[m Audits_Process[31m;[m
   [01;34mtype[m [01;30mAudits_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mAudit[31m)[m [01;34mwith[m
      [01;34mrecord[m
   	 Proc [31m:[m [01;30mAudits_Process[m[31m([mAudits_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m

   
   
   [31m--  -------------------------------------------------------------[m
   [31m--  --                      All_Manuals                        --[m
   [31m--  -------------------------------------------------------------[m
   [31m--  --                                                         --[m
   [31m--  --                                                         --[m
   [31m--  --                                                         --   [m
   
   [01;34mtype[m [01;30mAll_Manuals_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mAll_Manuals_Process[m [31m([mMode [31m:[m [01;34maccess[m All_Manuals_Record[31m;[m App [31m:[m App_Access[31m)[m  [01;34mis[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      
      [01;34mentry[m Refresh[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m      
      [31m--entry Screen_Print;[m
      [01;34mentry[m Full_Screen[31m;[m
      [01;34mentry[m Halt[31m;[m
   [01;34mend[m All_Manuals_Process[31m;[m
   [01;34mtype[m [01;30mAll_Manuals_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mAll_Manuals[31m)[m [01;34mwith[m
      [01;34mrecord[m
   	 Proc [31m:[m [01;30mAll_Manuals_Process[m[31m([mAll_Manuals_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m
   
   [31m--  -------------------------------------------------------------[m
   [31m--  --                      Ai_Managment                        --[m
   [31m--  -------------------------------------------------------------[m
   [31m--  --                                                         --[m
   [31m--  --                                                         --[m
   [31m--  --                                                         --   [m
   
   [31m--  type Computer_Record(App : App_Access);[m
   [31m--  task type Computer_Process (Mode : access Computer_Record; App : App_Access)  is[m
   [31m--     --entry Initialize(App : in App_Access);[m
   [31m--     entry Receive (Wchar : in Wide_Character);[m
   [31m--     entry Wake_Up(Top : in Natural);[m
   [31m--     entry Suspend;[m
      
   [31m--     entry Refresh;[m
   [31m--     entry Page_Down;[m
   [31m--     entry Page_Up;[m
   [31m--     entry Up_Arrow;[m
   [31m--     entry Down_Arrow;[m
   [31m--     entry Left_Arrow;[m
   [31m--     entry Right_Arrow;[m
   [31m--     entry Begin_Of;[m
   [31m--     entry End_Of;[m
   [31m--     entry Del;[m
   [31m--     entry Overwrite;      [m
   [31m--     entry Screen_Print;[m
   [31m--     entry Halt;[m
   [31m--  end Computer_Process;[m
   [31m--  type Computer_Record(App : App_Access) is new All_Mode(Agent) with[m
   [31m--     record[m
   [31m--  	 Proc : Computer_Process(Computer_Record'Access, App);[m
   [31m--     end record;[m
   [31m--  -------------------------------------------------------------[m
   [31m--  --                    Self_Programming                     --[m
   [31m--  -------------------------------------------------------------[m
   [31m--  --                                                         --[m
   [31m--  --                                                         --[m
   [31m--  --                                                         --   [m
   
   [01;34mtype[m [01;30mSelf_Development_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mSelf_Development_Process[m [31m([mMode [31m:[m [01;34maccess[m Self_Development_Record[31m;[m App [31m:[m App_Access[31m)[m  [01;34mis[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      
      [01;34mentry[m Refresh[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m      
      [01;34mentry[m Full_Screen[31m;[m
      [01;34mentry[m Halt[31m;[m
   [01;34mend[m Self_Development_Process[31m;[m
   [01;34mtype[m [01;30mSelf_Development_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mSelf_Development[31m)[m [01;34mwith[m
      [01;34mrecord[m
   	 Proc [31m:[m [01;30mSelf_Development_Process[m[31m([mSelf_Development_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m
   [31m--  -------------------------------------------------------------[m
   [31m--  --                     Data_Technologies                   --[m
   [31m--  -------------------------------------------------------------[m
   [31m--  --                                                         --[m
   [31m--  --                                                         --[m
   [31m--  --                                                         --   [m
   
   [31m--  type Computer_Record(App : App_Access);[m
   [31m--  task type Computer_Process (Mode : access Computer_Record; App : App_Access)  is[m
   [31m--     --entry Initialize(App : in App_Access);[m
   [31m--     entry Receive (Wchar : in Wide_Character);[m
   [31m--     entry Wake_Up(Top : in Natural);[m
   [31m--     entry Suspend;[m
      
   [31m--     entry Refresh;[m
   [31m--     entry Page_Down;[m
   [31m--     entry Page_Up;[m
   [31m--     entry Up_Arrow;[m
   [31m--     entry Down_Arrow;[m
   [31m--     entry Left_Arrow;[m
   [31m--     entry Right_Arrow;[m
   [31m--     entry Begin_Of;[m
   [31m--     entry End_Of;[m
   [31m--     entry Del;[m
   [31m--     entry Overwrite;      [m
   [31m--     entry Screen_Print;[m
   [31m--     entry Halt;[m
   [31m--  end Computer_Process;[m
   [31m--  type Computer_Record(App : App_Access) is new All_Mode(Agent) with[m
   [31m--     record[m
   [31m--  	 Proc : Computer_Process(Computer_Record'Access, App);[m
   [31m--     end record;[m
   [31m--  -------------------------------------------------------------[m
   [31m--  --                          Marketing                      --[m
   [31m--  -------------------------------------------------------------[m
   [31m--  --                                                         --[m
   [31m--  --                                                         --[m
   [31m--  --                                                         --   [m
   
   [31m--  type Computer_Record(App : App_Access);[m
   [31m--  task type Computer_Process (Mode : access Computer_Record; App : App_Access)  is[m
   [31m--     --entry Initialize(App : in App_Access);[m
   [31m--     entry Receive (Wchar : in Wide_Character);[m
   [31m--     entry Wake_Up(Top : in Natural);[m
   [31m--     entry Suspend;[m
      
   [31m--     entry Refresh;[m
   [31m--     entry Page_Down;[m
   [31m--     entry Page_Up;[m
   [31m--     entry Up_Arrow;[m
   [31m--     entry Down_Arrow;[m
   [31m--     entry Left_Arrow;[m
   [31m--     entry Right_Arrow;[m
   [31m--     entry Begin_Of;[m
   [31m--     entry End_Of;[m
   [31m--     entry Del;[m
   [31m--     entry Overwrite;      [m
   [31m--     entry Screen_Print;[m
   [31m--     entry Halt;[m
   [31m--  end Computer_Process;[m
   [31m--  type Computer_Record(App : App_Access) is new All_Mode(Agent) with[m
   [31m--     record[m
   [31m--  	 Proc : Computer_Process(Computer_Record'Access, App);[m
   [31m--     end record;[m

   
   
   
   
   
   [31m--  -------------------------------------------------------------[m
   [31m--  --                          Computer                        --[m
   [31m--  -------------------------------------------------------------[m
   [31m--  --                                                         --[m
   [31m--  --                                                         --[m
   [31m--  --                                                         --   [m
   
   [31m--  type Computer_Record(App : App_Access);[m
   [31m--  task type Computer_Process (Mode : access Computer_Record; App : App_Access)  is[m
   [31m--     --entry Initialize(App : in App_Access);[m
   [31m--     entry Receive (Wchar : in Wide_Character);[m
   [31m--     entry Wake_Up(Top : in Natural);[m
   [31m--     entry Suspend;[m
      
   [31m--     entry Refresh;[m
   [31m--     entry Page_Down;[m
   [31m--     entry Page_Up;[m
   [31m--     entry Up_Arrow;[m
   [31m--     entry Down_Arrow;[m
   [31m--     entry Left_Arrow;[m
   [31m--     entry Right_Arrow;[m
   [31m--     entry Begin_Of;[m
   [31m--     entry End_Of;[m
   [31m--     entry Del;[m
   [31m--     entry Overwrite;      [m
   [31m--     entry Screen_Print;[m
   [31m--     entry Halt;[m
   [31m--  end Computer_Process;[m
   [31m--  type Computer_Record(App : App_Access) is new All_Mode(Agent) with[m
   [31m--     record[m
   [31m--  	 Proc : Computer_Process(Computer_Record'Access, App);[m
   [31m--     end record;[m
   [01;34mtype[m Frame_Record [01;34mis[m [01;34mtagged[m
      [01;34mrecord[m
	 Style [31m:[m Style_Enum [31m:=[m Color_And_Color[31m;[m
	 Color [31m:[m Color_Type [31m:=[m White[31m;[m
	 L   [31m:[m Line_Range [31m:=[m [35m1[m[31m;[m
	 C   [31m:[m Column_Range [31m:=[m [35m1[m[31m;[m
	 H   [31m:[m Line_Range [31m:=[m [35m67[m[31m;[m
	 W   [31m:[m Column_Range [31m:=[m [35m240[m[31m;[m
	 Win [31m:[m Windows[31m.[mWindow_record[31m;[m
      [01;34mend[m [01;34mrecord[m[31m;[m
   
   
   [01;34mtype[m Docume_Record [01;34mis[m [01;34mtagged[m
      [01;34mrecord[m
	 Title    [31m:[m OS_Lib[31m.[mString_Access[31m;[m [31m--[m
	 Filename [31m:[m OS_Lib[31m.[mString_Access[31m;[m [31m--[m
	 Fullpath [31m:[m OS_Lib[31m.[mString_Access[31m;[m
	 Unit     [31m:[m OS_Lib[31m.[mString_Access[31m;[m [31m--[m
	 Creation_Date [31m:[m Time[31m;[m [31m--[m
	 Last_Edition  [31m:[m Time[31m;[m [31m--[m
	 Openned       [31m:[m [32mBoolean[m [31m:=[m False[31m;[m [31m--[m
	 Is_New_Doc    [31m:[m [32mBoolean[m [31m:=[m False[31m;[m
	 Size          [31m:[m natural [31m:=[m [35m0[m[31m;[m
	 Owner         [31m:[m OS_Lib[31m.[mString_Access[31m;[m
      [01;34mend[m [01;34mrecord[m[31m;[m
   
   [01;34mtype[m Docume_Access [01;34mis[m [01;34maccess[m [01;34mall[m Docume_Record[31m;[m
   
   [01;34mprocedure[m [01;30mDocume_Free[m [31m([mDocume [31m:[m [01;34min[m [01;34mout[m Docume_Access[31m);[m   

   
   
   [01;34mtype[m [01;30mDevel_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mDevel_Process[m [31m([mMode [31m:[m [01;34maccess[m Devel_Record[31m;[m App [31m:[m App_Access[31m)[m [01;34mis[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m Halt[31m;[m
      [01;34mentry[m Suspend[31m;[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Refresh[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Full_Screen[31m;[m

      [01;34mentry[m Del[31m;[m

      [01;34mentry[m Begin_Of[31m;[m

      [01;34mentry[m End_Of[31m;[m
      
      [01;34mentry[m Overwrite[31m;[m

      
   [01;34mend[m Devel_Process[31m;[m
   [01;34mtype[m [01;30mDevel_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mDevel[31m)[m [01;34mwith[m
      [01;34mrecord[m
	 State [31m:[m [32mBoolean[m [31m:=[m False[31m;[m
	 Logged [31m:[m [32mBoolean[m [31m:=[m False[31m;[m
   	 Proc [31m:[m [01;30mDevel_Process[m[31m([mDevel_Record'[01;34mAccess[m[31m,[m App[31m);[m	    
      [01;34mend[m [01;34mrecord[m[31m;[m

   
   [31m-------------------------------------------------------------[m
   [31m--                          WOPR                        --[m
   [31m-------------------------------------------------------------[m
   [31m--                                                         --[m
   [31m--                                                         --[m
   [31m--                                                         --   [m
   
   [01;34mtype[m [01;30mWOPR_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mWOPR_Process[m [31m([mMode [31m:[m [01;34maccess[m WOPR_Record[31m;[m App [31m:[m App_Access[31m)[m  [01;34mis[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      
      [01;34mentry[m Refresh[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m      
      [01;34mentry[m Screen_Print[31m;[m
      [01;34mentry[m Halt[31m;[m
   [01;34mend[m WOPR_Process[31m;[m
   
   [01;34mtype[m [01;30mWOPR_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mAdmin[31m)[m [01;34mwith[m
      [01;34mrecord[m
	 Proc [31m:[m [01;30mWOPR_Process[m[31m([mWOPR_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m
   
   
      [31m-------------------------------------------------------------[m
   [31m--                          Entreprise                     --[m
   [31m-------------------------------------------------------------[m
   [31m--                                                         --[m
   [31m--                                                         --[m
   [31m--                                                         --   [m
   
   [01;34mtype[m [01;30mPerson_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mPerson_Process[m [31m([mMode [31m:[m [01;34maccess[m Person_Record[31m;[m App [31m:[m App_Access[31m)[m  [01;34mis[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      
      [01;34mentry[m Refresh[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m      
      [01;34mentry[m Screen_Print[31m;[m
      [01;34mentry[m Halt[31m;[m
   [01;34mend[m Person_Process[31m;[m
   
   [01;34mtype[m [01;30mPerson_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mEntreprise[31m)[m [01;34mwith[m
      [01;34mrecord[m
	 Proc [31m:[m [01;30mPerson_Process[m[31m([mPerson_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m

   [31m-------------------------------------------------------------[m
   [31m--                          Shell_Interface                --[m
   [31m-------------------------------------------------------------[m
   [31m--                                                         --[m
   [31m--                                                         --[m
   [31m--                                                         --   [m
   
   [01;34mtype[m [01;30mShell_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mShell_Process[m [31m([mMode [31m:[m [01;34maccess[m Shell_Record[31m;[m App [31m:[m App_Access[31m)[m  [01;34mis[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      
      [01;34mentry[m Refresh[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m      
      [01;34mentry[m Screen_Print[31m;[m
      [01;34mentry[m Halt[31m;[m
   [01;34mend[m Shell_Process[31m;[m
   
   [01;34mtype[m [01;30mShell_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mShell_interface[31m)[m [01;34mwith[m
      [01;34mrecord[m
	 Proc [31m:[m [01;30mShell_Process[m[31m([mShell_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m
   
   
   
   
   
   
   
   [01;34mtype[m [01;30mWorld_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   
   [01;34mtask[m [01;34mtype[m [01;30mConductor_Process[m [31m([mMode [31m:[m [01;34maccess[m World_Record[31m;[m App [31m:[m App_Access[31m)[m  [01;34mis[m
      [31m--entry Initialize(App : in App_Access);[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Suspend[31m;[m
      
      [01;34mentry[m Refresh[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Begin_Of[31m;[m
      [01;34mentry[m End_Of[31m;[m
      [01;34mentry[m Del[31m;[m
      [01;34mentry[m Overwrite[31m;[m      
      [01;34mentry[m Screen_Print[31m;[m
      [01;34mentry[m Halt[31m;[m
   [01;34mend[m Conductor_Process[31m;[m
   
   [01;34mtype[m [01;30mWorld_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mProcess[31m)[m [01;34mwith[m
      [01;34mrecord[m
	 Proc [31m:[m [01;30mConductor_Process[m[31m([mWorld_Record'[01;34mAccess[m[31m,[m App[31m);[m
      [01;34mend[m [01;34mrecord[m[31m;[m
         Alphabet [31m:[m [01;34mconstant[m [32mWide_String[m [31m:=[m [31m"aÃÂ ÃÂ¢ÃÂ¤eÃÂ©ÃÂ¨ÃÂªÃÂ«iÃÂ¯ÃÂ®oÃÂ´uÃÂ¹ybcdfghjklmnpqrstvwxz.;?!'_ -"[m[31m;[m   



      [01;34mtype[m [01;30mGate_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mGate_Process[m [31m([mMode [31m:[m [01;34maccess[m Gate_Record[31m;[m App [31m:[m App_Access[31m)[m [01;34mis[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m Halt[31m;[m
      [01;34mentry[m Suspend[31m;[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Refresh[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Full_Screen[31m;[m

      [01;34mentry[m Del[31m;[m

      [01;34mentry[m Begin_Of[31m;[m

      [01;34mentry[m End_Of[31m;[m
      
      [01;34mentry[m Overwrite[31m;[m

      [01;34mentry[m Screen_Print[31m;[m
   [01;34mend[m Gate_Process[31m;[m
   
   [01;34mtype[m [01;30mGate_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mGate[31m)[m [01;34mwith[m
      [01;34mrecord[m
   	 Proc [31m:[m [01;30mGate_Process[m[31m([mGate_Record'[01;34mAccess[m[31m,[m App[31m);[m	    
      [01;34mend[m [01;34mrecord[m[31m;[m

   
   [01;34mtype[m [01;30mAuth_Record[m[31m([mApp [31m:[m App_Access[31m);[m
   [01;34mtask[m [01;34mtype[m [01;30mAuth_Process[m [31m([mMode [31m:[m [01;34maccess[m Auth_Record[31m;[m App [31m:[m App_Access[31m)[m [01;34mis[m
      [01;34mentry[m Auth[31m;[m
      [01;34mentry[m [01;30mReceive[m [31m([mWchar [31m:[m [01;34min[m Wide_Character[31m);[m
      [01;34mentry[m Halt[31m;[m
      [01;34mentry[m Suspend[31m;[m
      [01;34mentry[m [01;30mWake_Up[m[31m([mTop [31m:[m [01;34min[m Natural[31m);[m
      [01;34mentry[m Refresh[31m;[m
      [01;34mentry[m Page_Up[31m;[m
      [01;34mentry[m Page_Down[31m;[m
      [01;34mentry[m Up_Arrow[31m;[m
      [01;34mentry[m Down_Arrow[31m;[m
      [01;34mentry[m Left_Arrow[31m;[m
      [01;34mentry[m Right_Arrow[31m;[m
      [01;34mentry[m Full_Screen[31m;[m

      [01;34mentry[m Del[31m;[m

      [01;34mentry[m Begin_Of[31m;[m

      [01;34mentry[m End_Of[31m;[m
      
      [01;34mentry[m Overwrite[31m;[m

      [01;34mentry[m Screen_Print[31m;[m
   [01;34mend[m Auth_Process[31m;[m
   
   [01;34mtype[m [01;30mAuth_Record[m[31m([mApp [31m:[m App_Access[31m)[m [01;34mis[m [01;34mnew[m [01;30mAll_Mode[m[31m([mAuth[31m)[m [01;34mwith[m
      [01;34mrecord[m
   	 Proc [31m:[m [01;30mAuth_Process[m[31m([mAuth_Record'[01;34mAccess[m[31m,[m App[31m);[m	    
      [01;34mend[m [01;34mrecord[m[31m;[m

   
      
   [01;34muse[m Windows [31m;[m
   
   [01;34mtype[m Accounting_Windows_Type [01;34mis[m
      [01;34mrecord[m
	 Voice_Num_Win     [31m:[m Window_Record[31m;[m
	 Acc_Num_Win       [31m:[m Window_Record[31m;[m
	 Total_Ht_Win      [31m:[m Window_Record[31m;[m
	 Total_TVA_Win     [31m:[m Window_Record[31m;[m
	 Total_TTC_Win     [31m:[m Window_Record[31m;[m
	 Date_Win          [31m:[m Window_Record[31m;[m
	 Peer_Win          [31m:[m Window_Record[31m;[m	 
      [01;34mend[m [01;34mrecord[m[31m;[m   
   
   [01;34mtype[m Ticket_Windows_Type [01;34mis[m
      [01;34mrecord[m
	 Line_Num_Win      [31m:[m Window_Record[31m;[m
	 Description_Win   [31m:[m Window_Record[31m;[m
	 Unit_Ht_Win       [31m:[m Window_Record[31m;[m
	 Quantity_Win      [31m:[m Window_Record[31m;[m
	 Total_Ht_Win      [31m:[m Window_Record[31m;[m
	 TVA_Win           [31m:[m Window_Record[31m;[m
	 Total_TVA_Win     [31m:[m Window_Record[31m;[m
	 Total_TTC_Win     [31m:[m Window_Record[31m;[m
      [01;34mend[m [01;34mrecord[m[31m;[m   
   
   [01;34mtype[m stock_Windows_Type [01;34mis[m
      [01;34mrecord[m
	 stock_Num_Win     [31m:[m Window_Record[31m;[m
	 Name_Win          [31m:[m Window_Record[31m;[m
	 Quantity_Win      [31m:[m Window_Record[31m;[m
	 Unit_Ht_Win       [31m:[m Window_Record[31m;[m
	 TVA_Win           [31m:[m Window_Record[31m;[m

      [01;34mend[m [01;34mrecord[m[31m;[m   
   
   
   
   
   
   [01;34mtype[m Agence_Record [01;34mis[m [01;34mnew[m Engineering_Record [01;34mwith[m 
      [01;34mrecord[m
	 Lines         [31m:[m Line_Range [31m:=[m [35m67[m[31m;[m
	 Columns       [31m:[m Column_Range [31m:=[m [35m240[m[31m;[m
	 Term    [31m:[m Term_Enum [31m:=[m Linux[31m;[m
	 Mode    [31m:[m Mode_Enum [31m:=[m Auth[31m;[m
	 Desktop [31m:[m [01;30mMode_Array[m[31m([m[35m1[m[31m..[m[35m2[m[31m);[m
	 Console [31m:[m [01;30mConsole_Process[m [31m([mAgence_Record ' [01;34maccess[m[31m);[m
	 
	 On_Esc [31m:[m [32mBoolean[m [31m:=[m False[31m;[m
	 
	 [31m------------------------------------------------------------[m
	 [31m--               Neural network[m
	 Wline            [31m:[m Wide_String_Access [31m:=[m [01;34mnew[m [32mWide_String[m ' [31m([m[31m""[m[31m);[m
	 Wbuffer          [31m:[m Wide_String_Access[31m;[m
	 Current_Pos      [31m:[m Natural [31m:=[m [35m1[m[31m;[m      
	 Wline_Length     [31m:[m Natural [31m:=[m [35m0[m[31m;[m
	 Word_Number      [31m:[m El[31m.[mWord_Range [31m:=[m [35m0[m[31m;[m
	 Dialog_Response  [31m:[m Wide_String_Access [31m:=[m [01;34mnew[m [32mWide_String[m ' [31m([m[31m""[m[31m);[m
	 Response_Buffer  [31m:[m [01;30mWide_Set[m[31m([m[35m1[m[31m);[m 
	 Internal         [31m:[m Wide_String_Access [31m:=[m [01;34mnew[m [32mWide_String[m ' [31m([m[31m""[m[31m);[m
	 internal_Buffer  [31m:[m [01;30mWide_Set[m[31m([m[35m1[m[31m);[m 
	 
	 Set_Filename [31m:[m [01;34maccess[m [32mString[m [31m:=[m [01;34mnew[m [32mString[m ' [31m([m[31m"samples_set.txt"[m[31m);[m
	 
	 Input            [31m:[m Neural_Retrain[31m.[mInput_Type[31m;[m
	 Output           [31m:[m Neural_Retrain[31m.[mOutput_Type[31m;[m
	 Feedback         [31m:[m Neural_Retrain[31m.[mOutput_Type[31m;[m[31m-- := String2input(To_String(Preuve));[m
	 Samples_Set      [31m:[m [01;34maliased[m Neural_Train[31m.[mSample_Set_Type[31m;[m
	 Samples          [31m:[m [01;34maliased[m Neural_Retrain[31m.[mSample_Set_Type[31m;[m
	 Words            [31m:[m Glossary[31m.[mGlossary_Type[31m;[m
	 Frames           [31m:[m Frame_Set[31m;[m
	 
	 [31m------------------------------------------------------------[m
	 [31m--                 Money Box[m
	 
	 Ticket_Wins       [31m:[m Ticket_Windows_Type[31m;[m
	 
	 [31m------------------------------------------------------------[m
	 [31m--                 Stocks[m
	 
	 Stocks_Wins       [31m:[m Stock_Windows_Type[31m;[m
	 
	 [31m------------------------------------------------------------[m
	 [31m--                Activity[m
	 
	 Activity_Wins     [31m:[m Accounting_Windows_Type[31m;[m
	 
	 
	 
	 Initialized       [31m:[m [32mBoolean[m [31m:=[m False[31m;[m
	 
	 
	 
	 [31m------------------------------------------------------------[m
	 [31m--                     Entreprise	 [m
	 Self [31m:[m Terminal_Type[31m;[m
	 View_Wins         [31m:[m Accounting_Windows_Type[31m;[m
	 Created           [31m:[m [32mBoolean[m [31m:=[m False[31m;[m
	 
	 [31m------------------------------------------------------------[m
	 [31m--                Library[m
	 Rented[31m,[m Backed[31m,[m Owner [31m:[m Classes[31m.[mAbstract_Access[31m;[m
	 List                  [31m:[m Classes[31m.[mAbstract_Vectors[31m.[mvector[31m;[m
	 
	 [31m------------------------------------------------------------[m
	 [31m--                  Bank[m
	 Bank [31m:[m Account_Manager[31m;[m
	 
	 
	 
	 [31m------------------------------------------------------------[m
	 [31m--                    Devel/Editor                        --[m
	 Left_View        [31m:[m Frame_Record[31m;[m
	 Buffer           [31m:[m Frame_Record[31m;[m
	 Document         [31m:[m Frame_Record[31m;[m
	 Doc_States       [31m:[m Frame_Record[31m;[m
	 Doc_Initialized  [31m:[m [32mBoolean[m [31m:=[m False[31m;[m
	 Current_Doc      [31m:[m Docume_Access[31m;[m
	 
	 
	 Visitors      [31m:[m [01;30mUser_set[m[31m([m[35m4[m[31m);[m	 
	 User_Auth     [31m:[m Logon_Record[31m;[m
	 User          [31m:[m User_Access[31m;[m
	 User_Ready    [31m:[m [32mBoolean[m [31m:=[m False[31m;[m
	 User_Path     [31m:[m Os_Lib[31m.[mString_Access[31m;[m
	 Full_Shell_Filename [31m:[m Os_Lib[31m.[mString_Access[31m;[m
	 [31m------------------------------------------------------------[m
	 [31m--                    Devel/Processing                    --	 [m
	 [31m--Target : Target_Access;[m
	 Command [31m:[m OS_Lib[31m.[mString_Access[31m;[m
	 Err      [31m:[m Frame_Record[31m;[m
	 Cmd      [31m:[m Frame_Record[31m;[m
	 Cmd_Result [31m:[m Frame_Record[31m;[m

	 
	 [31m------------------------------------------------------------[m
	 [31m--                   Server[m
	 Started  [31m:[m [32mBoolean[m [31m:=[m False[31m;[m
	 
	 [31m------------------------------------------------------------[m
	 [31m--                   Web[m
	 Web_Result [31m:[m [01;34maliased[m Results[31m.[mSearch_Result_Record[31m;[m
	 index_Result [31m:[m [01;34maliased[m Results[31m.[mSearch_Result_Record[31m;[m
      [01;34mend[m [01;34mrecord[m[31m;[m
   
   
   [01;34mprocedure[m [01;30mRestore[m[31m([mT [31m:[m [01;34min[m [01;34mout[m Terminal_Type[31m;[m
   		     Filename [31m:[m [01;34min[m [32mString[m[31m);[m
   
   
   
   
   App    [31m:[m [01;34maliased[m Agence_Record[31m;[m
   
   
   [01;34mpackage[m Servers [01;34mis[m [01;34mnew[m M[31m.[m[01;30mServers[m [31m([mEngineering[31m,[m [01;30mEngineering_Record[m[31m([mApp[31m)[m'[01;34mAccess[m[31m);[m
   [01;34muse[m Servers[31m;[m
   
   
   Functions [31m:[m [01;30mMode_Array[m[31m([m[35m0[m[31m..[m[35m37[m[31m);[m
[01;34mend[m M[31m.[mAgence [31m;[m 
