X-Git-Url: https://code.consxy.com/gitweb/gitweb.cgi?a=blobdiff_plain;f=src%2Fmain%2Ftranspile.lisp;h=b50b4cdad102286c38f82ec447efd63fcc133d50;hb=5c8699f151207953f4029e0fc6c488afce99f756;hp=db31840ddd35b7f5c4e940a0dee535a94dfaad41;hpb=d4ab3334d216c9963f9459d9e8870c6abafce8f1;p=clnl diff --git a/src/main/transpile.lisp b/src/main/transpile.lisp index db31840..b50b4cd 100644 --- a/src/main/transpile.lisp +++ b/src/main/transpile.lisp @@ -1,13 +1,4 @@ -(in-package #:cl-nl.transpiler) - -; This is responsible for taking an ast and turning it into valid CL code -; targeting the nvm. Here is where start to care about commands versus reporters -; and ensuring that things are in the right place. The reason we wait until here -; is because we want to allow someone else to play with the AST before handing it off -; to us. For instance, the command center wants to add "show" to reporters, and -; the users dictate based on entry point whether they are expecting a command -; or a reporter. So monitors can say "hey, transpile this reporter" and we'll check -; to make sure it actually is. +(in-package #:clnl-transpiler) (defparameter *prims* nil) @@ -20,8 +11,23 @@ (defun find-prim (symb) (find symb *prims* :key #'prim-name)) ; Let this grow, slowly but surely, eventually taking on calling context, etc. -; For now, it's just a +; For now, it's just a (defun transpile-commands (parsed-ast) + "TRANSPILE-COMMANDS PARSED-AST => AST + +ARGUMENTS AND VALUES: + + PARSED-AST: An ast as returned by the parser + AST: An common lisp AST that can be actually run in a common lisp instance + +DESCRIPTION: + + TRANSPILE-COMMANDS takes a unambigious PARSED-AST and converts it to + Common Lisp code. + + Calling eval on that code should work correctly as long as you have a + running engine. This is the entry point for commands, so it does + extra checking to ensure that commands are actually in the PARSED-AST." `(progn ,@(mapcar #'transpile-command parsed-ast))) @@ -33,6 +39,23 @@ (t `(,(prim-func (find-prim (car command))) ,@(mapcar #'transpile-reporter (cdr command)))))) (defun transpile-reporter (reporter) + "TRANSPILE-REPORTER REPORTER => AST + +ARGUMENTS AND VALUES: + + REPORTER: An ast returned from the parser. + AST: An common lisp AST that can be actually run in a common lisp instance + +DESCRIPTION: + + TRANSPILE-REPORTER takes a unambigious PARSED-AST and converts it to + Common Lisp code. + + Calling eval on that code should work correctly as long as you have a + running engine. This is the entry point for reporters, so it does + extra checking to ensure that the reporter is actually in the REPORTER. + + The Common lisp code that is returned, when run, will return some value." (cond ((numberp reporter) reporter) ; The parser converts to double for us ((symbolp reporter) reporter) ; The parser should have checked that having a symbol here is ok @@ -51,9 +74,9 @@ *prims*)) ; We count on the parser to handle arguemnts for us, when collating things. -(defprim :ask :command cl-nl.nvm::ask) -(defprim :crt :command cl-nl.nvm::create-turtles) -(defprim :fd :command cl-nl.nvm::fd) -(defprim :random-float :reporter cl-nl.nvm::random-float) -(defprim :show :command cl-nl.nvm::show) -(defprim :turtles :reporter cl-nl.nvm::turtles) +(defprim :ask :command clnl-nvm:ask) +(defprim :crt :command clnl-nvm:create-turtles) +(defprim :fd :command clnl-nvm:forward) +(defprim :random-float :reporter clnl-nvm:random-float) +(defprim :show :command clnl-nvm:show) +(defprim :turtles :reporter clnl-nvm:turtles)