github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00
Code Issues Projects Releases Wiki Activity

Move JSON construction of Term into doubt-swift.

Browse Source
This commit is contained in:
Rob Rix 2015-09-30 15:08:19 -04:00
parent 03d4fcfc53
commit f3122f1bae
2 changed files with 86 additions and 87 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

85
prototype/Doubt/Syntax.swift
View File

@ -34,89 +34,6 @@ public enum Term<A>: CustomDebugStringConvertible, CustomDocConvertible, CustomS
}
}
public protocol StringConvertible {
init(string: String)
}
extension String: StringConvertible {
public init(string: String) {
self = string
}
}
extension Term where A: StringConvertible {
/// Constructs a Term representing `JSON`.
public init?(JSON: Doubt.JSON) {
func die<B>() throws -> B {
throw E()
}
do {
switch JSON {
case let .Dictionary(d) where d["key.name"] != nil:
let name = d["key.name"]?.string ?? ""
let substructure = d["key.substructure"]?.array ?? []
let kind = d["key.kind"]?.string
switch kind {
case
.Some("source.lang.swift.decl.class"),
.Some("source.lang.swift.decl.extension"),
.Some("source.lang.swift.decl.enum"),
.Some("source.lang.swift.decl.struct"):
self = .Branch([ .Leaf(A(string: name)), .Branch(try substructure.map { try Term(JSON: $0) ?? die() }) ])
case .Some("source.lang.swift.decl.enumelement"):
fallthrough
case
.Some("source.lang.swift.decl.function.method.instance"),
.Some("source.lang.swift.decl.function.free"):
self = .Branch([ .Leaf(A(string: name)), .Branch(try substructure.map { try Term(JSON: $0) ?? die() }) ])
case
.Some("source.lang.swift.decl.var.instance"),
.Some("source.lang.swift.decl.var.static"):
self = .Leaf(A(string: name))
default:
return nil
}
case let .Dictionary(d) where d["key.kind"]?.string == "source.lang.swift.decl.enumcase" && d["key.substructure"]?.array?.count == 1:
let substructure = d["key.substructure"]?.array ?? []
self = try Term(JSON: substructure[0]) ?? die()
case let .Dictionary(d) where d["key.kind"]?.string == "source.lang.swift.syntaxtype.comment.mark":
self = .Empty
case .Null:
self = .Empty
default:
return nil
}
} catch _ {
return nil
}
}
/// Constructs a Term representing the `JSON` in a file at `path`.
public init?(path: String, JSON: Doubt.JSON) {
func die<B>() throws -> B {
throw E()
}
do {
switch JSON.dictionary?["key.substructure"] {
case let .Some(.Array(a)):
self = .Roll(.Branch(try a.map { try Term(JSON: $0) ?? die() }))
default:
return nil
}
} catch _ {
return nil
}
}
}
public enum Syntax<Recur, A>: CustomDebugStringConvertible, CustomDocConvertible {
case Empty
case Leaf(A)
@ -179,5 +96,3 @@ extension Syntax where Recur: Hashable, A: Hashable {
}
}
}
private struct E: ErrorType {}

88
prototype/doubt-swift/main.swift
View File

@ -3,7 +3,91 @@ import SourceKittenFramework
let arguments = BoundsCheckedArray(array: Process.arguments)
extension Term {
public protocol StringConvertible {
init(string: String)
}
extension String: StringConvertible {
public init(string: String) {
self = string
}
}
private struct Bail: ErrorType {}
extension Term where A: StringConvertible {
/// Constructs a Term representing `JSON`.
init?(JSON: Doubt.JSON) {
func bail<B>() throws -> B {
throw Bail()
}
do {
switch JSON {
case let .Dictionary(d) where d["key.name"] != nil:
let name = d["key.name"]?.string ?? ""
let substructure = d["key.substructure"]?.array ?? []
let kind = d["key.kind"]?.string
switch kind {
case
.Some("source.lang.swift.decl.class"),
.Some("source.lang.swift.decl.extension"),
.Some("source.lang.swift.decl.enum"),
.Some("source.lang.swift.decl.struct"):
self = .Branch([ .Leaf(A(string: name)), .Branch(try substructure.map { try Term(JSON: $0) ?? bail() }) ])
case .Some("source.lang.swift.decl.enumelement"):
fallthrough
case
.Some("source.lang.swift.decl.function.method.instance"),
.Some("source.lang.swift.decl.function.free"):
self = .Branch([ .Leaf(A(string: name)), .Branch(try substructure.map { try Term(JSON: $0) ?? bail() }) ])
case
.Some("source.lang.swift.decl.var.instance"),
.Some("source.lang.swift.decl.var.static"):
self = .Leaf(A(string: name))
default:
return nil
}
case let .Dictionary(d) where d["key.kind"]?.string == "source.lang.swift.decl.enumcase" && d["key.substructure"]?.array?.count == 1:
let substructure = d["key.substructure"]?.array ?? []
self = try Term(JSON: substructure[0]) ?? bail()
case let .Dictionary(d) where d["key.kind"]?.string == "source.lang.swift.syntaxtype.comment.mark":
self = .Empty
case .Null:
self = .Empty
default:
return nil
}
} catch _ {
return nil
}
}
/// Constructs a Term representing the `JSON` in a file at `path`.
init?(path: String, JSON: Doubt.JSON) {
func bail<B>() throws -> B {
throw Bail()
}
do {
switch JSON.dictionary?["key.substructure"] {
case let .Some(.Array(a)):
self = .Roll(.Branch(try a.map { try Term(JSON: $0) ?? bail() }))
default:
return nil
}
} catch _ {
return nil
}
}
}
extension Term where A: StringConvertible {
init?(path: String) {
guard path != "/dev/null" else {
self = .Empty
@ -18,6 +102,6 @@ extension Term {
}
}
if let a = arguments[1].flatMap(Term.init), b = arguments[2].flatMap(Term.init) {
if let a = arguments[1].flatMap(Term<String>.init), b = arguments[2].flatMap(Term<String>.init) {
print(String(reflecting: Diff(a, b)))
}