Comment testé la validité de ces codes sources ? : Ada

Cette partie du forum n’est pas compatible avec les bloqueurs publicitaires

Félicitations à vous, de préférer les accès payants plutôt que la gratuité par la publicité, c’est honnorable et cohérent de votre part. Malheureusement, l’accès payant par micropaiement (qui serait d’environ 1 cent pour 20 pages consultées) n’est pour l’instant pas encore mis en place, et l’accès gratuit sans publicité, est réservé aux membres actif(ve)s du forum. En attendant, si vous souhaitez poursuivre votre visite chez nous, vous pouvez ajouter le site à votre liste blanche, ou encore mieux, désactiver le bloqueur partout. Pour ajouter le site à votre liste blanche, pour Firefox (similaire pour les autres navigateurs), rendez‑vous en bas à gauche de la fenêtre de votre navigateur, et cliquez sur le menu comme dans l’exemple de l’image ci‑dessous, puis rechargez la page, en appuyant sur F5.

Comment testé la validité de ces codes sources ?


Auteur	Message
M. Max Sens Tchatcheur Genre : Messages : 130	Ven 3 Mai 2019 18:09 Comment testé la validité de ces codes sources ? Bonjour, J'implémente un tableau pour un type privé et un mot en tant que tableau borné. Source Ada : package `Chaos` is pragma `Pure` (`Chaos`); subtype `Word_Size_Range` is `Positive` range 1..64; end `Chaos`; Source Ada : generic type `Digit_Type` is private; type `Digit_Array` is array (`Positive` range <>) of `Digit_Type`; with function ">" (`Left`, `Right` : in `Digit_Array`) return `Boolean`; package `Chaos`.`Lexical` is end `Chaos`.`Lexical`; Source Ada : with `Chaos`.`Lexical`; use `Chaos`; package `Chaos`.`Wide_Text` is new `Chaos`.`Lexical` (`Wide_Character`, `Wide_String`, ">"); Source Ada : with `Chaos`.`Lexical`; generic `Word_Size` : `Positive`; with package `Lexic` is new `Chaos`.`Lexical`(<>); package `Chaos`.`Word` is subtype `Word_Type` is `Lexic`.`Digit_Array`(1..`Word_Size`); end `Chaos`.`Word`; Source Ada : with `Chaos`; with `Chaos`.`Wide_Text`; with `Chaos`.`Word`; use `Chaos`; package`/`procedure ... is package `Wide_Text_Word` is new `Chaos`.`Word`(`Word_Size_Range`'`Last`, `Chaos`.`Wide_Text`); Je voudrais connaître la validité de la fonction ">" passé en instance de Chaos.Lexical.

Auteur

Message

M. Max Sens

Tchatcheur

Genre :
Messages : 130

Bonjour,
J'implémente un tableau pour un type privé et un mot en tant que tableau borné.

Source Ada :

package Chaos is
   pragma Pure (Chaos);  
   subtype Word_Size_Range is Positive range 1..64;
end Chaos;

Source Ada :

generic
   type Digit_Type is private;
   type Digit_Array is array (Positive range <>) of Digit_Type;
   with function ">" (Left, Right : in Digit_Array) return Boolean;
package Chaos.Lexical is

end Chaos.Lexical;

Source Ada :

with Chaos.Lexical;
use Chaos;
package Chaos.Wide_Text is
   new Chaos.Lexical (Wide_Character,
                      Wide_String,
                     ">");

Source Ada :

with Chaos.Lexical;
generic
   Word_Size : Positive;
   with package Lexic is new Chaos.Lexical(<>);
package Chaos.Word is

   subtype Word_Type is Lexic.Digit_Array(1..Word_Size);
end Chaos.Word;

Source Ada :

with Chaos;
with Chaos.Wide_Text;
with Chaos.Word;
use Chaos;
package/procedure ... is
package Wide_Text_Word is
      new Chaos.Word(Word_Size_Range'Last,
                     Chaos.Wide_Text);

Je voudrais connaître la validité de la fonction ">" passé en instance de Chaos.Lexical.