Parcoursup / Calcul de l'ordre d'appel des candidats index


module CalculOrdreAppel
  [@java:package:fr.parcoursup.whyml.ordreappel]

  use mach.java.lang.Integer
  use fr.parcoursup.whyml.exceptions.acces_donnees_exception.AccesDonneesException
  use fr.parcoursup.whyml.exceptions.verification_exception.VerificationException
  use fr.parcoursup.whyml.ordreappel.algo.algo_ordre_appel.AlgoOrdreAppel
  use fr.parcoursup.whyml.ordreappel.algo.algo_ordre_appel_entree.AlgoOrdreAppelEntree
  use fr.parcoursup.whyml.ordreappel.algo.algo_ordre_appel_sortie.AlgoOrdreAppelSortie
  use fr.parcoursup.whyml.ordreappel.donnees.connecteur_donnees_appel.ConnecteurDonneesAppel

  type t [@extraction:preserve_single_field] = {
    coa_acces : ConnecteurDonneesAppel.t;
  }

  let calcul_ordre_appel [@java:constructor] (acces : ConnecteurDonneesAppel.t) : t =
    { coa_acces = acces; }

  let execute (self : t) : unit
    raises { AccesDonneesException.E }
  =
    let entree = ConnecteurDonneesAppel.recupererDonneesOrdreAppel self.coa_acces in
    let sortie = AlgoOrdreAppel.calculerOrdresAppels entree in
    self.coa_acces.exporterDonneesOrdresAppel sortie

end

(* generated on Thu Jan 30 02:06:23 UTC 2025 from rev:  *)

Generated by why3doc 1.7.2+git