From mboxrd@z Thu Jan 1 00:00:00 1970 From: Thierry Banel Subject: babel C, C++, D enhancement Date: Sun, 01 Jun 2014 23:58:45 +0200 Message-ID: <538BA215.2050305@free.fr> References: <878urc0zmw.fsf@bzg.ath.cx> <874n1ryeq1.fsf@bzg.ath.cx> <87y4xgxu74.fsf@Rainer.invalid> <87r438uycj.fsf@bzg.ath.cx> Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="------------090907040100020702070809" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:51714) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WrDmH-000106-08 for emacs-orgmode@gnu.org; Sun, 01 Jun 2014 17:58:57 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WrDmC-0003PV-4t for emacs-orgmode@gnu.org; Sun, 01 Jun 2014 17:58:52 -0400 Received: from smtp4-g21.free.fr ([212.27.42.4]:20688) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WrDmB-0003PP-Pc for emacs-orgmode@gnu.org; Sun, 01 Jun 2014 17:58:48 -0400 Received: from [IPv6:2a01:e35:2e21:def0:74b1:5203:2e77:f696] (unknown [IPv6:2a01:e35:2e21:def0:74b1:5203:2e77:f696]) by smtp4-g21.free.fr (Postfix) with ESMTP id 266DA4C801A for ; Sun, 1 Jun 2014 23:56:50 +0200 (CEST) In-Reply-To: <87r438uycj.fsf@bzg.ath.cx> List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: emacs-orgmode@gnu.org This is a multi-part message in MIME format. --------------090907040100020702070809 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Hi Bastien, hi all Here is a Babel enhancement for C, C++ and D languages - support for non-homogeneous tables (mixing numerics and strings) - support for table headers - easier iterating over a table - added some error handling - new D support for simple lists and vectors - new unit tests Current documentation is here : http://orgmode.org/worg/org-contrib/babel/languages/ob-doc-C.html Draft of future documentation is here : http://orgmode.org/worg/org-contrib/babel/languages/ob-doc-C-new.html Have fun Thierry --------------090907040100020702070809 Content-Type: text/x-diff; name="0001-enhanced-table-handling-in-Babel-C-C-D.patch" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="0001-enhanced-table-handling-in-Babel-C-C-D.patch" >From e66e6545776c0506a1f15db800dfe6424c6f997e Mon Sep 17 00:00:00 2001 From: Thierry Banel Date: Sun, 1 Jun 2014 23:30:20 +0200 Subject: [PATCH] enhanced table handling in Babel C, C++, D --- lisp/ob-C.el | 302 +++++++++++++++++++++++++++------------- testing/examples/ob-C-test.org | 88 ++++++++++++ testing/lisp/test-ob-C.el | 103 ++++++++++++-- 3 files changed, 384 insertions(+), 109 deletions(-) diff --git a/lisp/ob-C.el b/lisp/ob-C.el index 793981a..b1846de 100644 --- a/lisp/ob-C.el +++ b/lisp/ob-C.el @@ -34,8 +34,6 @@ (require 'cl)) (require 'ob) (require 'cc-mode) -(eval-when-compile - (require 'cl)) (declare-function org-entry-get "org" (pom property &optional inherit literal-nil)) @@ -72,40 +70,25 @@ This function calls `org-babel-execute:C++'." This function is called by `org-babel-execute-src-block'." (let ((org-babel-c-variant 'cpp)) (org-babel-C-execute body params))) -;;(defun org-babel-expand-body:C++ (body params) ;; unused -;; "Expand a block of C++ code with org-babel according to it's -;;header arguments (calls `org-babel-C-expand')." -;; (let ((org-babel-c-variant 'cpp)) (org-babel-C-expand body params))) - (defun org-babel-execute:D (body params) "Execute a block of D code with org-babel. This function is called by `org-babel-execute-src-block'." (let ((org-babel-c-variant 'd)) (org-babel-C-execute body params))) -;; (defun org-babel-expand-body:D (body params) ;; unused -;; "Expand a block of D code with org-babel according to it's -;;header arguments (calls `org-babel-C-expand')." -;; (let ((org-babel-c-variant 'd)) (org-babel-C-expand body params))) - (defun org-babel-execute:C (body params) "Execute a block of C code with org-babel. This function is called by `org-babel-execute-src-block'." (let ((org-babel-c-variant 'c)) (org-babel-C-execute body params))) -;; (defun org-babel-expand-body:c (body params) ;; unused -;; "Expand a block of C code with org-babel according to it's -;;header arguments (calls `org-babel-C-expand')." -;; (let ((org-babel-c-variant 'c)) (org-babel-C-expand body params))) - (defun org-babel-C-execute (body params) "This function should only be called by `org-babel-execute:C' or `org-babel-execute:C++' or `org-babel-execute:D'." (let* ((tmp-src-file (org-babel-temp-file "C-src-" - (cond - ((equal org-babel-c-variant 'c ) ".c" ) - ((equal org-babel-c-variant 'cpp) ".cpp") - ((equal org-babel-c-variant 'd ) ".d" )))) + (case org-babel-c-variant + (c ".c" ) + (cpp ".cpp") + (d ".d" )))) (tmp-bin-file (org-babel-temp-file "C-bin-" org-babel-exeext)) ;; not used for D (cmdline (cdr (assoc :cmdline params))) (cmdline (if cmdline (concat " " cmdline) "")) @@ -113,43 +96,62 @@ or `org-babel-execute:C++' or `org-babel-execute:D'." (flags (mapconcat 'identity (if (listp flags) flags (list flags)) " ")) (full-body - (cond ((equal org-babel-c-variant 'c ) (org-babel-C-expand-C body params)) - ((equal org-babel-c-variant 'cpp) (org-babel-C-expand-C++ body params)) - ((equal org-babel-c-variant 'd ) (org-babel-C-expand-D body params))))) + (case org-babel-c-variant + (c (org-babel-C-expand-C body params)) + (cpp (org-babel-C-expand-C++ body params)) + (d (org-babel-C-expand-D body params))))) (with-temp-file tmp-src-file (insert full-body)) - (if (memq org-babel-c-variant '(c cpp)) ;; no separate compilation for D - (org-babel-eval - (format "%s -o %s %s %s" - (cond - ((equal org-babel-c-variant 'c ) org-babel-C-compiler) - ((equal org-babel-c-variant 'cpp) org-babel-C++-compiler)) - (org-babel-process-file-name tmp-bin-file) - flags - (org-babel-process-file-name tmp-src-file)) "")) + (case org-babel-c-variant + ((c cpp) + (org-babel-eval + (format "%s -o %s %s %s" + (case org-babel-c-variant + (c org-babel-C-compiler) + (cpp org-babel-C++-compiler)) + (org-babel-process-file-name tmp-bin-file) + flags + (org-babel-process-file-name tmp-src-file)) "")) + (d nil)) ;; no separate compilation for D (let ((results - (org-babel-trim - (org-remove-indentation - (org-babel-eval - (cond ((memq org-babel-c-variant '(c cpp)) - (concat tmp-bin-file cmdline)) - ((equal org-babel-c-variant 'd) - (format "%s %s %s %s" - org-babel-D-compiler - flags - (org-babel-process-file-name tmp-src-file) - cmdline))) - ""))))) - (org-babel-reassemble-table - (org-babel-result-cond (cdr (assoc :result-params params)) - (org-babel-read results t) - (let ((tmp-file (org-babel-temp-file "c-"))) - (with-temp-file tmp-file (insert results)) - (org-babel-import-elisp-from-file tmp-file))) - (org-babel-pick-name - (cdr (assoc :colname-names params)) (cdr (assoc :colnames params))) - (org-babel-pick-name - (cdr (assoc :rowname-names params)) (cdr (assoc :rownames params))))) - )) + (org-babel-eval + (case org-babel-c-variant + ((c cpp) + (concat tmp-bin-file cmdline)) + (d + (format "%s %s %s %s" + org-babel-D-compiler + flags + (org-babel-process-file-name tmp-src-file) + cmdline))) + ""))) + (when results + (setq results (org-babel-trim (org-remove-indentation results))) + (org-babel-reassemble-table + (org-babel-result-cond (cdr (assoc :result-params params)) + (org-babel-read results t) + (let ((tmp-file (org-babel-temp-file "c-"))) + (with-temp-file tmp-file (insert results)) + (org-babel-import-elisp-from-file tmp-file))) + (org-babel-pick-name + (cdr (assoc :colname-names params)) (cdr (assoc :colnames params))) + (org-babel-pick-name + (cdr (assoc :rowname-names params)) (cdr (assoc :rownames params))))) + ))) + +(defun org-babel-expand-body:C++ (body params) + "Expand a block of C++ code with org-babel according to it's +header arguments." + (let ((org-babel-c-variant 'cpp)) (org-babel-C-expand-C++ body params))) + +(defun org-babel-expand-body:C (body params) + "Expand a block of C code with org-babel according to it's +header arguments." + (let ((org-babel-c-variant 'c)) (org-babel-C-expand-C body params))) + +(defun org-babel-expand-body:D (body params) + "Expand a block of D code with org-babel according to it's +header arguments." + (let ((org-babel-c-variant 'd)) (org-babel-C-expand-D body params))) (defun org-babel-C-expand-C++ (body params) "Expand a block of C or C++ code with org-babel according to @@ -160,24 +162,34 @@ it's header arguments." "Expand a block of C or C++ code with org-babel according to it's header arguments." (let ((vars (mapcar #'cdr (org-babel-get-header params :var))) + (colnames (cdar (org-babel-get-header params :colname-names))) (main-p (not (string= (cdr (assoc :main params)) "no"))) (includes (or (cdr (assoc :includes params)) (org-babel-read (org-entry-get nil "includes" t)))) (defines (org-babel-read (or (cdr (assoc :defines params)) (org-babel-read (org-entry-get nil "defines" t)))))) + (unless (listp includes) (setq includes (list includes))) + (setq includes (append includes '("" "" ""))) (mapconcat 'identity (list ;; includes (mapconcat (lambda (inc) (format "#include %s" inc)) - (if (listp includes) includes (list includes)) "\n") + includes "\n") ;; defines (mapconcat (lambda (inc) (format "#define %s" inc)) (if (listp defines) defines (list defines)) "\n") ;; variables (mapconcat 'org-babel-C-var-to-C vars "\n") + ;; table sizes + (mapconcat 'org-babel-C-table-sizes-to-C vars "\n") + ;; tables headers utility + (when colnames + (org-babel-C-utility-header-to-C)) + ;; tables headers + (mapconcat 'org-babel-C-header-to-C colnames "\n") ;; body (if main-p (org-babel-C-ensure-main-wrap body) @@ -187,18 +199,28 @@ it's header arguments." "Expand a block of D code with org-babel according to it's header arguments." (let ((vars (mapcar #'cdr (org-babel-get-header params :var))) + (colnames (cdar (org-babel-get-header params :colname-names))) (main-p (not (string= (cdr (assoc :main params)) "no"))) (imports (or (cdr (assoc :imports params)) (org-babel-read (org-entry-get nil "imports" t))))) + (unless (listp imports) (setq imports (list imports))) + (setq imports (append imports '("std.stdio" "std.conv"))) (mapconcat 'identity (list "module mmm;" ;; imports (mapconcat (lambda (inc) (format "import %s;" inc)) - (if (listp imports) imports (list imports)) "\n") + imports "\n") ;; variables (mapconcat 'org-babel-C-var-to-C vars "\n") + ;; table sizes + (mapconcat 'org-babel-C-table-sizes-to-C vars "\n") + ;; tables headers utility + (when colnames + (org-babel-C-utility-header-to-C)) + ;; tables headers + (mapconcat 'org-babel-C-header-to-C colnames "\n") ;; body (if main-p (org-babel-C-ensure-main-wrap body) @@ -229,50 +251,72 @@ support for sessions" (cons "" (format format-data val)) (funcall format-data val)))) +(defun org-babel-C-val-to-base-type (val) + "Determine the base type of VAL which may be +'integerp if all base values are integers +'floatp if all base values are either floating points or integers +'stringp otherwise." + (cond + ((integerp val) 'integerp) + ((floatp val) 'floatp) + ((or (listp val) (vectorp val)) + (let ((type nil)) + (mapc (lambda (v) + (case (org-babel-C-val-to-base-type v) + (stringp (setq type 'stringp)) + (floatp + (if (or (not type) (eq type 'integerp)) + (setq type 'floatp))) + (integerp + (unless type (setq type 'integerp))))) + val) + type)) + (t 'stringp))) + (defun org-babel-C-val-to-C-type (val) "Determine the type of VAL. Return a list (TYPE-NAME FORMAT). TYPE-NAME should be the name of the type. FORMAT can be either a format string or a function which is called with VAL." - (cond - ((integerp val) '("int" "%d")) - ((floatp val) '("double" "%f")) - ((or (listp val) (vectorp val)) - (lexical-let ((type (org-babel-C-val-to-C-list-type val))) - (list (car type) - (lambda (val) - (cons - (format "[%d]%s" - (length val) - (car (org-babel-C-format-val type (elt val 0)))) - (concat (if (equal org-babel-c-variant 'd) "[ " "{ ") - (mapconcat (lambda (v) - (cdr (org-babel-C-format-val type v))) - val - ", ") - (if (equal org-babel-c-variant 'd) " ]" " }"))))))) - (t ;; treat unknown types as string - (list - (if (equal org-babel-c-variant 'd) "string" "const char*") - "\"%s\"")))) - -(defun org-babel-C-val-to-C-list-type (val) - "Determine the C array type of a VAL." - (let (type) - (mapc - #'(lambda (i) - (let* ((tmp-type (org-babel-C-val-to-C-type i)) - (type-name (car type)) - (tmp-type-name (car tmp-type))) - (when (and type (not (string= type-name tmp-type-name))) - (if (and (member type-name '("int" "double" "int32_t")) - (member tmp-type-name '("int" "double" "int32_t"))) - (setq tmp-type '("double" "%f")) - (error "Only homogeneous lists are supported by C. You can not mix %s and %s" - type-name - tmp-type-name))) - (setq type tmp-type))) - val) - type)) + (let* ((basetype (org-babel-C-val-to-base-type val)) + (type + (case basetype + (integerp '("int" "%d")) + (floatp '("double" "%f")) + (stringp + (list + (if (equal org-babel-c-variant 'd) "string" "const char*") + "\"%s\"")) + (t (error "unknown type %S" type))))) + (cond + ((integerp val) type) ;; an integer declared in the #+begin_src line + ((floatp val) type) ;; a numeric declared in the #+begin_src line + ((and (listp val) (listp (car val))) ;; a table + `(,(car type) + (lambda (val) + (cons + (format "[%d][%d]" (length val) (length (car val))) + (concat + (if (equal org-babel-c-variant 'd) "[\n" "{\n") + (mapconcat + (lambda (v) + (concat + (if (equal org-babel-c-variant 'd) " [" " {") + (mapconcat (lambda (w) (format ,(cadr type) w)) v ",") + (if (equal org-babel-c-variant 'd) "]" "}"))) + val + ",\n") + (if (equal org-babel-c-variant 'd) "\n]" "\n}")))))) + ((or (listp val) (vectorp val)) ;; a list declared in the #+begin_src line + `(,(car type) + (lambda (val) + (cons + (format "[%d]" (length val)) + (concat + (if (equal org-babel-c-variant 'd) "[" "{") + (mapconcat (lambda (v) (format ,(cadr type) v)) val ",") + (if (equal org-babel-c-variant 'd) "]" "}")))))) + (t ;; treat unknown types as string + type)))) (defun org-babel-C-var-to-C (pair) "Convert an elisp val into a string of C code specifying a var @@ -295,6 +339,68 @@ of the same value." suffix data)))) +(defun org-babel-C-table-sizes-to-C (pair) + "Create constants of table dimensions, if PAIR is a table." + (when (listp (cdr pair)) + (cond + ((listp (cadr pair)) ;; a table + (concat + (format "const int %s_rows = %d;" (car pair) (length (cdr pair))) + "\n" + (format "const int %s_cols = %d;" (car pair) (length (cadr pair))))) + (t ;; a list declared in the #+begin_src line + (format "const int %s_cols = %d;" (car pair) (length (cdr pair))))))) + +(defun org-babel-C-utility-header-to-C () + "Generate a utility function to convert a column name +into a column number." + (case org-babel-c-variant + ((c cpp) + "int get_column_num (int nbcols, const char** header, const char* column) +{ + int c; + for (c=0; c" :results silent std::cout << q; return 0; #+end_src +#+source: integer_var +#+begin_src D :var q=12 :results silent + writefln ("%s", q); +#+end_src + #+source: two_var #+begin_src cpp :var q=12 :var p=10 :includes "" :results silent std::cout << p+q; return 0; #+end_src +#+source: two_var +#+begin_src D :var q=12 :var p=10 :results silent + writefln ("%s", p+q); +#+end_src + #+source: string_var #+begin_src cpp :var q="word" :includes '( ) :results silent std::cout << q << ' ' << std::strlen(q); return 0; #+end_src +#+source: string_var +#+begin_src D :var q="word" :results silent + writefln ("%s %s", q, q.length); +#+end_src + #+source: define #+begin_src cpp :defines N 42 :includes "" :results silent std::cout << N; @@ -45,6 +65,13 @@ } return 0; #+end_src + +#+source: array +#+begin_src D :results vector :results silent + foreach (i; 1..3) + writefln ("%s", i); +#+end_src + * Matrix :PROPERTIES: :ID: cc65d6b3-8e8e-4f9c-94cd-f5a00cdeceb5 @@ -58,13 +85,74 @@ std::cout << a[0] << a[1] << sizeof(a)/sizeof(*a) << '\n'; #+end_src +#+source: list_var +#+begin_src D :var a='("abc" "def") :results silent + writefln ("%s%s%s", a[0], a[1], a.length); +#+end_src + #+source: vector_var #+begin_src cpp :var a='[1 2] :includes "" :results silent std::cout << a[0] << a[1] << sizeof(a)/sizeof(*a) << '\n'; #+end_src +#+source: vector_var +#+begin_src D :var a='[1 2] :results silent + writefln ("%s%s%s", a[0], a[1], a.length); +#+end_src + #+source: list_list_var #+begin_src cpp :var q=C-matrix :includes "" :results silent std::cout << q[0][0] << ' ' << q[1][0] << '\n' << q[0][1] << ' ' << q[1][1] << '\n'; // transpose #+end_src + +#+source: list_list_var +#+begin_src D :var q=C-matrix :results silent + writefln ("%s %s", q[0][0], q[1][0]); + writefln ("%s %s", q[0][1], q[1][1]); // transpose +#+end_src + +* Inhomogeneous table + :PROPERTIES: + :ID: e112bc2e-419a-4890-99c2-7ac4779531cc + :END: + +#+tblname: tinomogen + | day | quty | + |-----------+------| + | monday | 34 | + | tuesday | 41 | + | wednesday | 56 | + | thursday | 17 | + | friday | 12 | + | saturday | 7 | + | sunday | 4 | + +#+source: inhomogeneous_table +#+BEGIN_SRC C :var tinomogen=tinomogen :results silent +int main() +{ + int i, j; + for (i=0; i