/**
 * Classe permettant de générer des tests pour la classe Sequence
 * avec l'outil Jartege.
 */

import jartege.* ; 

class Gen {

   public static void main(String[] args) {
      // Créé un testeur de classes
      ClassTester t = new ClassTester() ; 

      // Ajoute la classe Sequence à l'ensemble des classes sous test.
      t.addClass("Sequence") ; 

      // Associe a la classe Sequence la probabilité seuil égale à 1, 
      // ce qui signifie qu'un programme de test généré construira
      // au plus une instance de la classe Sequence.
      t.changeCreationProbability("Sequence", new ThresholdProbability(1)) ; 

      // Génère une classe de test TestSequence, qui comporte 10 méthodes
      // de test ; chaque méthode de test effectuant 50 tentatives d'appels. 
      t.generate("TestSequence", 10, 50) ; 
   }
}