Hello!

Inspiré(e) de prendre part à la discussion ? Ou de poser une question ou demander de l’aide ?

Alors bienvenues dans les grands sujets des forums de La Bulle : m’inscrire.

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
Tchatcheur
Tchatcheur
RANDOM_AVATAR
  • Genre : Télétubbie
  • Messages : 130
Ven 3 Mai 2019 18:09
Message 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.
Profil
cron