module VerificationExceptionMessage
  [@java:package:fr.parcoursup.whyml.exceptions]

   use mach.java.lang.String

   type t =
     OK
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_DONNEES_ENTREE_SORTIE_INCOHERENTS
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_TAILLES_DONNEES_ENTREE_SORTIE_INCOHERENTS
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_DONNEE_SORTIE_MANQUANTE
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_GCNCOD_DUPLIQUE
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_GCNCOD_MANQUANT
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_CGPCOD_DIFFERENTS
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_TX_B_DIFFERENTS
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_TX_R_DIFFERENTS
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_NB_VOEUX_DIFFERENTS
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_INCONSISTENCE_DONNEES
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_NON_BOURSIER_HORS_SECTEUR_DEPASSE_CANDIDAT
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_NON_BOURSIER_HORS_SECTEUR_DIMINUE_TROP
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_VIOLATION_P1
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_BOURSIER_DU_SECTEUR_DECROIT
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_BOURSIER_DU_SECTEUR_DEPASSE
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_NON_BOURSIER_DU_SECTEUR_DIMINUE_TROP
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_NON_BOURSIER_DEPASSE_CANDIDAT_DU_SECTEUR
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_BOURSIER_HORS_SECTEUR_DIMINUE_TROP
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_HORS_SECTEUR_DEPASSE_BOURSIER_HORS_SECTEUR

   | VERIFICATION_ENTREE_ALGO_ORDRE_APPEL_TAUX
   | VERIFICATION_ENTREE_ALGO_ORDRE_APPEL_TAUX_BOURSIER
   | VERIFICATION_ENTREE_ALGO_ORDRE_APPEL_TAUX_HORS_SECTEUR
   | VERIFICATION_ENTREE_ALGO_ORDRE_APPEL_RANG_NEGATIF
   | VERIFICATION_ENTREE_ALGO_ORDRE_APPEL_DUPLICATION_RANG
   | VERIFICATION_ENTREE_ALGO_ORDRE_APPEL_RANG_APPEL_NEGATIF
   | VERIFICATION_ENTREE_ALGO_ORDRE_APPEL_DUPLICATION_RANG_APPEL
   | VERIFICATION_ENTREE_ALGO_ORDRE_APPEL_GCNCOD_DUPLIQUE
   | VERIFICATION_ENTREE_ALGO_ORDRE_APPEL_CGPCOD_DUPLIQUE
   | VERIFICATION_ENTREE_ALGO_ORDRE_APPEL_POSSIBLE_DEPASSEMENT_ARITHMETIQUE
   | GROUPE_CLASSEMENT_TAUX_INCOHERENTS
   | GROUPE_CLASSEMENT_RANGS_NON_TRIES
   | GROUPE_CLASSEMENT_GCNCOD_NEGATIF
   | GROUPE_CLASSEMENT_POSSIBLE_DEPASSEMENT_ARITHMETIQUE

   let function status_ok (s : t) =
     match s with OK -> true | _ -> false end

   let function status_nok (s : t) = not (status_ok s)

  let statusToString (st : t) : string =
    match st with
   | OK -> "Ok"
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_DONNEES_ENTREE_SORTIE_INCOHERENTS -> "Donnees entree / sortie incoherentes G_CN_COD(E/S)=%d/%d"
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_TAILLES_DONNEES_ENTREE_SORTIE_INCOHERENTS -> "Tailles donnees entree / sortie incoherentes"
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_DONNEE_SORTIE_MANQUANTE -> "Donnee de sortie manquante"
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_GCNCOD_DUPLIQUE -> "G_CN_COD duplique"
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_GCNCOD_MANQUANT -> "G_CN_COD manquant"
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_CGPCOD_DIFFERENTS -> "E/S: C_GP_CODs differents %d != %d"
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_TX_B_DIFFERENTS -> "E/S: taux boursiers differents %d != %d"
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_TX_R_DIFFERENTS -> "E/S: taux residents differents %d != %d"
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_NB_VOEUX_DIFFERENTS -> "E/S: nombre de voeux differents %d != %d"
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_INCONSISTENCE_DONNEES -> "Donnees inconsistentes"
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_VIOLATION_P1 -> "Violation P1"
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_BOURSIER_DU_SECTEUR_DECROIT -> "Violation P2: boursier du secteur %s avec rang d'appel qui decroit dans %s"
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_BOURSIER_DU_SECTEUR_DEPASSE -> "Violation P2: boursier du secteur %s depasse par %s dans %s"
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_NON_BOURSIER_DU_SECTEUR_DIMINUE_TROP -> "Violation P3: non boursier du secteur %s avec rang qui diminue trop dans %s"
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_NON_BOURSIER_DEPASSE_CANDIDAT_DU_SECTEUR -> "Violation P3: non-boursier %s depassant un candidat du secteur dans %s"
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_BOURSIER_HORS_SECTEUR_DIMINUE_TROP -> "Violation P4: candidat hors-secteur boursier %s avec rang (rp=%s, ra=%s) qui diminue trop dans le groupe %s"
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_HORS_SECTEUR_DEPASSE_BOURSIER_HORS_SECTEUR -> "Violation P4: candidat hors-secteur %s depassant le boursier hors-secteur %s dans le groupe %s"
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_NON_BOURSIER_HORS_SECTEUR_DIMINUE_TROP -> "Violation P5: candidat hors-secteur non-boursier %s avec rang  qui diminue trop dans le groupe %s"
   | VERIFICATION_RESULTATS_ALGO_ORDRE_APPEL_NON_BOURSIER_HORS_SECTEUR_DEPASSE_CANDIDAT -> "Violation P5: candidat hors-secteur non-boursier %s depassant le candidat %s dans le groupe %s"

   | VERIFICATION_ENTREE_ALGO_ORDRE_APPEL_TAUX -> "Taux incoherent %d"
   | VERIFICATION_ENTREE_ALGO_ORDRE_APPEL_TAUX_BOURSIER -> "Taux boursier incoherent %d"
   | VERIFICATION_ENTREE_ALGO_ORDRE_APPEL_TAUX_HORS_SECTEUR -> "Taux hors-secteur incoherent %d"
   | VERIFICATION_ENTREE_ALGO_ORDRE_APPEL_RANG_NEGATIF -> "G_CN_COD=%d : rang negatif %d"
   | VERIFICATION_ENTREE_ALGO_ORDRE_APPEL_DUPLICATION_RANG -> "G_CN_COD=%d: rang duplique %d"
   | VERIFICATION_ENTREE_ALGO_ORDRE_APPEL_RANG_APPEL_NEGATIF -> "G_CN_COD=%d : rang appel negatif %d"
   | VERIFICATION_ENTREE_ALGO_ORDRE_APPEL_DUPLICATION_RANG_APPEL -> "G_CN_COD=%d: rang appel duplique %d"
   | VERIFICATION_ENTREE_ALGO_ORDRE_APPEL_GCNCOD_DUPLIQUE -> "G_CN_COD duplique %d"
   | VERIFICATION_ENTREE_ALGO_ORDRE_APPEL_CGPCOD_DUPLIQUE -> "C_GP_COD duplique %d"
   | VERIFICATION_ENTREE_ALGO_ORDRE_APPEL_POSSIBLE_DEPASSEMENT_ARITHMETIQUE -> "Possibilite de capacite arithmetique"
   | GROUPE_CLASSEMENT_TAUX_INCOHERENTS -> "Taux incoherents"
   | GROUPE_CLASSEMENT_RANGS_NON_TRIES -> "Rangs pedagogiques non tries (C_GP_COD=%d)"
   | GROUPE_CLASSEMENT_POSSIBLE_DEPASSEMENT_ARITHMETIQUE -> "Possibilite de capacite arithmetique"
   | GROUPE_CLASSEMENT_GCNCOD_NEGATIF -> "G_CN_COD=%d: negatif dans groupe C_GP_COD=%d"
   end

end

(* generated on Thu Nov 21 02:04:27 UTC 2024 from rev:  *)