blob: a4d74924ae09c6215de360c4c225fc533c5f20b9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
(ns cljcc.parser
(:require
[instaparse.core :as insta]))
(def whitespace
(insta/parser
"whitespace = #'\\s+'"))
(def c-parser
(insta/parser
"<program> = function+
function = #'int\\b' identifier <'('> #'void\\b' <')'> <'{'> statement <'}'>
statement = #'return\\b' exp <';'>
exp = constant | unop exp | <'('> exp <')'>
unop = #'-\\b' | #'~\\b'
identifier = #'[a-zA-Z_]\\w*\\b'
constant = #'[0-9]+\\b'
keyword = #'int\\b' | #'return\\b' | #'void\\b'"
:auto-whitespace whitespace))
(defn parseable? [result]
(not (insta/failure? result)))
(defn parse [source]
(c-parser source))
(comment
(parse "int main(void) {return 2;}")
,)
|
