;;-*-Lisp-*-
(in-package goal)

;; definition of type __assert-info-private-struct
(deftype __assert-info-private-struct (structure)
  ((filename    string)
   (line-num    uint16)
   (column-num  uint16)
   )
  (:methods
    (set-pos (_type_ string uint uint) int)
    (print-pos (_type_) int)
    )
  )

;; definition for method 3 of type __assert-info-private-struct
(defmethod inspect ((this __assert-info-private-struct))
  (format #t "[~8x] ~A~%" this '__assert-info-private-struct)
  (format #t "~Tfilename: ~A~%" (-> this filename))
  (format #t "~Tline-num: ~D~%" (-> this line-num))
  (format #t "~Tcolumn-num: ~D~%" (-> this column-num))
  this
  )

;; definition for method 9 of type __assert-info-private-struct
(defmethod set-pos ((this __assert-info-private-struct) (filename string) (line-num uint) (column-num uint))
  (set! (-> this filename) filename)
  (set! (-> this line-num) line-num)
  (set! (-> this column-num) column-num)
  0
  )

;; definition for method 10 of type __assert-info-private-struct
(defmethod print-pos ((this __assert-info-private-struct))
  (format #t "file ~S.gc, line ~D, col ~D.~%" (-> this filename) (-> this line-num) (-> this column-num))
  0
  )

;; definition for symbol *__private-assert-info*, type __assert-info-private-struct
(define *__private-assert-info* (new 'static '__assert-info-private-struct))

;; failed to figure out what this is:
0