1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
|
package hu.bme.mit.inf.dslreasoner.application.ui.execute
import hu.bme.mit.inf.dslreasoner.application.execution.ScriptConsole
import hu.bme.mit.inf.dslreasoner.application.execution.ScriptConsoleDecorator
import java.util.concurrent.CompletableFuture
import org.eclipse.emf.common.util.URI
import org.eclipse.jface.text.BadLocationException
import org.eclipse.jface.text.DocumentEvent
import org.eclipse.jface.text.IDocumentListener
import org.eclipse.swt.graphics.Color
import org.eclipse.ui.console.ConsolePlugin
import org.eclipse.ui.console.MessageConsole
import org.eclipse.ui.console.MessageConsoleStream
class RuntimeConsoleBasedScriptConsole extends ScriptConsole {
/**
* Console is identified with the name of this class.
*/
static val consoleID = ScriptConsole.name
val MessageConsole runtimeConsole
new(boolean cleanFiles, URI messageConsoleURI, URI errorConsoleURI, URI statisticsConsoleURI) {
super(!hasConsolePlugin, cleanFiles, messageConsoleURI, errorConsoleURI, statisticsConsoleURI)
runtimeConsole = prepareRuntimeConsole
writeErrorMessagesDuringInitialisation()
}
override writeMessage(CharSequence message, String separator, ScriptConsoleDecorator[] decorators) {
super.writeMessage(message, separator, decorators)
if (runtimeConsole !== null) {
writeToRuntimeConsole(message, separator, decorators)
}
}
override writeMessage(String message) {
super.writeMessage(message)
if (runtimeConsole !== null) {
writeToRuntimeConsole(message)
}
}
override writeError(CharSequence message, String separator, ScriptConsoleDecorator[] decorators) {
super.writeError(message, separator, decorators)
if (runtimeConsole !== null) {
writeToRuntimeConsole(message, separator, decorators)
}
}
override writeError(String message) {
super.writeError(message)
if (runtimeConsole !== null) {
writeToRuntimeConsole(message)
}
}
private def MessageConsole prepareRuntimeConsole() {
val plugin = ConsolePlugin.getDefault();
if (plugin === null) {
return null
} else {
val conMan = plugin.getConsoleManager();
val existingConsoles = conMan.getConsoles();
val existingConsolesWithID = existingConsoles.filter[it.name.equals(consoleID)]
if (existingConsolesWithID.empty) {
val MessageConsole res = new MessageConsole(consoleID, null)
conMan.addConsoles(#[res]);
return res
} else {
return existingConsolesWithID.head as MessageConsole
}
}
}
private def writeToRuntimeConsole(CharSequence message) {
// 1. reveal the console view
ConsolePlugin.getDefault().getConsoleManager().showConsoleView(this.runtimeConsole);
val stream = this.runtimeConsole.newMessageStream
stream.println(message.toString)
stream.close
}
private def writeToRuntimeConsole(CharSequence message, String separator, ScriptConsoleDecorator[] decorators) {
val messageString = message.toString
// 0. split the message
val separatedMessage = if (messageString.startsWith(separator)) {
#[""] + messageString.split(separator, -1)
} else {
messageString.split(separator, -1).toList
}
if (separatedMessage.size - 1 !== decorators.size) {
throw new IllegalArgumentException
}
// 1. reveal the console view
ConsolePlugin.getDefault().getConsoleManager().showConsoleView(this.runtimeConsole);
val stream = this.runtimeConsole.newMessageStream
// 2. print the segments of the view
for (i : 0 ..< decorators.size) {
stream.print(separatedMessage.get(i))
writeDecoratedTextToRuntimeConsole(decorators.get(i), stream)
}
// 2.1 write the last segment of
stream.println(separatedMessage.last)
// stream.println(message.toString)
stream.close
}
private def writeDecoratedTextToRuntimeConsole(ScriptConsoleDecorator message, MessageConsoleStream stream) {
val originalBackgroundColor = this.runtimeConsole.background
var Color newColor = null;
val text = '''[«message.text»]'''
if (message.red >= 0 && message.green >= 0 && message.blue >= 0) {
newColor = new Color(originalBackgroundColor.device, message.red, message.green, message.blue)
this.runtimeConsole.setBackground(newColor)
}
stream.flush
val CompletableFuture<Boolean> finished = new CompletableFuture<Boolean>
val listener = new IDocumentListener() {
override documentAboutToBeChanged(DocumentEvent event) {}
override documentChanged(DocumentEvent event) {
// println('''ftext="«event.fText»", message="«message.text»" endswith=«event.fText.endsWith(message.text)»''')
if (event.fText.endsWith(text)) {
val from = event.fDocument.length - text.length + 1
val length = message.text.length
// println('''from: «from» length «length»''')
try {
runtimeConsole.addHyperlink(
new ScriptConsoleFileHiperlink(message.hyperlink),
from,
length
)
// println("link added")
} catch (BadLocationException e) {
} finally {
runtimeConsole.document.removeDocumentListener(this)
finished.complete(true)
}
}
}
}
runtimeConsole.document.addDocumentListener(listener)
stream.print(text)
stream.flush
finished.get
// stream.console.new
if (message.red >= 0 && message.green >= 0 && message.blue >= 0) {
newColor.dispose
this.runtimeConsole.setBackground(originalBackgroundColor)
}
}
private static def hasConsolePlugin() {
ConsolePlugin.getDefault() !== null
}
public static val FACTORY = new ScriptConsole.Factory {
override createScriptConsole(boolean cleanFiles, URI messageConsoleURI, URI errorConsoleURI,
URI statisticsConsoleURI) {
new RuntimeConsoleBasedScriptConsole(cleanFiles, messageConsoleURI, errorConsoleURI, statisticsConsoleURI)
}
}
}
|