blob: bb679bf656581ce89dd6ee256da924f09da8c1f0 (
plain) (
blame)
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
|
package ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator.graph
import ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator.metrics.Metric
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BinaryElementRelationLink
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl
import java.util.ArrayList
import java.util.List
class PartialInterpretationGraph extends Graph{
val typeToExclude = "undefinedpart";
val classSuffix = " class";
/**
* Define a new PartialInterpretationGraph by parse every element from a PartialInterpretation
*/
new(PartialInterpretation partial, List<Metric> metrics, String name){
//the edge types are defined in terms of RelationDeclaration
partial.problem.relations.filter(RelationDeclaration).forEach[
//only need the name of the reference type (remove everything with and after "reference")
var n = it.name.split(" ").get(0);
// TODO: Here is to only consider one part of opposite edges
//if(!n.equals('target') && !n.equals('source') /* && !n.equals('incomingTransitions')*/){
this.statistic.addEdgeType(n);
//}
]
// add all elements
val typeInterpretations = getTypes(partial);
for(type : typeInterpretations){
var typeName = type.interpretationOf.name.replace(classSuffix, '');
for(node : type.elements){
this.statistic.addNodeWithType(node, typeName);
}
}
for(relationInterpretation : partial.partialrelationinterpretation) {
//only need the name of the reference type (remove everything with and after "reference")
val type = relationInterpretation.interpretationOf.name.split(" ").get(0);
// TODO: Here is to only consider one part of opposite edges
//if(!type.equals('target') && !type.equals('source') /*&& !type.equals('incomingTransitions')*/){
for(edge : relationInterpretation.relationlinks.filter(BinaryElementRelationLink)){
statistic.addEdge(edge.param1, edge.param2, type);
}
//}
}
this.name = name;
this.metrics = metrics;
}
/**
* Set basic information for the output
*/
override setBasicInformation(ArrayList<ArrayList<String>> output){
val metaInfo = new ArrayList<String>();
metaInfo.add(META_MODEL_HEADER);
metaInfo.add(this.metaModel);
val edgeInfo = new ArrayList<String>();
edgeInfo.add(NUM_EDGE_TYPE_HEADER);
edgeInfo.add(this.statistic.allTypes.size()+"");
val nodeInfo = new ArrayList<String>();
nodeInfo.add(NUM_NODE_HEADER);
nodeInfo.add(this.statistic.allNodes.size()+"");
val stateInfo = new ArrayList<String>();
stateInfo.add(STATE_ID_HEADER);
stateInfo.add(this.name);
output.add(metaInfo);
output.add(edgeInfo);
output.add(nodeInfo);
output.add(stateInfo);
}
private def getTypes(PartialInterpretation partial){
//only the complex type interpretations are the ones defined in meta model
//do not care about undefined types as it will be included in the class type
return partial.partialtypeinterpratation.filter(PartialComplexTypeInterpretationImpl)
.filter[!it.interpretationOf.name.toLowerCase.contains(typeToExclude)];
}
override getStatistic() {
throw new UnsupportedOperationException("TODO: auto-generated method stub")
}
override getName() {
return name;
}
}
|