module AccesDonneesException
  [@java:package:fr.parcoursup.whyml.exceptions]
  [@java:exception:Exception]

  use mach.java.lang.String
  use mach.java.lang.Integer
  use fr.parcoursup.whyml.exceptions.acces_donnees_exception_message.AccesDonneesExceptionMessage

  type t = {
    ex_status : AccesDonneesExceptionMessage.t;
    ex_arg1 : integer;
    ex_arg2 : integer;
    ex_arg3 : integer;
  }

  exception E t

  let crtX3 [@java:constructor] (st : AccesDonneesExceptionMessage.t) (a1 a2 a3 : integer) = {
    ex_status = st; ex_arg1 = a1; ex_arg2 = a2; ex_arg3 = a3;
  }

  let crtX2 [@java:constructor] (st : AccesDonneesExceptionMessage.t) (a1 a2 : integer) =
      crtX3 st a1 a2 0

  let crtX1 [@java:constructor] (st : AccesDonneesExceptionMessage.t) (a1 : integer) =
      crtX2 st a1 0

  let crtX0 [@java:constructor] (st : AccesDonneesExceptionMessage.t) =
      crtX1 st 0

  let getMessage (self : t) =
    String.format_3 (statusToString self.ex_status) self.ex_arg1 self.ex_arg2 self.ex_arg3
end

(* generated on Mon Dec  2 02:04:28 UTC 2024 from rev:  *)