diff options
author | 2019-03-21 14:31:44 +0100 | |
---|---|---|
committer | 2019-03-21 14:31:44 +0100 | |
commit | 809dbbbcd1093504a1b49bdb4649fc5f3c6a2bf5 (patch) | |
tree | 14333a7f3a9bbd6d74be76cce5b6abcd44c11d9d /Application/hu.bme.mit.inf.dslreasoner.application.ui/src/hu/bme/mit/inf/dslreasoner/application/ui/execute/ScriptConsoleFileHiperlink.xtend | |
parent | Fault tree transformation for partial models WIP (diff) | |
download | VIATRA-Generator-809dbbbcd1093504a1b49bdb4649fc5f3c6a2bf5.tar.gz VIATRA-Generator-809dbbbcd1093504a1b49bdb4649fc5f3c6a2bf5.tar.zst VIATRA-Generator-809dbbbcd1093504a1b49bdb4649fc5f3c6a2bf5.zip |
Clean up dependencies of the application configuration plugin
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application.ui/src/hu/bme/mit/inf/dslreasoner/application/ui/execute/ScriptConsoleFileHiperlink.xtend')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application.ui/src/hu/bme/mit/inf/dslreasoner/application/ui/execute/ScriptConsoleFileHiperlink.xtend | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ui/src/hu/bme/mit/inf/dslreasoner/application/ui/execute/ScriptConsoleFileHiperlink.xtend b/Application/hu.bme.mit.inf.dslreasoner.application.ui/src/hu/bme/mit/inf/dslreasoner/application/ui/execute/ScriptConsoleFileHiperlink.xtend new file mode 100644 index 00000000..16d78a31 --- /dev/null +++ b/Application/hu.bme.mit.inf.dslreasoner.application.ui/src/hu/bme/mit/inf/dslreasoner/application/ui/execute/ScriptConsoleFileHiperlink.xtend | |||
@@ -0,0 +1,28 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.application.ui.execute | ||
2 | |||
3 | import java.io.File | ||
4 | import java.net.URI | ||
5 | import org.eclipse.core.filesystem.EFS | ||
6 | import org.eclipse.ui.PlatformUI | ||
7 | import org.eclipse.ui.console.IHyperlink | ||
8 | import org.eclipse.ui.ide.IDE | ||
9 | |||
10 | class ScriptConsoleFileHiperlink implements IHyperlink { | ||
11 | |||
12 | val URI path | ||
13 | |||
14 | new(File file) { | ||
15 | this.path = file.toURI() | ||
16 | } | ||
17 | |||
18 | override linkActivated() { | ||
19 | // println("open path: "+path.toString) | ||
20 | val page = PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage(); | ||
21 | val fileStore = EFS.getStore(path) | ||
22 | IDE.openEditorOnFileStore(page, fileStore) | ||
23 | } | ||
24 | |||
25 | override linkEntered() {} | ||
26 | |||
27 | override linkExited() {} | ||
28 | } | ||