github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 08:54:14 +03:00
Code Issues Projects Releases Wiki Activity

parse members

Browse Source
This commit is contained in:
joshvera 2015-10-16 14:43:23 -04:00
parent a93e8e90da
commit 0628142d8b
1 changed files with 29 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
prototype/doubt-json/main.swift
View File

@ -146,12 +146,34 @@ typealias CharacterParser = Parser<String, [Character]>.Function
let stringBody: StringParser = { $0.map({ String($0) }).joinWithSeparator("") } <^>
not(%"\\" <|> %"\"")*
let quoted = %"\"" *> stringBody <* %"\""
let whitespace: CharacterParser = satisfy({ (c: Character) in c == " " })*
typealias MembersParser = Parser<String, [(String, CofreeJSON)]>.Function;
func members(json: JSONParser) -> MembersParser {
let pairs: Parser<String, (String, CofreeJSON)>.Function = (curry(pair) <^>
quoted
<* whitespace
<* %":"
<* whitespace
<*> json)
let separatedPairs: MembersParser = (%"," *> whitespace *> pairs <* whitespace)*
let oneOrMore: MembersParser = curry { [$0] + $1 } <^>
pairs
<* whitespace
<*> separatedPairs
let zero: MembersParser = pure([])
return oneOrMore
<|> zero
}
let json: JSONParser = fix { json in
// TODO: Parse backslashed escape characters
let string: JSONParser = quoted --> { Cofree($1, .Leaf(.String($2))) }
let whitespace: CharacterParser = satisfy({ (c: Character) in c == " " })*
let array: JSONParser = %"["
*> whitespace
*> json* <* %"]" --> { Cofree($1, .Indexed($2)) }
@ -159,12 +181,7 @@ let json: JSONParser = fix { json in
let dict: JSONParser =
%"{"
*> whitespace
*> (curry(pair) <^>
quoted
<* whitespace
<* %":"
<* whitespace
<*> json)*
*> members(json)
<* whitespace
<* %"}"
--> { (_, range, values) in
@ -177,11 +194,16 @@ let json: JSONParser = fix { json in
return dict <|> array <|> string
}
let empty = "{}"
print(parse(json, input: empty))
let dict = "{\"hello\":\"world\"}"
print(parse(json, input: dict))
let dictWithSpaces = "{ \"hello\" : \"world\" }"
print(parse(json, input: dictWithSpaces))
let dictWithMembers = "{\"hello\":\"world\",\"sup\":\"cat\"}"
print(parse(json, input: dictWithMembers))
//if let a = arguments[1].flatMap(JSON.init), b = arguments[2].flatMap(JSON.init) {
// let diff = Algorithm<Term, Diff>(a.term, b.term).evaluate(Cofree.equals(annotation: const(true), leaf: ==))
// if let JSON = NSString(data: diff.JSON(ifPure: { $0.JSON { $0.JSON } }, ifLeaf: { $0.JSON }).serialize(), encoding: NSUTF8StringEncoding) {