aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend
diff options
context:
space:
mode:
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend')
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend8
1 files changed, 4 insertions, 4 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend
index 0f89ba1e..2ce86a78 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend
@@ -88,7 +88,7 @@ abstract class ScriptConsole {
88 88
89 def writeStatistics(LinkedHashMap<String, ? extends Object> statistics) { 89 def writeStatistics(LinkedHashMap<String, ? extends Object> statistics) {
90 if (statisticsWorkspace !== null) { 90 if (statisticsWorkspace !== null) {
91 val message = ''' 91 val message = '''
92 «FOR key : statistics.keySet SEPARATOR delimier»«key»«ENDFOR» 92 «FOR key : statistics.keySet SEPARATOR delimier»«key»«ENDFOR»
93 «FOR value : statistics.values SEPARATOR delimier»«value»«ENDFOR»''' 93 «FOR value : statistics.values SEPARATOR delimier»«value»«ENDFOR»'''
94 statisticsWorkspace.writeText(statisticsFileName, message); 94 statisticsWorkspace.writeText(statisticsFileName, message);
@@ -104,11 +104,11 @@ abstract class ScriptConsole {
104 104
105 def flushStatistics() { 105 def flushStatistics() {
106 if (statisticsWorkspace !== null) { 106 if (statisticsWorkspace !== null) {
107 val message = ''' 107 val message = '''
108 «FOR key : statisticsHeaderBuffer SEPARATOR delimier»«key»«ENDFOR» 108 «FOR key : statisticsHeaderBuffer SEPARATOR delimier»«key»«ENDFOR»
109 «FOR line : statisticsDataBuffer» 109 «FOR line : statisticsDataBuffer»
110 «FOR key : statisticsHeaderBuffer SEPARATOR delimier»«IF line.containsKey(key)»«line.get(key)»«ELSE»«empty»«ENDIF»«ENDFOR» 110 «FOR key : statisticsHeaderBuffer SEPARATOR delimier»«IF line.containsKey(key)»«line.get(key)»«ELSE»«empty»«ENDIF»«ENDFOR»
111 «ENDFOR» 111 «ENDFOR»
112 ''' 112 '''
113 statisticsWorkspace.writeText(statisticsFileName, message); 113 statisticsWorkspace.writeText(statisticsFileName, message);
114 statisticsHeaderBuffer.clear 114 statisticsHeaderBuffer.clear