ob-C.el 17 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514
  1. ;;; ob-C.el --- Babel Functions for C and Similar Languages -*- lexical-binding: t; -*-
  2. ;; Copyright (C) 2010-2021 Free Software Foundation, Inc.
  3. ;; Author: Eric Schulte
  4. ;; Thierry Banel
  5. ;; Maintainer: Thierry Banel
  6. ;; Keywords: literate programming, reproducible research
  7. ;; Homepage: https://orgmode.org
  8. ;; This file is part of GNU Emacs.
  9. ;; GNU Emacs is free software: you can redistribute it and/or modify
  10. ;; it under the terms of the GNU General Public License as published by
  11. ;; the Free Software Foundation, either version 3 of the License, or
  12. ;; (at your option) any later version.
  13. ;; GNU Emacs is distributed in the hope that it will be useful,
  14. ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
  15. ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  16. ;; GNU General Public License for more details.
  17. ;; You should have received a copy of the GNU General Public License
  18. ;; along with GNU Emacs. If not, see <https://www.gnu.org/licenses/>.
  19. ;;; Commentary:
  20. ;; Org-Babel support for evaluating C, C++, D code.
  21. ;;
  22. ;; very limited implementation:
  23. ;; - currently only support :results output
  24. ;; - not much in the way of error feedback
  25. ;;; Code:
  26. (require 'cc-mode)
  27. (require 'ob)
  28. (require 'org-macs)
  29. (declare-function org-entry-get "org" (pom property &optional inherit literal-nil))
  30. (defvar org-babel-tangle-lang-exts)
  31. (add-to-list 'org-babel-tangle-lang-exts '("C++" . "cpp"))
  32. (add-to-list 'org-babel-tangle-lang-exts '("D" . "d"))
  33. (defvar org-babel-default-header-args:C '())
  34. (defconst org-babel-header-args:C '((includes . :any)
  35. (defines . :any)
  36. (main . :any)
  37. (flags . :any)
  38. (cmdline . :any)
  39. (libs . :any))
  40. "C/C++-specific header arguments.")
  41. (defconst org-babel-header-args:C++
  42. (append '((namespaces . :any))
  43. org-babel-header-args:C)
  44. "C++-specific header arguments.")
  45. (defcustom org-babel-C-compiler "gcc"
  46. "Command used to compile a C source code file into an executable.
  47. May be either a command in the path, like gcc
  48. or an absolute path name, like /usr/local/bin/gcc
  49. parameter may be used, like gcc -v"
  50. :group 'org-babel
  51. :version "24.3"
  52. :type 'string)
  53. (defcustom org-babel-C++-compiler "g++"
  54. "Command used to compile a C++ source code file into an executable.
  55. May be either a command in the path, like g++
  56. or an absolute path name, like /usr/local/bin/g++
  57. parameter may be used, like g++ -v"
  58. :group 'org-babel
  59. :version "24.3"
  60. :type 'string)
  61. (defcustom org-babel-D-compiler "rdmd"
  62. "Command used to compile and execute a D source code file.
  63. May be either a command in the path, like rdmd
  64. or an absolute path name, like /usr/local/bin/rdmd
  65. parameter may be used, like rdmd --chatty"
  66. :group 'org-babel
  67. :version "24.3"
  68. :type 'string)
  69. (defvar org-babel-c-variant nil
  70. "Internal variable used to hold which type of C (e.g. C or C++ or D)
  71. is currently being evaluated.")
  72. (defun org-babel-execute:cpp (body params)
  73. "Execute BODY according to PARAMS.
  74. This function calls `org-babel-execute:C++'."
  75. (org-babel-execute:C++ body params))
  76. (defun org-babel-expand-body:cpp (body params)
  77. "Expand a block of C++ code with org-babel according to its
  78. header arguments."
  79. (org-babel-expand-body:C++ body params))
  80. (defun org-babel-execute:C++ (body params)
  81. "Execute a block of C++ code with org-babel.
  82. This function is called by `org-babel-execute-src-block'."
  83. (let ((org-babel-c-variant 'cpp)) (org-babel-C-execute body params)))
  84. (defun org-babel-expand-body:C++ (body params)
  85. "Expand a block of C++ code with org-babel according to its
  86. header arguments."
  87. (let ((org-babel-c-variant 'cpp)) (org-babel-C-expand-C++ body params)))
  88. (defun org-babel-execute:D (body params)
  89. "Execute a block of D code with org-babel.
  90. This function is called by `org-babel-execute-src-block'."
  91. (let ((org-babel-c-variant 'd)) (org-babel-C-execute body params)))
  92. (defun org-babel-expand-body:D (body params)
  93. "Expand a block of D code with org-babel according to its
  94. header arguments."
  95. (let ((org-babel-c-variant 'd)) (org-babel-C-expand-D body params)))
  96. (defun org-babel-execute:C (body params)
  97. "Execute a block of C code with org-babel.
  98. This function is called by `org-babel-execute-src-block'."
  99. (let ((org-babel-c-variant 'c)) (org-babel-C-execute body params)))
  100. (defun org-babel-expand-body:C (body params)
  101. "Expand a block of C code with org-babel according to its
  102. header arguments."
  103. (let ((org-babel-c-variant 'c)) (org-babel-C-expand-C body params)))
  104. (defun org-babel-C-execute (body params)
  105. "This function should only be called by `org-babel-execute:C'
  106. or `org-babel-execute:C++' or `org-babel-execute:D'."
  107. (let* ((tmp-src-file (org-babel-temp-file
  108. "C-src-"
  109. (pcase org-babel-c-variant
  110. (`c ".c") (`cpp ".cpp") (`d ".d"))))
  111. (tmp-bin-file ;not used for D
  112. (org-babel-process-file-name
  113. (org-babel-temp-file "C-bin-" org-babel-exeext)))
  114. (cmdline (cdr (assq :cmdline params)))
  115. (cmdline (if cmdline (concat " " cmdline) ""))
  116. (flags (cdr (assq :flags params)))
  117. (flags (mapconcat 'identity
  118. (if (listp flags) flags (list flags)) " "))
  119. (libs (org-babel-read
  120. (or (cdr (assq :libs params))
  121. (org-entry-get nil "libs" t))
  122. nil))
  123. (libs (mapconcat #'identity
  124. (if (listp libs) libs (list libs))
  125. " "))
  126. (full-body
  127. (pcase org-babel-c-variant
  128. (`c (org-babel-C-expand-C body params))
  129. (`cpp (org-babel-C-expand-C++ body params))
  130. (`d (org-babel-C-expand-D body params)))))
  131. (with-temp-file tmp-src-file (insert full-body))
  132. (pcase org-babel-c-variant
  133. ((or `c `cpp)
  134. (org-babel-eval
  135. (format "%s -o %s %s %s %s"
  136. (pcase org-babel-c-variant
  137. (`c org-babel-C-compiler)
  138. (`cpp org-babel-C++-compiler))
  139. tmp-bin-file
  140. flags
  141. (org-babel-process-file-name tmp-src-file)
  142. libs)
  143. ""))
  144. (`d nil)) ;; no separate compilation for D
  145. (let ((results
  146. (org-babel-eval
  147. (pcase org-babel-c-variant
  148. ((or `c `cpp)
  149. (concat tmp-bin-file cmdline))
  150. (`d
  151. (format "%s %s %s %s"
  152. org-babel-D-compiler
  153. flags
  154. (org-babel-process-file-name tmp-src-file)
  155. cmdline)))
  156. "")))
  157. (when results
  158. (setq results (org-remove-indentation results))
  159. (org-babel-reassemble-table
  160. (org-babel-result-cond (cdr (assq :result-params params))
  161. (org-babel-read results t)
  162. (let ((tmp-file (org-babel-temp-file "c-")))
  163. (with-temp-file tmp-file (insert results))
  164. (org-babel-import-elisp-from-file tmp-file)))
  165. (org-babel-pick-name
  166. (cdr (assq :colname-names params)) (cdr (assq :colnames params)))
  167. (org-babel-pick-name
  168. (cdr (assq :rowname-names params)) (cdr (assq :rownames params)))))
  169. )))
  170. (defun org-babel-C-expand-C++ (body params)
  171. "Expand a block of C or C++ code with org-babel according to
  172. its header arguments."
  173. (org-babel-C-expand-C body params))
  174. (defun org-babel-C-expand-C (body params)
  175. "Expand a block of C or C++ code with org-babel according to
  176. its header arguments."
  177. (let ((vars (org-babel--get-vars params))
  178. (colnames (cdr (assq :colname-names params)))
  179. (main-p (not (string= (cdr (assq :main params)) "no")))
  180. (includes (org-babel-read
  181. (cdr (assq :includes params))
  182. nil))
  183. (defines (org-babel-read
  184. (cdr (assq :defines params))
  185. nil))
  186. (namespaces (org-babel-read
  187. (cdr (assq :namespaces params))
  188. nil)))
  189. (when (stringp includes)
  190. (setq includes (split-string includes)))
  191. (when (stringp namespaces)
  192. (setq namespaces (split-string namespaces)))
  193. (when (stringp defines)
  194. (let ((y nil)
  195. (result (list t)))
  196. (dolist (x (split-string defines))
  197. (if (null y)
  198. (setq y x)
  199. (nconc result (list (concat y " " x)))
  200. (setq y nil)))
  201. (setq defines (cdr result))))
  202. (mapconcat 'identity
  203. (list
  204. ;; includes
  205. (mapconcat
  206. (lambda (inc)
  207. ;; :includes '(<foo> <bar>) gives us a list of
  208. ;; symbols; convert those to strings.
  209. (when (symbolp inc) (setq inc (symbol-name inc)))
  210. (if (string-prefix-p "<" inc)
  211. (format "#include %s" inc)
  212. (format "#include \"%s\"" inc)))
  213. includes "\n")
  214. ;; defines
  215. (mapconcat
  216. (lambda (inc) (format "#define %s" inc))
  217. (if (listp defines) defines (list defines)) "\n")
  218. ;; namespaces
  219. (mapconcat
  220. (lambda (inc) (format "using namespace %s;" inc))
  221. namespaces
  222. "\n")
  223. ;; variables
  224. (mapconcat 'org-babel-C-var-to-C vars "\n")
  225. ;; table sizes
  226. (mapconcat 'org-babel-C-table-sizes-to-C vars "\n")
  227. ;; tables headers utility
  228. (when colnames
  229. (org-babel-C-utility-header-to-C))
  230. ;; tables headers
  231. (mapconcat (lambda (head)
  232. (let* ((tblnm (car head))
  233. (tbl (cdr (car (let* ((el vars))
  234. (while (not (or (equal tblnm (caar el)) (not el)))
  235. (setq el (cdr el)))
  236. el))))
  237. (type (org-babel-C-val-to-base-type tbl)))
  238. (org-babel-C-header-to-C head type))) colnames "\n")
  239. ;; body
  240. (if main-p
  241. (org-babel-C-ensure-main-wrap body)
  242. body) "\n") "\n")))
  243. (defun org-babel-C-expand-D (body params)
  244. "Expand a block of D code with org-babel according to
  245. its header arguments."
  246. (let ((vars (org-babel--get-vars params))
  247. (colnames (cdr (assq :colname-names params)))
  248. (main-p (not (string= (cdr (assq :main params)) "no")))
  249. (imports (or (cdr (assq :imports params))
  250. (org-babel-read (org-entry-get nil "imports" t)))))
  251. (when (stringp imports)
  252. (setq imports (split-string imports)))
  253. (setq imports (append imports '("std.stdio" "std.conv")))
  254. (mapconcat 'identity
  255. (list
  256. "module mmm;"
  257. ;; imports
  258. (mapconcat
  259. (lambda (inc) (format "import %s;" inc))
  260. imports "\n")
  261. ;; variables
  262. (mapconcat 'org-babel-C-var-to-C vars "\n")
  263. ;; table sizes
  264. (mapconcat 'org-babel-C-table-sizes-to-C vars "\n")
  265. ;; tables headers utility
  266. (when colnames
  267. (org-babel-C-utility-header-to-C))
  268. ;; tables headers
  269. (mapconcat (lambda (head)
  270. (let* ((tblnm (car head))
  271. (tbl (cdr (car (let* ((el vars))
  272. (while (not (or (equal tblnm (caar el)) (not el)))
  273. (setq el (cdr el)))
  274. el))))
  275. (type (org-babel-C-val-to-base-type tbl)))
  276. (org-babel-C-header-to-C head type))) colnames "\n")
  277. ;; body
  278. (if main-p
  279. (org-babel-C-ensure-main-wrap body)
  280. body) "\n") "\n")))
  281. (defun org-babel-C-ensure-main-wrap (body)
  282. "Wrap BODY in a \"main\" function call if none exists."
  283. (if (string-match "^[ \t]*[intvod]+[ \t\n\r]*main[ \t]*(.*)" body)
  284. body
  285. (format "int main() {\n%s\nreturn 0;\n}\n" body)))
  286. (defun org-babel-prep-session:C (_session _params)
  287. "This function does nothing as C is a compiled language with no
  288. support for sessions."
  289. (error "C is a compiled language -- no support for sessions"))
  290. (defun org-babel-load-session:C (_session _body _params)
  291. "This function does nothing as C is a compiled language with no
  292. support for sessions."
  293. (error "C is a compiled language -- no support for sessions"))
  294. ;; helper functions
  295. (defun org-babel-C-format-val (type val)
  296. "Handle the FORMAT part of TYPE with the data from VAL."
  297. (let ((format-data (cadr type)))
  298. (if (stringp format-data)
  299. (cons "" (format format-data val))
  300. (funcall format-data val))))
  301. (defun org-babel-C-val-to-C-type (val)
  302. "Determine the type of VAL.
  303. Return a list (TYPE-NAME FORMAT). TYPE-NAME should be the name of the type.
  304. FORMAT can be either a format string or a function which is called with VAL."
  305. (let* ((basetype (org-babel-C-val-to-base-type val))
  306. (type
  307. (pcase basetype
  308. (`integerp '("int" "%d"))
  309. (`floatp '("double" "%f"))
  310. (`stringp
  311. (list
  312. (if (eq org-babel-c-variant 'd) "string" "const char*")
  313. "\"%s\""))
  314. (_ (error "unknown type %S" basetype)))))
  315. (cond
  316. ((integerp val) type) ;; an integer declared in the #+begin_src line
  317. ((floatp val) type) ;; a numeric declared in the #+begin_src line
  318. ((and (listp val) (listp (car val))) ;; a table
  319. `(,(car type)
  320. (lambda (val)
  321. (cons
  322. (pcase org-babel-c-variant
  323. ((or `c `cpp) (format "[%d][%d]" (length val) (length (car val))))
  324. (`d (format "[%d][%d]" (length (car val)) (length val))))
  325. (concat
  326. (if (eq org-babel-c-variant 'd) "[\n" "{\n")
  327. (mapconcat
  328. (lambda (v)
  329. (concat
  330. (if (eq org-babel-c-variant 'd) " [" " {")
  331. (mapconcat (lambda (w) (format ,(cadr type) w)) v ",")
  332. (if (eq org-babel-c-variant 'd) "]" "}")))
  333. val
  334. ",\n")
  335. (if (eq org-babel-c-variant 'd) "\n]" "\n}"))))))
  336. ((or (listp val) (vectorp val)) ;; a list declared in the #+begin_src line
  337. `(,(car type)
  338. (lambda (val)
  339. (cons
  340. (format "[%d]" (length val))
  341. (concat
  342. (if (eq org-babel-c-variant 'd) "[" "{")
  343. (mapconcat (lambda (v) (format ,(cadr type) v)) val ",")
  344. (if (eq org-babel-c-variant 'd) "]" "}"))))))
  345. (t ;; treat unknown types as string
  346. type))))
  347. (defun org-babel-C-val-to-base-type (val)
  348. "Determine the base type of VAL which may be
  349. `integerp' if all base values are integers
  350. `floatp' if all base values are either floating points or integers
  351. `stringp' otherwise."
  352. (cond
  353. ((integerp val) 'integerp)
  354. ((floatp val) 'floatp)
  355. ((or (listp val) (vectorp val))
  356. (let ((type nil))
  357. (mapc (lambda (v)
  358. (pcase (org-babel-C-val-to-base-type v)
  359. (`stringp (setq type 'stringp))
  360. (`floatp
  361. (when (or (not type) (eq type 'integerp))
  362. (setq type 'floatp)))
  363. (`integerp
  364. (unless type (setq type 'integerp)))))
  365. val)
  366. type))
  367. (t 'stringp)))
  368. (defun org-babel-C-var-to-C (pair)
  369. "Convert an elisp val into a string of C code specifying a var
  370. of the same value."
  371. ;; TODO list support
  372. (let ((var (car pair))
  373. (val (cdr pair)))
  374. (when (symbolp val)
  375. (setq val (symbol-name val))
  376. (when (= (length val) 1)
  377. (setq val (string-to-char val))))
  378. (let* ((type-data (org-babel-C-val-to-C-type val))
  379. (type (car type-data))
  380. (formatted (org-babel-C-format-val type-data val))
  381. (suffix (car formatted))
  382. (data (cdr formatted)))
  383. (pcase org-babel-c-variant
  384. ((or `c `cpp)
  385. (format "%s %s%s = %s;"
  386. type
  387. var
  388. suffix
  389. data))
  390. (`d
  391. (format "%s%s %s = %s;"
  392. type
  393. suffix
  394. var
  395. data))))))
  396. (defun org-babel-C-table-sizes-to-C (pair)
  397. "Create constants of table dimensions, if PAIR is a table."
  398. (when (listp (cdr pair))
  399. (cond
  400. ((listp (cadr pair)) ;; a table
  401. (concat
  402. (format "const int %s_rows = %d;" (car pair) (length (cdr pair)))
  403. "\n"
  404. (format "const int %s_cols = %d;" (car pair) (length (cadr pair)))))
  405. (t ;; a list declared in the #+begin_src line
  406. (format "const int %s_cols = %d;" (car pair) (length (cdr pair)))))))
  407. (defun org-babel-C-utility-header-to-C ()
  408. "Generate a utility function to convert a column name
  409. into a column number."
  410. (pcase org-babel-c-variant
  411. ((or `c `cpp)
  412. (concat
  413. "
  414. #ifndef _STRING_H
  415. #include <string.h>
  416. #endif
  417. int get_column_num (int nbcols, const char** header, const char* column)
  418. {
  419. int c;
  420. for (c=0; c<nbcols; c++)
  421. if (strcmp(header[c],column)==0)
  422. return c;
  423. return -1;
  424. }
  425. "))
  426. (`d
  427. "int get_column_num (string[] header, string column)
  428. {
  429. foreach (c, h; header)
  430. if (h==column)
  431. return to!int(c);
  432. return -1;
  433. }
  434. ")))
  435. (defun org-babel-C-header-to-C (head type)
  436. "Convert an elisp list of header table into a C or D vector
  437. specifying a variable with the name of the table."
  438. (message "%S" type)
  439. (let ((table (car head))
  440. (headers (cdr head))
  441. (typename (pcase type
  442. (`integerp "int")
  443. (`floatp "double")
  444. (`stringp (pcase org-babel-c-variant
  445. ((or `c `cpp) "const char*")
  446. (`d "string"))))))
  447. (concat
  448. (pcase org-babel-c-variant
  449. ((or `c `cpp)
  450. (format "const char* %s_header[%d] = {%s};"
  451. table
  452. (length headers)
  453. (mapconcat (lambda (h) (format "\"%s\"" h)) headers ",")))
  454. (`d
  455. (format "string[%d] %s_header = [%s];"
  456. (length headers)
  457. table
  458. (mapconcat (lambda (h) (format "\"%s\"" h)) headers ","))))
  459. "\n"
  460. (pcase org-babel-c-variant
  461. ((or `c `cpp)
  462. (format
  463. "%s %s_h (int row, const char* col) { return %s[row][get_column_num(%d,%s_header,col)]; }"
  464. typename table table (length headers) table))
  465. (`d
  466. (format
  467. "%s %s_h (size_t row, string col) { return %s[row][get_column_num(%s_header,col)]; }"
  468. typename table table table))))))
  469. (provide 'ob-C)
  470. ;;; ob-C.el ends here