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

  use mach.java.lang.String
  use mach.java.lang.Integer
  use fr.parcoursup.whyml.exceptions.verification_exception_message.VerificationExceptionMessage

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

  exception E t

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

  let crtX3 [@java:constructor]
      (st : VerificationExceptionMessage.t) (a1 a2 a3 : integer) =
      crtX4 st a1 a2 a3 0

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

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

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

  let getMessage (self : t) =
    String.format_4 (statusToString self.ex_status) self.ex_arg1 self.ex_arg2 self.ex_arg3 self.ex_arg4

end

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