jsonic2: setup

dev-srcloc
Matthew Butterick 8 years ago
parent 1a033e7980
commit e66b7acad1

@ -1,12 +0,0 @@
#lang at-exp racket
(require pict/code)
(codeblock-pict
#:keep-lang-line? #f
@string-append|{
#lang br/demo/jsonic
{
"string": @$(string-append "foo" "bar")$@,
"array": @$(range 5)$@,
"object": @$(hash "k1" "valstring" (format "~a" 42) (hash "k1" (range 10) "k2" 42))$@
// "bar" :
}|)

@ -1,33 +0,0 @@
#lang br/quicklang
(require json (for-syntax br/datum racket/string))
(provide (rename-out [jsonic-mb #%module-begin])
jsonic-program
char
s-val)
(define-macro (jsonic-mb PARSE-TREE)
#'(#%module-begin
(define json-string (string-trim PARSE-TREE))
(when (string->jsexpr json-string)
(display json-string))))
(define-macro (jsonic-program STR ...)
#'(string-append STR ...))
(define-macro (char STR)
#'STR)
(define (stringify result)
(cond
[(number? result) (number->string result)]
[(string? result) (format "~v" result)]
[(list? result) (format "[~a]" (string-join (map stringify result) ", "))]
[(hash? result) (format "{~a}" (string-join (for/list ([(k v) (in-hash result)])
(format "~a: ~a" (stringify k) (stringify v))) ", "))]
[else ""]))
(define-macro (s-val STR ...)
(define s-exp-string
(string-join (map syntax->datum (syntax->list #'(STR ...))) ""))
(with-pattern ([DATUM (format-datum '~a s-exp-string)])
#'(stringify DATUM)))

@ -1,9 +1,13 @@
#lang br/demo/jsonic #lang br/demo/jsonic-pro
42 // a line comment
"string" [
["array", "of", "strings"] @$ 'null $@,
{ @$ #f $@,
"key": 42, @$ #t $@,
25: "value", @$ (* 6 7) $@,
[1, 2, 3]: {"subkey": 21} @$ "string" $@,
} @$ (list "array" "of" "strings") $@,
@$ (hash 'key-1 42
'key-2 "value"
'key-3 (hash 'subkey 21)) $@
]

@ -1,37 +1,22 @@
#lang at-exp br/quicklang #lang br/quicklang
(require "parser.rkt") (module reader br
(require br/demo/jsonic/reader)
(provide (all-from-out br/demo/jsonic/reader)))
(require br/demo/jsonic/expander)
(provide (all-from-out br/demo/jsonic/expander))
#| #|
Demonstrate: Demonstrate:
+ contracts
+ unit tests
+ color lexing + color lexing
+ indentation + indentation
+ toolbar buttons + toolbar buttons
+ pinpoint errors + docs
+ unit tests + info.rkt
|# |#
(module+ reader
(define (read-syntax path port)
(define parse-tree (parse path (tokenize port)))
(define module-datum `(module bf-mod br/demo/jsonic-pro/expander
,parse-tree))
(datum->syntax #f module-datum))
(provide read-syntax get-info))
(require parser-tools/lex parser-tools/lex-sre brag/support)
(define (tokenize port)
(define (next-token)
(define our-lexer
(lexer
[(eof) eof]
;; (char-complement "\n") means any char but "\n"
;; (complement "\n") means any whole string except "\n"
[(seq "//" (* (char-complement "\n"))) (next-token)]
["@$" (token 'OPEN lexeme)]
["$@" (token 'CLOSE lexeme)]
[any-char (token 'CHAR lexeme)]))
(our-lexer port))
next-token)
(define (get-info . _) (define (get-info . _)
(λ (key default) (λ (key default)
@ -43,9 +28,3 @@ Demonstrate:
[(drracket:toolbar-buttons) [(drracket:toolbar-buttons)
(dynamic-require 'br/demo/jsonic/toolbar 'buttons (λ () #f))] (dynamic-require 'br/demo/jsonic/toolbar 'buttons (λ () #f))]
[else default]))) [else default])))
(define (test-tokenize str)
(define ip (open-input-string str))
(define token-producer (tokenize ip))
(for/list ([token (in-producer token-producer eof)])
token))

@ -1,7 +0,0 @@
#lang brag
jsonic-program: (char | s-val)*
char: CHAR
s-val: /OPEN CHAR* /CLOSE
Loading…
Cancel
Save