diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-19 21:22:01 +0200 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-19 22:11:37 +0200 |
| commit | 167e0470bc4562f77d46d8af8c0ef6794dfee693 (patch) | |
| tree | 8f647b4a6d6b412b9e912a4e0841a2898e830b13 /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend | |
| parent | Config language WIP (diff) | |
| parent | Merge branch 'master' of https://github.com/viatra/VIATRA-Generator (diff) | |
| download | VIATRA-Generator-167e0470bc4562f77d46d8af8c0ef6794dfee693.tar.gz VIATRA-Generator-167e0470bc4562f77d46d8af8c0ef6794dfee693.tar.zst VIATRA-Generator-167e0470bc4562f77d46d8af8c0ef6794dfee693.zip | |
Merge remote-tracking branch 'upstream/master'
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 | 2 |
1 files changed, 1 insertions, 1 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 91d3d286..cfb1f09b 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 | |||
| @@ -39,7 +39,7 @@ class ScriptConsole { | |||
| 39 | val statisticsHeaderBuffer = new LinkedHashSet<String> | 39 | val statisticsHeaderBuffer = new LinkedHashSet<String> |
| 40 | val statisticsDataBuffer = new LinkedList<Map<String,? extends Object>> | 40 | val statisticsDataBuffer = new LinkedList<Map<String,? extends Object>> |
| 41 | 41 | ||
| 42 | static val delimier = ';' | 42 | static val delimier = ',' |
| 43 | static val empty = "" | 43 | static val empty = "" |
| 44 | 44 | ||
| 45 | public new( | 45 | public new( |