fabriquer un package à partir d'un autre générique

[HRS]

j'aimerais fabriquer un package en utilisant un package générique existant (ADA.STRINGS.BOUNDED)

mais sans l'instancier. Est-possible ?

En effet, je pense que c'est au programme qui utilise mon package d'instancier le générique

[jovalise]

Envoyé par HRS

j'aimerais fabriquer un package en utilisant un package générique existant (ADA.STRINGS.BOUNDED)

mais sans l'instancier. Est-possible ?

En effet, je pense que c'est au programme qui utilise mon package d'instancier le générique

Ben tu le passe en paramètre de paquet générique ...

Code ada :

1
2
3
4
5
with ADA.STRINGS.BOUNDED;
generic
   with package instance is new ADA.STRINGS.BOUNDED(<>);
package generic_package is

C'est le mieux.

[HRS]

merci. je vais essayer cela.

[HRS]

mon package doit être comme vous dites

Code :

1
2
3
4
WITH Ada.Strings.Bounded;
generic
  with package P_Bounded is new Ada.Strings.Bounded.Generic_Bounded_Length(<>);
PACKAGE NChaine IS

le programme qui utilise mon package doit faire une DOUBLE instantiation comme suit

Code :

1
2
3
4
5
with nchaine; WITH Ada.Strings.Bounded;
procedure testnchaine is
  
package P40 is new Ada.Strings.Bounded.Generic_Bounded_Length(40);
package nchaine2 is new nchaine(P40); use nchaine2;

[Sigurd9]

Tu peux aussi créer un package fils :

Code :

1
2
3
4
generic
package Ada.Strings.Bounded.Le_Mien is
 ...
End Ada.Strings.Bounded.Le_Mien ;

[HRS]

je vais essayer cela aussi

j'en profite pour reposer une question

la fonction Trim de Ada.Strings.Bounded utilise un type énumératif de

ada.string ==> type Trim_End is (Left, Right, Both);

cela ne ne dérange pas, dans mon package, de devoir utiliser

ada.string.left ou ada.string.right

mais comment faire pour que le programme utilisateur (testnchaine) n'utilise que left ou right

[Jaizu]

Bonjour,

Envoyé par HRS

mais comment faire pour que le programme utilisateur (testnchaine) n'utilise que left ou right

À l'instar des types numériques, il est possible de créer un sous-type ou un type dérivé d'une énumération avec certaines contraintes.