Migrating Additional projects

author: OszkarSemerath <oszka@152.66.252.189> 2017-06-10 19:05:05 +0200
committer: OszkarSemerath <oszka@152.66.252.189> 2017-06-10 19:05:05 +0200
commit: 60f01f46ba232ed6416054f0a6115cb2a9b70b4e (patch)
tree: 5edf8aeb07abc51f3fec63bbd15c926e1de09552 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/statistics
parent: Initial commit, migrating from SVN (diff)
download: VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.tar.gz
VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.tar.zst
VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.zip
2 files changed, 112 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/statistics/StatisticSections2CSV.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/statistics/StatisticSections2CSV.xtend
new file mode 100644
index 00000000..442de6d9
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/statistics/StatisticSections2CSV.xtend
@@ -0,0 +1,89 @@
+package hu.bme.mit.inf.dslreasoner.logic.model.statistics
+import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry
+import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry
+import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics
+import java.util.ArrayList
+import java.util.HashMap
+import java.util.LinkedList
+import java.util.List
+import java.util.Map
+class StatisticsData {
+        public var List<Pair<String,String>> inputConfiguration
+        public var List<Pair<String,String>> outputMetrics
+        public var Statistics solverStatistics
+}
+class StatisticSections2CSV {
+        static val separator = ';'
+        static val empty = ""
+        
+        private def getValue(Map<String, String> map,String key) {
+                if(map.containsKey(key)) return map.get(key)
+                else return empty
+        }
+        private def addKey(List<String> list, String newValue) {
+                if(! list.contains(newValue)) list+=newValue
+        }
+        
+        public def CharSequence transformStatisticDatas2CSV(
+                List<StatisticsData> statistics)
+        {
+                val inputConfigurationColumns = new LinkedList
+                val inputConfigurationValues = new ArrayList(statistics.length)
+                val solverStatisticColumns = new LinkedList
+                val solverStatisticValues = new ArrayList(statistics.length)
+                val outputMetricColumns = new LinkedList
+                val outputMetricValues = new ArrayList(statistics.length)
+                
+                statistics.map[inputConfiguration].indexColumnsForPairs(inputConfigurationColumns, inputConfigurationValues)
+                statistics.map[it.solverStatistics].indexColumnsForEntries(solverStatisticColumns, solverStatisticValues)
+                statistics.map[outputMetrics].indexColumnsForPairs(outputMetricColumns,outputMetricValues)
+                                
+                return '''
+                ID« // Header
+                IF inputConfigurationColumns.length>0»«separator»«FOR name : inputConfigurationColumns SEPARATOR separator»«name»«ENDFOR»«ENDIF»«
+                separator»Transformation_Time«separator»Solver_Time«separator»Solver_Memory«
+                IF solverStatisticColumns.length>0»«separator»«ENDIF»«
+                FOR name:solverStatisticColumns SEPARATOR separator»«name»«ENDFOR»«
+                IF outputMetricColumns.length>0»«separator»«ENDIF»«
+                FOR name:outputMetricColumns SEPARATOR separator»«name»«ENDFOR»
+                « // Table
+                FOR index : 0..<statistics.size»
+                «index+1 /*ID*/»«
+                        IF inputConfigurationColumns.size>0»«separator»«ENDIF»«
+                        FOR name : inputConfigurationColumns SEPARATOR separator»«inputConfigurationValues.get(index).getValue(name)»«ENDFOR»«
+                                separator»«statistics.get(index).solverStatistics.transformationTime»«
+                                separator»«statistics.get(index).solverStatistics.solverTime»«
+                                separator»«statistics.get(index).solverStatistics.solverMemory»«
+                        IF solverStatisticColumns.size>0»«separator»«ENDIF»«
+                        FOR name:solverStatisticColumns SEPARATOR separator»«solverStatisticValues.get(index).getValue(name)»«ENDFOR»«
+                        IF outputMetricColumns.size>0»«separator»«ENDIF»«
+                        FOR name:outputMetricColumns SEPARATOR separator»«outputMetricValues.get(index).getValue(name)»«ENDFOR»
+                «ENDFOR»'''
+        }
+        
+        def private indexColumnsForPairs(List<List<Pair<String, String>>> datas, List<String> columns, List<Map<String, String>> values) {
+                for(inputConfiguration : datas) {
+                        val map = new HashMap
+                        for(entry : inputConfiguration) {
+                                columns.addKey(entry.key)
+                                map.put(entry.key,entry.value)  
+                        }
+                        values+=map
+                }
+        }
+        def private indexColumnsForEntries(List<Statistics> datas, List<String> columns, List<Map<String, String>> values) {
+                for(inputConfiguration : datas) {
+                        val map = new HashMap
+                        for(entry : inputConfiguration.entries) {
+                                columns.addKey(entry.name)
+                                map.put(entry.name,entry.readValue)     
+                        }
+                        values+=map
+                }
+        }
+        private def dispatch String readValue(IntStatisticEntry e) { return e.value.toString }
+        private def dispatch String readValue(RealStatisticEntry e){ return e.value.toString }
+}
+\ No newline at end of file
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/statistics/StatisticSections2Print.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/statistics/StatisticSections2Print.xtend
new file mode 100644
index 00000000..08efa811
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/statistics/StatisticSections2Print.xtend
@@ -0,0 +1,23 @@
+package hu.bme.mit.inf.dslreasoner.logic.model.statistics
+import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry
+import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry
+import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry
+import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry
+import java.util.List
+class StatisticSections2Print {
+        public def CharSequence transformStatisticDatas2CSV(
+                List<StatisticEntry> statistics)
+        {
+                var result = "";
+                for(statistic : statistics) {
+                        result+= '''«statistic.readValue»;'''
+                }
+                return result
+        }
+        
+        private def dispatch String readValue(IntStatisticEntry e) { return e.value.toString }
+        private def dispatch String readValue(RealStatisticEntry e){ return e.value.toString }
+        private def dispatch String readValue(StringStatisticEntry e) { return "\n" + e.value }
+}
+\ No newline at end of file
author	OszkarSemerath <oszka@152.66.252.189>	2017-06-10 19:05:05 +0200
committer	OszkarSemerath <oszka@152.66.252.189>	2017-06-10 19:05:05 +0200
commit	60f01f46ba232ed6416054f0a6115cb2a9b70b4e (patch)
tree	5edf8aeb07abc51f3fec63bbd15c926e1de09552 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/statistics
parent	Initial commit, migrating from SVN (diff)
download	VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.tar.gz VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.tar.zst VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.zip

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/statistics/StatisticSections2CSV.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/statistics/StatisticSections2CSV.xtend new file mode 100644 index 00000000..442de6d9 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/statistics/StatisticSections2CSV.xtend
@@ -0,0 +1,89 @@
	1	package hu.bme.mit.inf.dslreasoner.logic.model.statistics
	2
	3	import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry
	4	import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry
	5	import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics
	6	import java.util.ArrayList
	7	import java.util.HashMap
	8	import java.util.LinkedList
	9	import java.util.List
	10	import java.util.Map
	11
	12	class StatisticsData {
	13	public var List<Pair<String,String>> inputConfiguration
	14	public var List<Pair<String,String>> outputMetrics
	15	public var Statistics solverStatistics
	16	}
	17
	18	class StatisticSections2CSV {
	19	static val separator = ';'
	20	static val empty = ""
	21
	22	private def getValue(Map<String, String> map,String key) {
	23	if(map.containsKey(key)) return map.get(key)
	24	else return empty
	25	}
	26	private def addKey(List<String> list, String newValue) {
	27	if(! list.contains(newValue)) list+=newValue
	28	}
	29
	30	public def CharSequence transformStatisticDatas2CSV(
	31	List<StatisticsData> statistics)
	32	{
	33	val inputConfigurationColumns = new LinkedList
	34	val inputConfigurationValues = new ArrayList(statistics.length)
	35	val solverStatisticColumns = new LinkedList
	36	val solverStatisticValues = new ArrayList(statistics.length)
	37	val outputMetricColumns = new LinkedList
	38	val outputMetricValues = new ArrayList(statistics.length)
	39
	40	statistics.map[inputConfiguration].indexColumnsForPairs(inputConfigurationColumns, inputConfigurationValues)
	41	statistics.map[it.solverStatistics].indexColumnsForEntries(solverStatisticColumns, solverStatisticValues)
	42	statistics.map[outputMetrics].indexColumnsForPairs(outputMetricColumns,outputMetricValues)
	43
	44	return '''
	45	ID« // Header
	46	IF inputConfigurationColumns.length>0»«separator»«FOR name : inputConfigurationColumns SEPARATOR separator»«name»«ENDFOR»«ENDIF»«
	47	separator»Transformation_Time«separator»Solver_Time«separator»Solver_Memory«
	48	IF solverStatisticColumns.length>0»«separator»«ENDIF»«
	49	FOR name:solverStatisticColumns SEPARATOR separator»«name»«ENDFOR»«
	50	IF outputMetricColumns.length>0»«separator»«ENDIF»«
	51	FOR name:outputMetricColumns SEPARATOR separator»«name»«ENDFOR»
	52	« // Table
	53	FOR index : 0..<statistics.size»
	54	«index+1 /ID/»«
	55	IF inputConfigurationColumns.size>0»«separator»«ENDIF»«
	56	FOR name : inputConfigurationColumns SEPARATOR separator»«inputConfigurationValues.get(index).getValue(name)»«ENDFOR»«
	57	separator»«statistics.get(index).solverStatistics.transformationTime»«
	58	separator»«statistics.get(index).solverStatistics.solverTime»«
	59	separator»«statistics.get(index).solverStatistics.solverMemory»«
	60	IF solverStatisticColumns.size>0»«separator»«ENDIF»«
	61	FOR name:solverStatisticColumns SEPARATOR separator»«solverStatisticValues.get(index).getValue(name)»«ENDFOR»«
	62	IF outputMetricColumns.size>0»«separator»«ENDIF»«
	63	FOR name:outputMetricColumns SEPARATOR separator»«outputMetricValues.get(index).getValue(name)»«ENDFOR»
	64	«ENDFOR»'''
	65	}
	66
	67	def private indexColumnsForPairs(List<List<Pair<String, String>>> datas, List<String> columns, List<Map<String, String>> values) {
	68	for(inputConfiguration : datas) {
	69	val map = new HashMap
	70	for(entry : inputConfiguration) {
	71	columns.addKey(entry.key)
	72	map.put(entry.key,entry.value)
	73	}
	74	values+=map
	75	}
	76	}
	77	def private indexColumnsForEntries(List<Statistics> datas, List<String> columns, List<Map<String, String>> values) {
	78	for(inputConfiguration : datas) {
	79	val map = new HashMap
	80	for(entry : inputConfiguration.entries) {
	81	columns.addKey(entry.name)
	82	map.put(entry.name,entry.readValue)
	83	}
	84	values+=map
	85	}
	86	}
	87	private def dispatch String readValue(IntStatisticEntry e) { return e.value.toString }
	88	private def dispatch String readValue(RealStatisticEntry e){ return e.value.toString }
	89	} \ No newline at end of file


diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/statistics/StatisticSections2Print.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/statistics/StatisticSections2Print.xtend new file mode 100644 index 00000000..08efa811 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/statistics/StatisticSections2Print.xtend
@@ -0,0 +1,23 @@
	1	package hu.bme.mit.inf.dslreasoner.logic.model.statistics
	2
	3	import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry
	4	import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry
	5	import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry
	6	import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry
	7	import java.util.List
	8
	9	class StatisticSections2Print {
	10	public def CharSequence transformStatisticDatas2CSV(
	11	List<StatisticEntry> statistics)
	12	{
	13	var result = "";
	14	for(statistic : statistics) {
	15	result+= '''«statistic.readValue»;'''
	16	}
	17	return result
	18	}
	19
	20	private def dispatch String readValue(IntStatisticEntry e) { return e.value.toString }
	21	private def dispatch String readValue(RealStatisticEntry e){ return e.value.toString }
	22	private def dispatch String readValue(StringStatisticEntry e) { return "\n" + e.value }
	23	} \ No newline at end of file