module InvalidArgumentException
  [@java:package:fr.parcoursup.whyml.exceptions]
  [@java:exception:RuntimeException]

  use mach.java.lang.String
  use mach.java.lang.Integer
  use fr.parcoursup.whyml.exceptions.invalid_argument_exception_message.InvalidArgumentExceptionMessage

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

  exception E t

  let crtX4 [@java:constructor]
      (st : InvalidArgumentExceptionMessage.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 : InvalidArgumentExceptionMessage.t) (a1 a2 a3 : integer) =
      crtX4 st a1 a2 a3 0

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

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

  let crtX0 [@java:constructor]
      (st : InvalidArgumentExceptionMessage.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

  let eq_max_integer () = crtX0 INVALID_ARG_EQ_MAX_INTEGER
  let index_out_of_bounds (i : integer) = crtX1 INVALID_ARG_INDEX_OUT_OF_BOUNDS i

end

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