[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 := 2025-09-25 14:50:54 ; [m
[31m-- Version := 0.15.0a ; [m
[01;34mpackage[m M [01;34mis[m
   
   [01;34mpragma[m [01;30mPure[m [31m([mM[31m);[m
   
   Name_Length_Max [31m:[m [01;34mconstant[m Positive [31m:=[m [35m1024[m[31m;[m
   
   [01;34msubtype[m Name_Index_Type [01;34mis[m Positive [01;34mrange[m [35m1[m[31m..[mName_Length_Max[31m;[m
   
   Units_Max [31m:[m [01;34mconstant[m Positive [31m:=[m [35m65536[m[31m;[m
   
   [01;34msubtype[m Unit_Index_Type [01;34mis[m Positive [01;34mrange[m [35m1[m[31m..[mUnits_Max[31m;[m   
   
   Ada_Line_Length_Max [31m:[m [01;34mconstant[m Positive [31m:=[m [35m256[m[31m;[m
   
   [01;34msubtype[m Char_Index_Type [01;34mis[m Positive [01;34mrange[m [35m1[m[31m..[mAda_Line_Length_Max[31m;[m
   
   
   Ada_Version_Max [31m:[m [01;34mconstant[m Positive [31m:=[m [35m2399[m[31m;[m
   
   [01;34msubtype[m Version_Index_Type [01;34mis[m Positive [01;34mrange[m [35m1983[m[31m..[mAda_Version_Max[31m;[m
   
   Objects_Max [31m:[m [01;34mconstant[m Positive [31m:=[m [35m65536[m[31m;[m
   
   [01;34msubtype[m Object_Index_Type [01;34mis[m Positive [01;34mrange[m [35m1[m[31m..[mObjects_Max[31m;[m
      
   [01;34mtype[m Human_Lang_Enum [01;34mis[m [31m([mEn[31m,[m Fr[31m);[m
   
   [01;34mtype[m Machine_Lang_Enum [01;34mis[m [31m([mProject_Define[31m,[m Ada_2012[31m,[m Gtk_Ada[31m,[m Ada_Web_Server[31m);[m
   
   [01;34mtype[m Total_Type [01;34mis[m [01;34mdelta[m [35m0.01[m [01;34mDigits[m [35m9[m [01;34mrange[m [31m-[m999_999[31m.[m[35m99[m [31m..[m 999_999[31m.[m[35m99[m[31m;[m
   
   
   [01;34mtype[m Style_Enum [01;34mis[m [31m([mBlack_And_White[31m,[m Black_And_Color[31m,[m Color_And_White[31m,[m
		       White_And_Color[31m,[m Color_And_Color[31m,[m White_And_White[31m);[m
   
   [01;34mtype[m Int_Cmd_Enum [01;34mis[m [31m([mNone[31m,[m Alias[31m,[m Unalias[31m,[m Cd[31m,[m Set[31m,[m Unset[31m,[m Put[31m,[m Put_Line[31m);[m
   
   [01;34mtype[m Class_Enum [01;34mis[m [31m([m
		       
		       None[31m,[m
		       
		       Universe[31m,[m			 
		       Profile[31m,[m
		       Content[31m,[m
		       Event[31m,[m
		       Job[31m,[m
		       Meeting[31m,[m
		       Rendezvous[31m,[m
		       Planning[31m,[m
		       
		       Book[31m,[m
		       CDROM[31m,[m
		       DVD[31m,[m
		       Car[31m,[m
		       House
			 
			 
		      [31m);[m
   
   Organizer_Filename [31m:[m [01;34mconstant[m [32mString[m [31m:=[m [31m"m-organizer.txt"[m[31m;[m
   Person_Filename [31m:[m [01;34mconstant[m [32mString[m [31m:=[m [31m"m-person.txt"[m[31m;[m
   Project_Filename [31m:[m [01;34mconstant[m [32mString[m [31m:=[m [31m"m-project.txt"[m[31m;[m
   Bank_Filename [31m:[m [01;34mconstant[m [32mString[m [31m:=[m [31m"m-bank.txt"[m[31m;[m
   
   [01;34mtype[m Element_Enum [01;34mis[m [31m([mNone[31m,[m Program[31m,[m Description[31m,[m License[31m,[m 
			 Main[31m,[m Library[31m,[m Axiomatic[31m,[m Precondition[31m,[m
			 Axiom[31m,[m Predicate[31m,[m Condition[31m,[m Component[31m,[m 
			 Action[31m,[m Class[31m,[m Machine[31m,[m System[31m);[m
   
   
   
   
   [01;34mtype[m Term_Enum [01;34mis[m [31m([mLinux[31m,[m fvwm[31m);[m
   [01;34msubtype[m Line_Range [01;34mis[m Positive [01;34mrange[m [35m1[m [31m..[m [35m82[m[31m;[m
   [01;34msubtype[m Column_Range [01;34mis[m Positive [01;34mrange[m [35m1[m[31m..[m[35m320[m[31m;[m
   [01;34mtype[m Mode_Enum [01;34mis[m [31m([mNone[31m,[m 
		      Organizer[31m,[m Dialog[31m,[m Planning[31m,[m Manager[31m,[m 
		      Moneybox[31m,[m  Activity[31m,[m  Stocks[31m,[m Bank[31m,[m 
		      Log[31m,[m Menu[31m,[m Contacts[31m,[m Library[31m,[m 
		      Navigation[31m,[m Engineer[31m,[m Agent[31m,[m Admin[31m,[m 
		      Terminator[31m,[m Joshua[31m,[m Entreprise[31m,[m Process[31m,[m 
		      Auth[31m,[m Quit[31m);[m
   
   [01;34mtype[m Flag_Enum [01;34mis[m
     [31m([mNone[31m,[m
      Config_Filename[31m,[m
      Help[31m,[m      
      Quiet[31m,[m
      Version[31m,[m
      Geometry[31m,[m
      Username[31m,[m     
      Address[31m,[m                  
      Input_Text[31m,[m
      Term_Name[31m,[m
      Samples_Filename[31m,[m
      Max_Epochs[31m,[m
      Converged[31m,[m
      Reuse[31m,[m
      Train[31m,[m
      Num_Samples[31m,[m      
      Human_Lang[31m,[m
      Line_Width[31m,[m
      Words_Max[31m,[m
      Num_Hidden[31m,[m
      Update[31m,[m
      As_Server[31m,[m
      Style[31m,[m
      Initialize[31m,[m
      Total[31m,[m
      Name_Length[31m,[m
      Unit_Max[31m,[m
      Char_Max[31m,[m
      Object_Max[31m,[m
      Self_Programming[31m,[m
      Self_Executed[31m,[m
      Self_Wait[31m,[m
      User_Wait[31m,[m
      With_Gtk[31m,[m
      With_Ada[31m,[m
      With_Aws
     [31m);[m
   
   

   
[01;34mend[m M [31m;[m 
