diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-08-26 21:44:58 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-08-26 22:01:33 +0200 |
commit | a49083f31679c47e1685e0cedbc9a40cc8f48fd8 (patch) | |
tree | d0702f26342297f54124900ecfc52e04c3e16d6f /subprojects/language-semantics/src | |
parent | feat(frontend): automatic fit zoom (diff) | |
download | refinery-a49083f31679c47e1685e0cedbc9a40cc8f48fd8.tar.gz refinery-a49083f31679c47e1685e0cedbc9a40cc8f48fd8.tar.zst refinery-a49083f31679c47e1685e0cedbc9a40cc8f48fd8.zip |
refactor(frontent): improve graph drawing
Diffstat (limited to 'subprojects/language-semantics/src')
12 files changed, 263 insertions, 16 deletions
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/BuiltInDetail.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/BuiltInDetail.java new file mode 100644 index 00000000..6f706069 --- /dev/null +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/BuiltInDetail.java | |||
@@ -0,0 +1,10 @@ | |||
1 | /* | ||
2 | * SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/> | ||
3 | * | ||
4 | * SPDX-License-Identifier: EPL-2.0 | ||
5 | */ | ||
6 | package tools.refinery.language.semantics.metadata; | ||
7 | |||
8 | public record BuiltInDetail() implements RelationDetail { | ||
9 | public static final BuiltInDetail INSTANCE = new BuiltInDetail(); | ||
10 | } | ||
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/ClassDetail.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/ClassDetail.java new file mode 100644 index 00000000..1d3190f5 --- /dev/null +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/ClassDetail.java | |||
@@ -0,0 +1,16 @@ | |||
1 | /* | ||
2 | * SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/> | ||
3 | * | ||
4 | * SPDX-License-Identifier: EPL-2.0 | ||
5 | */ | ||
6 | package tools.refinery.language.semantics.metadata; | ||
7 | |||
8 | public record ClassDetail(boolean abstractClass) implements RelationDetail { | ||
9 | public static final ClassDetail CONCRETE_CLASS = new ClassDetail(false); | ||
10 | |||
11 | public static final ClassDetail ABSTRACT_CLASS = new ClassDetail(true); | ||
12 | |||
13 | public static ClassDetail ofAbstractClass(boolean abstractClass) { | ||
14 | return abstractClass ? ABSTRACT_CLASS : CONCRETE_CLASS; | ||
15 | } | ||
16 | } | ||
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/Metadata.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/Metadata.java index 811ac2c0..d2dcb43a 100644 --- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/Metadata.java +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/Metadata.java | |||
@@ -6,7 +6,7 @@ | |||
6 | package tools.refinery.language.semantics.metadata; | 6 | package tools.refinery.language.semantics.metadata; |
7 | 7 | ||
8 | public sealed interface Metadata permits NodeMetadata, RelationMetadata { | 8 | public sealed interface Metadata permits NodeMetadata, RelationMetadata { |
9 | String fullyQualifiedName(); | 9 | String name(); |
10 | 10 | ||
11 | String simpleName(); | 11 | String simpleName(); |
12 | } | 12 | } |
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/MetadataCreator.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/MetadataCreator.java new file mode 100644 index 00000000..0c18b1b3 --- /dev/null +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/MetadataCreator.java | |||
@@ -0,0 +1,181 @@ | |||
1 | /* | ||
2 | * SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/> | ||
3 | * | ||
4 | * SPDX-License-Identifier: EPL-2.0 | ||
5 | */ | ||
6 | package tools.refinery.language.semantics.metadata; | ||
7 | |||
8 | import com.google.inject.Inject; | ||
9 | import org.eclipse.emf.ecore.EObject; | ||
10 | import org.eclipse.xtext.naming.IQualifiedNameConverter; | ||
11 | import org.eclipse.xtext.naming.IQualifiedNameProvider; | ||
12 | import org.eclipse.xtext.naming.QualifiedName; | ||
13 | import org.eclipse.xtext.scoping.IScope; | ||
14 | import org.eclipse.xtext.scoping.IScopeProvider; | ||
15 | import tools.refinery.language.model.problem.*; | ||
16 | import tools.refinery.language.semantics.model.ModelInitializer; | ||
17 | import tools.refinery.language.semantics.model.TracedException; | ||
18 | import tools.refinery.language.utils.ProblemUtil; | ||
19 | import tools.refinery.store.reasoning.representation.PartialRelation; | ||
20 | |||
21 | import java.util.*; | ||
22 | |||
23 | public class MetadataCreator { | ||
24 | @Inject | ||
25 | private IScopeProvider scopeProvider; | ||
26 | |||
27 | @Inject | ||
28 | private IQualifiedNameProvider qualifiedNameProvider; | ||
29 | |||
30 | @Inject | ||
31 | private IQualifiedNameConverter qualifiedNameConverter; | ||
32 | |||
33 | private ModelInitializer initializer; | ||
34 | |||
35 | private IScope nodeScope; | ||
36 | |||
37 | private IScope relationScope; | ||
38 | |||
39 | public void setInitializer(ModelInitializer initializer) { | ||
40 | if (initializer == null) { | ||
41 | throw new IllegalArgumentException("Initializer was already set"); | ||
42 | } | ||
43 | this.initializer = initializer; | ||
44 | var problem = initializer.getProblem(); | ||
45 | nodeScope = scopeProvider.getScope(problem, ProblemPackage.Literals.NODE_ASSERTION_ARGUMENT__NODE); | ||
46 | relationScope = scopeProvider.getScope(problem, ProblemPackage.Literals.ASSERTION__RELATION); | ||
47 | } | ||
48 | |||
49 | public List<NodeMetadata> getNodesMetadata() { | ||
50 | var nodes = new NodeMetadata[initializer.getNodeCount()]; | ||
51 | for (var entry : initializer.getNodeTrace().keyValuesView()) { | ||
52 | var node = entry.getOne(); | ||
53 | var id = entry.getTwo(); | ||
54 | nodes[id] = getNodeMetadata(node); | ||
55 | } | ||
56 | return List.of(nodes); | ||
57 | } | ||
58 | |||
59 | private NodeMetadata getNodeMetadata(Node node) { | ||
60 | var qualifiedName = getQualifiedName(node); | ||
61 | var simpleName = getSimpleName(node, qualifiedName, nodeScope); | ||
62 | return new NodeMetadata(qualifiedNameConverter.toString(qualifiedName), | ||
63 | qualifiedNameConverter.toString(simpleName), getNodeKind(node)); | ||
64 | } | ||
65 | |||
66 | private NodeKind getNodeKind(Node node) { | ||
67 | if (ProblemUtil.isImplicitNode(node)) { | ||
68 | return NodeKind.IMPLICIT; | ||
69 | } else if (ProblemUtil.isIndividualNode(node)) { | ||
70 | return NodeKind.INDIVIDUAL; | ||
71 | } else if (ProblemUtil.isNewNode(node)) { | ||
72 | return NodeKind.NEW; | ||
73 | } else { | ||
74 | throw new TracedException(node, "Unknown node type"); | ||
75 | } | ||
76 | } | ||
77 | |||
78 | public List<RelationMetadata> getRelationsMetadata() { | ||
79 | var relationTrace = initializer.getRelationTrace(); | ||
80 | var relations = new ArrayList<RelationMetadata>(relationTrace.size()); | ||
81 | for (var entry : relationTrace.entrySet()) { | ||
82 | var relation = entry.getKey(); | ||
83 | var partialRelation = entry.getValue(); | ||
84 | var metadata = getRelationMetadata(relation, partialRelation); | ||
85 | relations.add(metadata); | ||
86 | } | ||
87 | return Collections.unmodifiableList(relations); | ||
88 | } | ||
89 | |||
90 | private RelationMetadata getRelationMetadata(Relation relation, PartialRelation partialRelation) { | ||
91 | var qualifiedName = getQualifiedName(relation); | ||
92 | var qualifiedNameString = qualifiedNameConverter.toString(qualifiedName); | ||
93 | var simpleName = getSimpleName(relation, qualifiedName, relationScope); | ||
94 | var simpleNameString = qualifiedNameConverter.toString(simpleName); | ||
95 | var arity = partialRelation.arity(); | ||
96 | var detail = getRelationDetail(relation, partialRelation); | ||
97 | return new RelationMetadata(qualifiedNameString, simpleNameString, arity, detail); | ||
98 | } | ||
99 | |||
100 | private RelationDetail getRelationDetail(Relation relation, PartialRelation partialRelation) { | ||
101 | if (ProblemUtil.isBuiltIn(relation) && !ProblemUtil.isError(relation)) { | ||
102 | return getBuiltInDetail(); | ||
103 | } | ||
104 | if (relation instanceof ClassDeclaration classDeclaration) { | ||
105 | return getClassDetail(classDeclaration); | ||
106 | } else if (relation instanceof ReferenceDeclaration) { | ||
107 | return getReferenceDetail(partialRelation); | ||
108 | } else if (relation instanceof EnumDeclaration) { | ||
109 | return getEnumDetail(); | ||
110 | } else if (relation instanceof PredicateDefinition predicateDefinition) { | ||
111 | return getPredicateDetail(predicateDefinition); | ||
112 | } else { | ||
113 | throw new TracedException(relation, "Unknown relation"); | ||
114 | } | ||
115 | } | ||
116 | |||
117 | private RelationDetail getBuiltInDetail() { | ||
118 | return BuiltInDetail.INSTANCE; | ||
119 | } | ||
120 | |||
121 | private RelationDetail getClassDetail(ClassDeclaration classDeclaration) { | ||
122 | return ClassDetail.ofAbstractClass(classDeclaration.isAbstract()); | ||
123 | } | ||
124 | |||
125 | private RelationDetail getReferenceDetail(PartialRelation partialRelation) { | ||
126 | var metamodel = initializer.getMetamodel(); | ||
127 | var opposite = metamodel.oppositeReferences().get(partialRelation); | ||
128 | if (opposite == null) { | ||
129 | boolean isContainment = metamodel.containmentHierarchy().containsKey(partialRelation); | ||
130 | return ReferenceDetail.ofContainment(isContainment); | ||
131 | } else { | ||
132 | boolean isContainer = metamodel.containmentHierarchy().containsKey(opposite); | ||
133 | return new OppositeReferenceDetail(isContainer, opposite.name()); | ||
134 | } | ||
135 | } | ||
136 | |||
137 | private RelationDetail getEnumDetail() { | ||
138 | return ClassDetail.CONCRETE_CLASS; | ||
139 | } | ||
140 | |||
141 | private RelationDetail getPredicateDetail(PredicateDefinition predicate) { | ||
142 | return PredicateDetail.ofError(predicate.isError()); | ||
143 | } | ||
144 | |||
145 | private QualifiedName getQualifiedName(EObject eObject) { | ||
146 | var qualifiedName = qualifiedNameProvider.getFullyQualifiedName(eObject); | ||
147 | if (qualifiedName == null) { | ||
148 | throw new TracedException(eObject, "Unknown qualified name"); | ||
149 | } | ||
150 | return qualifiedName; | ||
151 | } | ||
152 | |||
153 | private QualifiedName getSimpleName(EObject eObject, QualifiedName qualifiedName, IScope scope) { | ||
154 | var descriptions = scope.getElements(eObject); | ||
155 | var names = new HashSet<QualifiedName>(); | ||
156 | for (var description : descriptions) { | ||
157 | // {@code getQualifiedName()} will refer to the full name for objects that are loaded from the global | ||
158 | // scope, but {@code getName()} returns the qualified name that we set in | ||
159 | // {@code ProblemResourceDescriptionStrategy}. | ||
160 | names.add(description.getName()); | ||
161 | } | ||
162 | var iterator = names.stream().sorted(Comparator.comparingInt(QualifiedName::getSegmentCount)).iterator(); | ||
163 | while (iterator.hasNext()) { | ||
164 | var simpleName = iterator.next(); | ||
165 | if (names.contains(simpleName) && isUnique(scope, simpleName)) { | ||
166 | return simpleName; | ||
167 | } | ||
168 | } | ||
169 | throw new TracedException(eObject, "Ambiguous qualified name: " + | ||
170 | qualifiedNameConverter.toString(qualifiedName)); | ||
171 | } | ||
172 | |||
173 | private boolean isUnique(IScope scope, QualifiedName name) { | ||
174 | var iterator = scope.getElements(name).iterator(); | ||
175 | if (!iterator.hasNext()) { | ||
176 | return false; | ||
177 | } | ||
178 | iterator.next(); | ||
179 | return !iterator.hasNext(); | ||
180 | } | ||
181 | } | ||
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/NodeKind.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/NodeKind.java index 27a86cb3..01f0cd09 100644 --- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/NodeKind.java +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/NodeKind.java | |||
@@ -8,5 +8,5 @@ package tools.refinery.language.semantics.metadata; | |||
8 | public enum NodeKind { | 8 | public enum NodeKind { |
9 | IMPLICIT, | 9 | IMPLICIT, |
10 | INDIVIDUAL, | 10 | INDIVIDUAL, |
11 | ENUM_LITERAL | 11 | NEW |
12 | } | 12 | } |
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/NodeMetadata.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/NodeMetadata.java index 8d91273c..812952c0 100644 --- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/NodeMetadata.java +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/NodeMetadata.java | |||
@@ -5,5 +5,5 @@ | |||
5 | */ | 5 | */ |
6 | package tools.refinery.language.semantics.metadata; | 6 | package tools.refinery.language.semantics.metadata; |
7 | 7 | ||
8 | public record NodeMetadata(String fullyQualifiedName, String simpleName, NodeKind kind) implements Metadata { | 8 | public record NodeMetadata(String name, String simpleName, NodeKind kind) implements Metadata { |
9 | } | 9 | } |
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/RelationKind.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/OppositeReferenceDetail.java index 28a3c565..26d7461c 100644 --- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/RelationKind.java +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/OppositeReferenceDetail.java | |||
@@ -5,14 +5,5 @@ | |||
5 | */ | 5 | */ |
6 | package tools.refinery.language.semantics.metadata; | 6 | package tools.refinery.language.semantics.metadata; |
7 | 7 | ||
8 | public enum RelationKind { | 8 | public record OppositeReferenceDetail(boolean container, String opposite) implements RelationDetail { |
9 | BUILTIN, | ||
10 | CLASS, | ||
11 | ENUM, | ||
12 | REFERENCE, | ||
13 | OPPOSITE, | ||
14 | CONTAINMENT, | ||
15 | CONTAINER, | ||
16 | PREDICATE, | ||
17 | ERROR | ||
18 | } | 9 | } |
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/PredicateDetail.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/PredicateDetail.java new file mode 100644 index 00000000..ca397eca --- /dev/null +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/PredicateDetail.java | |||
@@ -0,0 +1,16 @@ | |||
1 | /* | ||
2 | * SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/> | ||
3 | * | ||
4 | * SPDX-License-Identifier: EPL-2.0 | ||
5 | */ | ||
6 | package tools.refinery.language.semantics.metadata; | ||
7 | |||
8 | public record PredicateDetail(boolean error) implements RelationDetail { | ||
9 | public static final PredicateDetail PREDICATE = new PredicateDetail(false); | ||
10 | |||
11 | public static final PredicateDetail ERROR_PREDICATE = new PredicateDetail(true); | ||
12 | |||
13 | public static PredicateDetail ofError(boolean error) { | ||
14 | return error ? ERROR_PREDICATE : PREDICATE; | ||
15 | } | ||
16 | } | ||
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/ReferenceDetail.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/ReferenceDetail.java new file mode 100644 index 00000000..36771566 --- /dev/null +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/ReferenceDetail.java | |||
@@ -0,0 +1,16 @@ | |||
1 | /* | ||
2 | * SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/> | ||
3 | * | ||
4 | * SPDX-License-Identifier: EPL-2.0 | ||
5 | */ | ||
6 | package tools.refinery.language.semantics.metadata; | ||
7 | |||
8 | public record ReferenceDetail(boolean containment) implements RelationDetail { | ||
9 | public static final ReferenceDetail CROSS_REFERENCE = new ReferenceDetail(false); | ||
10 | |||
11 | public static final ReferenceDetail CONTAINMENT_REFERENCE = new ReferenceDetail(true); | ||
12 | |||
13 | public static ReferenceDetail ofContainment(boolean containment) { | ||
14 | return containment ? CONTAINMENT_REFERENCE : CROSS_REFERENCE; | ||
15 | } | ||
16 | } | ||
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/RelationDetail.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/RelationDetail.java new file mode 100644 index 00000000..105179fd --- /dev/null +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/RelationDetail.java | |||
@@ -0,0 +1,10 @@ | |||
1 | /* | ||
2 | * SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/> | ||
3 | * | ||
4 | * SPDX-License-Identifier: EPL-2.0 | ||
5 | */ | ||
6 | package tools.refinery.language.semantics.metadata; | ||
7 | |||
8 | public sealed interface RelationDetail permits ClassDetail, ReferenceDetail, PredicateDetail, OppositeReferenceDetail, | ||
9 | BuiltInDetail { | ||
10 | } | ||
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/RelationMetadata.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/RelationMetadata.java index 62de6031..5abcc253 100644 --- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/RelationMetadata.java +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/RelationMetadata.java | |||
@@ -5,6 +5,5 @@ | |||
5 | */ | 5 | */ |
6 | package tools.refinery.language.semantics.metadata; | 6 | package tools.refinery.language.semantics.metadata; |
7 | 7 | ||
8 | public record RelationMetadata(String fullyQualifiedName, String simpleName, int arity, RelationKind kind, | 8 | public record RelationMetadata(String name, String simpleName, int arity, RelationDetail detail) implements Metadata { |
9 | String opposite) implements Metadata { | ||
10 | } | 9 | } |
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java index 82746aee..aaef3326 100644 --- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java | |||
@@ -64,7 +64,7 @@ public class ModelInitializer { | |||
64 | 64 | ||
65 | private final Map<PartialRelation, RelationInfo> partialRelationInfoMap = new HashMap<>(); | 65 | private final Map<PartialRelation, RelationInfo> partialRelationInfoMap = new HashMap<>(); |
66 | 66 | ||
67 | private Map<AnyPartialSymbol, Relation> inverseTrace = new HashMap<>(); | 67 | private final Map<AnyPartialSymbol, Relation> inverseTrace = new HashMap<>(); |
68 | 68 | ||
69 | private Map<Relation, PartialRelation> relationTrace; | 69 | private Map<Relation, PartialRelation> relationTrace; |
70 | 70 | ||
@@ -74,6 +74,10 @@ public class ModelInitializer { | |||
74 | 74 | ||
75 | private ModelSeed modelSeed; | 75 | private ModelSeed modelSeed; |
76 | 76 | ||
77 | public Problem getProblem() { | ||
78 | return problem; | ||
79 | } | ||
80 | |||
77 | public int getNodeCount() { | 81 | public int getNodeCount() { |
78 | return nodeTrace.size(); | 82 | return nodeTrace.size(); |
79 | } | 83 | } |
@@ -90,6 +94,10 @@ public class ModelInitializer { | |||
90 | return inverseTrace.get(partialRelation); | 94 | return inverseTrace.get(partialRelation); |
91 | } | 95 | } |
92 | 96 | ||
97 | public Metamodel getMetamodel() { | ||
98 | return metamodel; | ||
99 | } | ||
100 | |||
93 | public ModelSeed createModel(Problem problem, ModelStoreBuilder storeBuilder) { | 101 | public ModelSeed createModel(Problem problem, ModelStoreBuilder storeBuilder) { |
94 | this.problem = problem; | 102 | this.problem = problem; |
95 | this.storeBuilder = storeBuilder; | 103 | this.storeBuilder = storeBuilder; |