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