github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 09:15:01 +03:00
Code Issues Projects Releases Wiki Activity

Open the URL of the UI.

Browse Source
This commit is contained in:
Rob Rix 2015-10-27 18:53:48 -04:00
parent bf5b5616d5
commit 8fbc71270e
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
prototype/doubt-difftool/main.swift
View File

@ -34,7 +34,7 @@ func termWithInput(string: String) -> Term? {
} }
let arguments = BoundsCheckedArray(array: Process.arguments) let arguments = BoundsCheckedArray(array: Process.arguments)
if let aString = arguments[1].flatMap(readFile), bString = arguments[2].flatMap(readFile), c = arguments[3] { if let aString = arguments[1].flatMap(readFile), bString = arguments[2].flatMap(readFile), c = arguments[3], ui = arguments[4] {
if let a = termWithInput(aString), b = termWithInput(bString) { if let a = termWithInput(aString), b = termWithInput(bString) {
let diff = Interpreter<Term>(equal: Term.equals(annotation: const(true), leaf: ==), comparable: const(true), cost: Free.sum(Patch.difference)).run(a, b) let diff = Interpreter<Term>(equal: Term.equals(annotation: const(true), leaf: ==), comparable: const(true), cost: Free.sum(Patch.difference)).run(a, b)
let range: Range<Int> -> Doubt.JSON = { let range: Range<Int> -> Doubt.JSON = {
@ -57,5 +57,12 @@ if let aString = arguments[1].flatMap(readFile), bString = arguments[2].flatMap(
] ]
let data = JSON.serialize() let data = JSON.serialize()
try data.writeToFile(c, options: .DataWritingAtomic) try data.writeToFile(c, options: .DataWritingAtomic)
let components = NSURLComponents()
components.scheme = "file"
components.path = ui
if let URL = components.URL {
NSWorkspace.sharedWorkspace().openURL(URL)
}
} }
} }