mirror of
https://github.com/open-goal/jak-project
synced 2026-07-11 07:25:37 -04:00
Tyler Wilding
d1ece445d4
Relates to #1353 This adds no new functionality or overhead to the compiler, yet. This is the preliminary work that has: - added code to the compiler in several spots to flag when something is used without being properly required/imported/whatever (disabled by default) - that was used to generate project wide file dependencies (some circulars were manually fixed) - then that graph underwent a transitive reduction and the result was written to all `jak1` source files. The next step will be making this actually produce and use a dependency graph. Some of the reasons why I'm working on this: - eliminates more `game.gp` boilerplate. This includes the `.gd` files to some extent (`*-ag` files and `tpage` files will still need to be handled) this is the point of the new `bundles` form. This should make it even easier to add a new file into the source tree. - a build order that is actually informed from something real and compiler warnings that tell you when you are using something that won't be available at build time. - narrows the search space for doing LSP actions -- like searching for references. Since it would be way too much work to store in the compiler every location where every symbol/function/etc is used, I have to do ad-hoc searches. By having a dependency graph i can significantly reduce that search space. - opens the doors for common shared code with a legitimate pattern. Right now jak 2 shares code from the jak 1 folder. This is basically a hack -- but by having an explicit require syntax, it would be possible to reference arbitrary file paths, such as a `common` folder. Some stats: - Jak 1 has about 2500 edges between files, including transitives - With transitives reduced at the source code level, each file seems to have a modest amount of explicit requirements. Known issues: - Tracking the location for where `defmacro`s and virtual state definitions were defined (and therefore the file) is still problematic. Because those forms are in a macro environment, the reader does not track them. I'm wondering if a workaround could be to search the reader's text_db by not just the `goos::Object` but by the text position. But for the purposes of finishing this work, I just statically analyzed and searched the code with throwaway python code.
61 lines
2.1 KiB
Common Lisp
61 lines
2.1 KiB
Common Lisp
;;-*-Lisp-*-
|
|
(in-package goal)
|
|
(bundles "ENGINE.CGO" "GAME.CGO")
|
|
|
|
(require "engine/debug/assert-h.gc")
|
|
|
|
;; name: assert.gc
|
|
;; name in dgo: assert
|
|
;; dgos: GAME, ENGINE
|
|
|
|
|
|
(define *run-time-assert-enable* #t)
|
|
|
|
;; TODO macros
|
|
|
|
(defun __assert ((expr symbol) (msg string))
|
|
"Assert that expr is truthy, print assert information otherwise"
|
|
|
|
(when (not expr)
|
|
(format #t "(ASSERT ~S) FAILED in " msg)
|
|
(print-pos *__private-assert-info*)
|
|
)
|
|
0
|
|
)
|
|
|
|
(defun __assert-min-max-range-float ((expr float) (minimum float) (maximum float) (msg-expr string) (msg-min string) (msg-max string))
|
|
"Assert that float expr is a larger value than minimum and smaller than maximum, print assert information otherwise"
|
|
|
|
(when (or (< expr minimum) (< maximum expr))
|
|
(format #t "(ASSERT_MIN_MAX_RANGE_FLOAT ~S ~S ~S) FAILED (values ~F ~F ~F) in "
|
|
msg-expr msg-min msg-max
|
|
expr minimum maximum)
|
|
(print-pos *__private-assert-info*)
|
|
)
|
|
0
|
|
)
|
|
|
|
(defun __assert-min-max-range-int ((expr int) (minimum int) (maximum int) (msg-expr string) (msg-min string) (msg-max string))
|
|
"Assert that integer expr is a larger value than minimum and smaller than maximum, print assert information otherwise"
|
|
|
|
(when (or (< expr minimum) (< maximum expr))
|
|
(format #t "(ASSERT_MIN_MAX_RANGE_INT ~S ~S ~S) FAILED (values ~D ~D ~D) in "
|
|
msg-expr msg-min msg-max
|
|
expr minimum maximum)
|
|
(print-pos *__private-assert-info*)
|
|
)
|
|
0
|
|
)
|
|
|
|
(defun __assert-zero-lim-range-int ((expr int) (maximum int) (msg-expr string) (msg-max string))
|
|
"Assert that integer expr is a larger value than zero and smaller than maximum, print assert information otherwise"
|
|
|
|
(when (or (< expr 0) (>= expr max))
|
|
(format #t "(ASSERT_ZERO_LIM_RANGE_INT ~S ~S) FAILED (values ~D ~D) in "
|
|
msg-expr msg-max
|
|
expr maximum)
|
|
(print-pos *__private-assert-info*)
|
|
)
|
|
0
|
|
)
|