diff options
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.xtend | 8 |
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 |