# cat main.adb
 
 
with Ada.Text_Io;
use Ada;
 
with Ada.Calendar;
use Ada.Calendar;
 
procedure Main is
         
   
   Date    : Time     := Clock;
   Quantum : Duration := 1.0;
   Tempo   : Float    := 150.0;
   
   Num     : Positive := 4;
   Den     : Positive := 8;   
   
   Bar_Beat : Natural := 0;   
   
begin   
   
   loop      
      
      Quantum := Duration((Float(Num*60000.0)/Tempo)/Float(2**den))/1000.0;      
      delay until Date + Quantum;
      Date := Date + Quantum;            
      Text_Io.Put("bar beat : " & 
                    Natural'Image(Bar_Beat/(2**Den)) & 
                    '.' & Natural'Image(Bar_Beat/(2**Den/num) mod num) & 
                    '.' & Natural'Image(Bar_Beat mod 2**Den/num));
      if Bar_Beat mod Num*(2**Den) = 0 then
         Text_Io.Put_line("... Boom !" );
      else
         Text_Io.New_Line;
      end if;
      Bar_Beat := Bar_Beat + 1;
   end loop;
   
end Main;

# cat main.adb
 
 
with Ada.Text_Io;
use Ada;
 
with Ada.Calendar;
use Ada.Calendar;
 
procedure Main is
         
   
   Date    : Time     := Clock;
   Quantum : Duration := 1.0;
   Tempo   : Float    := 150.0;
   
   Num     : Positive := 4;
   Den     : Positive := 8;   
   
   Bar_Beat : Natural := 0;   
   
begin   
   
   loop      
      
      Quantum := Duration((Float(Num*60000.0)/Tempo)/Float(2**den))/1000.0;      
      delay until Date + Quantum;
      Date := clock + Quantum;            
      Text_Io.Put("bar beat : " & 
                    Natural'Image(Bar_Beat/(2**Den)) & 
                    '.' & Natural'Image(Bar_Beat/(2**Den/num) mod num) & 
                    '.' & Natural'Image(Bar_Beat mod ((2**Den)/den)));
      if Bar_Beat mod (2**Den/den) = 0 then
         Text_Io.Put_line("... Boom !" );
      else
         Text_Io.New_Line;
      end if;
      Bar_Beat := Bar_Beat + 1;
   end loop;
   
end Main;

with Ada.Text_Io;
use Ada;
 
with Ada.Calendar;
use Ada.Calendar;
 
procedure Main is
         
   
   Date    : Time     := Clock;
   Quantum : Duration := 1.0;
   Tempo   : Float    := 120.0;
   
   Num     : Positive := 4;
   Den     : positive := 8;   
   
   Bar_Beat : Natural := 0;   
   
begin   
   
   loop      
      
      Quantum := Duration(60000.0/Tempo/Float(Den)/1000.0);
      delay until Date + Quantum;
      Date := clock + Quantum;            
      Text_Io.Put("bar beat : " & 
            Natural'Image(Bar_Beat/((Den)*Num)) & 
            '.' & Natural'Image(Bar_Beat/(Den) mod Num) & 
            '.' & Natural'Image(Bar_Beat mod (Den)));
      if Bar_Beat mod (Den) = 0 then
     Text_Io.Put_line("... Boom !" );
      else
     Text_Io.New_Line;
      end if;
      Bar_Beat := Bar_Beat + 1;
   end loop;
   
end Main;

---------------------------------------------------------------------
-- Programme qui bat le mesure et qui affiche boom à chaque temps. --
---------------------------------------------------------------------
 
with Ada.Text_Io, Ada.Integer_Text_Io, Ada.float_Text_Io;
use Ada;
with Ada.Numerics.Discrete_Random;
with Ada.Calendar;
use Ada.Calendar;
 
with Interfaces.C;
with Ada.Containers.Vectors;
 
procedure Main is
   
   -- Pour faire de la musique.
  
   package Musical_Theory is                        
      
      
      
      type Traveler_Type is
         record
            Date    : Time     := Clock;
            Quantum : Duration := 1.0;
            Tempo   : Float    := 120.0;   
            Num     : Positive := 4;
            Den     : positive := 8;      
            Bar_Beat : Natural := 0;                
         end record;                                            
      -- Les variables qui nous permettent de poser du son.
      
      
      Default : aliased Traveler_Type;
      -- Mise à disposition de la variable qui nous permetra de poser son.
      
      
      task type Travel_Type(Traveler : access Traveler_Type) is       
         entry Info(Traveler : out Traveler_Type);
      end Travel_Type;
      -- Un type qui pose du son.
      
      
   end Musical_Theory;
   
   
   
   package body Musical_Theory is
      
      -- On génère le numérateur aléatoirement.
      package Random_Num is
         subtype Num_Type is Positive range 1..16;
         
         function Rand return Num_Type;
      end Random_Num;
            
      
      package body Random_Num is
 
         package Rand_Num is new Ada.Numerics.Discrete_Random(Num_Type);
         use Rand_num;
         Num_Gen : Generator;
         function Rand return Num_Type is
         begin
            return Random(Num_Gen);
         end Rand;
      begin
         Reset(Num_Gen);
         -- pour faire une nouvelle party à chaque redémarrage.
      end Random_Num;
      
      
      use Interfaces.C;
      --Les Message MIDI Sont Des Long.
      
      package Messages_Vectors is new Ada.Containers.Vectors(Positive,
                                                             Long,
                                                             "=" );
      -- On utilise un vecteur de long pour stocker les messages pour chaque pas.
      
      use Messages_Vectors;
      type Step_Seq_Type is array (Natural range <> ) of Vector;
      -- Un type de tableau non contraint pour creer des mesure de num*den pas.
      
      type Step_Seq_Access is access all Step_Seq_Type;
      -- Les pointeur sur les tableaux
      
      task body Travel_Type is       
         
         
         Step_Seq : Step_Seq_Access;
         -- Mon pointeur de tableau
                 
         Message  : Long;
         -- Un message.
         
      begin
         Traveler.Date := Clock;
         -- Je met la date à l'heure courante.
         
         loop
            
            Traveler.Quantum := Duration((60000.0/Traveler.Tempo)/Float(Traveler.Den)/1000.0);      
            -- je calcul, la duréer d'un pas.
            
            -- Si c'est le moment je cré une nouvelle mesure. 
            if Traveler.Bar_Beat mod (Traveler.Den*Traveler.Num) = 0 then
               Traveler.Num := Random_Num.Rand;                          
               -- Je tire un nouveau numérateur.
               
               Step_Seq := new Step_Seq_Type(0..Traveler.Num*Traveler.Den-1);                  
               -- J'initialise mon pointeur avec un tableau à la nouvelle longueur de la mesure.
               
               for I in Step_Seq'Range loop               
                  if i mod Traveler.Den = 0 then
                     
                     Step_Seq(I) :=
                       Step_Seq(I) & 0;
                  end if;      
               end loop;
               -- J'écris boom a chaque temps.
               
            end if;
            loop
               select
                  
                  accept Info(Traveler : out Traveler_Type) do
                     Traveler := Travel_Type.Traveler.all;
                  end Info;
               or 
                  delay until Traveler.Date + Traveler.Quantum;
                  exit;       
                  -- Je patiente jusqu'à la fin du pas.
               end select;
            end loop;
            Traveler.Date := Traveler.date + Traveler.Quantum;            
            -- Je met le temps à jour.
            
             
            if not Is_Empty(Step_Seq(Traveler.Bar_Beat/Traveler.num mod Traveler.Den)) then
               
               for I in 1..Last_index(Step_Seq(Traveler.Bar_Beat/Traveler.num mod Traveler.Den)) loop
                  
                  Message := Element(Step_Seq(Traveler.Bar_Beat/Traveler.num mod Traveler.Den), I);
                  
                  if Message = 0 then
      --Les Message MIDI Sont Des Long.
      
      package Messages_Vectors is new Ada.Containers.Vectors(Positive,
                                                             Long,
                                                             "=" );
      -- On utilise un vecteur de long pour stocker les messages pour chaque pas.
      
      use Messages_Vectors;
      type Step_Seq_Type is array (Natural range <> ) of Vector;
      -- Un type de tableau non contraint pour creer des mesure de num*den pas.
      
      type Step_Seq_Access is access all Step_Seq_Type;
      -- Les pointeur sur les tableaux
      
      task body Travel_Type is       
         
         
         Step_Seq : Step_Seq_Access;
         -- Mon pointeur de tableau
                 
         Message  : Long;
         -- Un message.
         
      begin
         Traveler.Date := Clock;
         -- Je met la date à l'heure courante.
         
         loop
            
            Traveler.Quantum := Duration((60000.0/Traveler.Tempo)/Float(Traveler.Den)/1000.0);      
            -- je calcul, la duréer d'un pas.
            
            -- Si c'est le moment je cré une nouvelle mesure. 
            if Traveler.Bar_Beat mod (Traveler.Den*Traveler.Num) = 0 then
               Traveler.Num := Random_Num.Rand;                          
               -- Je tire un nouveau numérateur.
               
               Step_Seq := new Step_Seq_Type(0..Traveler.Num*Traveler.Den-1);                  
               -- J'initialise mon pointeur avec un tableau à la nouvelle longueur des mesure.
               
               for I in Step_Seq'Range loop               
                  if i mod Traveler.Den = 0 then
                     
                     Step_Seq(I) :=
                       Step_Seq(I) & 0;
                  end if;      
               end loop;
               -- J'écris boom a chaque temps.
               
            end if;
            loop
               select
                  
                  accept Info(Traveler : out Traveler_Type) do
                     Traveler := Travel_Type.Traveler.all;
                  end Info;
               or 
                  delay until Traveler.Date + Traveler.Quantum;
                  exit;       
                  -- Je patiente jusqu'à la fin du pas.
               end select;
            end loop;
            Traveler.Date := Traveler.date + Traveler.Quantum;            
            -- Je met le temps à jour.
            
             
            if not Is_Empty(Step_Seq(Traveler.Bar_Beat/Traveler.num mod Traveler.Den)) then
               
               for I in 1..Last_index(Step_Seq(Traveler.Bar_Beat/Traveler.num mod Traveler.Den)) loop
                  
                  Message := Element(Step_Seq(Traveler.Bar_Beat/Traveler.num mod Traveler.Den), I);
                  
                  if Message = 0 then
                     
                     Text_Io.Put_line(" ... Boom !" );
                  end if;
               end loop;
               
            end if;      
            -- Je joue les boom.
            
            
            Traveler.Bar_Beat := Traveler.Bar_Beat + 1;     
            -- J'incremente la position.
         end loop;
      end Travel_Type;
      
   end Musical_Theory;
 
   
   
   Musical_Travel : Musical_Theory.Travel_Type(Musical_Theory.Default'access);
   -- Un truc qui pose du son donc.
   
   use Musical_Theory;
   
   
   Traveler : Traveler_Type;
   -- L'Info local sur les variables qui nous permettent de poser du son.
   
   -- Après on s'informe sur le son posé.
   
begin   
   
   loop                  
      
      Musical_Travel.Info(Traveler);     
      -- On récupère les infos.
      
      -- Et on affiche.
      
      Text_Io.Put(Character'Val(13)&"Sign:" );
      Integer_Text_Io.Put(Traveler.Num, 2);
      Text_Io.Put('/');
      Integer_Text_Io.Put(Traveler.Den, 2);
      Text_Io.Put(" ; Tempo:" );
      Float_Text_Io.Put(Traveler.Tempo, 3,1 );
      Text_Io.Put(" ; Bar beat:" & 
                    Natural'Image(Traveler.Bar_Beat/((Traveler.Den)*Traveler.Num)) & 
                    '.' & Natural'Image(Traveler.Bar_Beat/(Traveler.Den) mod Traveler.Num) & 
                    '.' & Natural'Image(Traveler.Bar_Beat mod (Traveler.Den)));
      delay Traveler.Quantum;
      -- On Patiente un instant en savourant la note.
      
   end loop;   
end Main;

Traveler.Bar_Beat mod Step_Seq'length

package Q is
   
   
   pragma Pure(Q);
   
   type Tempo_Type is delta 0.1 digits 4 range 1.0..999.9;  
   -- Le tempo entre 1 et 999.9 bpm
   
   subtype Num_Type is Positive range Positive'First..16;
   -- Le numérateur de la signature rythmique.
   
   subtype Den_Type is Positive range 1..4;
   -- Le facteur du dénominateur de la signature rythmique.
   -- 1 pour 2
   -- 2 pour 4
   -- 3 pour 8
   -- 4 pour 16.
   
   type Signature_Type is
      record
     Num     : Num_Type := Num_Type'First;
     Den     : Den_Type := Den_Type'First;
      end record;
   -- Une signature rythmique
   
   subtype Step_Index_Type is Positive range Positive'First..Num_Type'Last*2**Den_Type'Last;
   -- Un type pour indexer les pas d'une mesure.
   
   subtype Bar_Index_Type is Long_Long_Integer range 1..Long_Long_Integer'Last;         
   -- Un type pour compter les mesures.
   
end Q;

package Q.Transport is      
   
   type Transporter_Type is     
      record
     Tempo          : Tempo_Type      := Tempo_Type'First;
     Signature      : Signature_Type  := (Num_Type'first, Den_Type'first);
     Current_Step   : Step_Index_Type := Step_Index_Type'First;
     Bar_Index      : Bar_Index_Type  := Bar_Index_Type'First;
      end record;   
   -- Un type qui regroupe les informations sur le transport.
   
   
   function Quantum(Transporter : in Transporter_Type) return Duration;      
   -- Renvoie la durée d'un pas.
   
end Q.Transport;

with Q, Q.Transport;
use Q, Q.Transport;
 
with Text_Io;
use Text_Io;
 
procedure Main is
   
   
   Transporter : Transporter_Type := (120.0, (4, 2), 1, 1);   
begin
      
   loop
      
      Text_Io.Put(Character'Val(13) &
            "bar beat : " &
            Long_Long_Integer'Image(Transporter.Bar_Index) & "." &
            Integer'Image(Transporter.Current_Step/2**Transporter.Signature.Den mod Transporter.Signature.Num + 1) & "." &
            Integer'Image(Transporter.Current_Step mod (16/(2**Transporter.Signature.Den)) + 1));
      
      if Transporter.Current_Step + 1 > Transporter.Signature.Num*2**Transporter.Signature.Den then
     
     Transporter.Bar_Index := Transporter.Bar_Index + 1;
     Transporter.Current_Step := Step_Index_Type'First;
      else
     Transporter.Current_Step := Transporter.Current_Step + 1;
      end if;
      
      delay Quantum(Transporter);            
   end loop;
end Main;