X-Git-Url: https://git.distorted.org.uk/~mdw/sod/blobdiff_plain/3dca7758421664a838c54b273bd9221f02072045..ba8bae5fe1f190d4a61a4ab63b52725bc0e07c9b:/src/codegen-impl.lisp diff --git a/src/codegen-impl.lisp b/src/codegen-impl.lisp index 170f4a8..6842b00 100644 --- a/src/codegen-impl.lisp +++ b/src/codegen-impl.lisp @@ -7,7 +7,7 @@ ;;;----- Licensing notice --------------------------------------------------- ;;; -;;; This file is part of the Sensble Object Design, an object system for C. +;;; This file is part of the Sensible Object Design, an object system for C. ;;; ;;; SOD is free software; you can redistribute it and/or modify ;;; it under the terms of the GNU General Public License as published by @@ -37,6 +37,16 @@ ((in-use-p :initarg :in-use-p :initform nil :type boolean :accessor var-in-use-p))) +(define-module-var *temporary-index* 0 + "Index for temporary name generation. + + This is automatically reset to zero before the output functions are + invoked to write a file. This way, we can ensure that the same output + file is always produced from the same input.") + +(define-clear-the-decks reset-codegen-index + (setf *temporary-index* 0)) + (defmethod commentify-argument-name ((name temporary-name)) nil) @@ -70,18 +80,18 @@ ;; package. The `definst' machinery will symbolicate the various associated ;; methods correctly despite this subterfuge. -(definst if (stream :export t) (#1=#:condition consequent alternative) - (format-compound-statement (stream consequent alternative) +(definst if (stream :export t) (#1=#:cond conseq alt) + (format-compound-statement (stream conseq alt) (format stream "if (~A)" #1#)) - (when alternative - (format-compound-statement (stream alternative) + (when alt + (format-compound-statement (stream alt) (write-string "else" stream)))) -(definst while (stream :export t) (#1=#:condition body) +(definst while (stream :export t) (#1=#:cond body) (format-compound-statement (stream body) (format stream "while (~A)" #1#))) -(definst do-while (stream :export t) (body #1=#:condition) +(definst do-while (stream :export t) (body #1=#:cond) (format-compound-statement (stream body :space) (write-string "do" stream)) (format stream "while (~A);" #1#))