blob: 72f23e854b2b2cf63e3471e2c52b79bbd3e5c330 (
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
|
/*
* SPDX-FileCopyrightText: 2021-2024 The Refinery Authors <https://refinery.tools/>
*
* SPDX-License-Identifier: EPL-2.0
*/
package tools.refinery.language.utils;
import tools.refinery.language.model.problem.*;
public final class BuiltinSymbols {
private final Problem problem;
private final ClassDeclaration node;
private final PredicateDefinition equals;
private final PredicateDefinition exists;
private final ClassDeclaration contained;
private final PredicateDefinition contains;
private final PredicateDefinition invalidContainer;
public BuiltinSymbols(Problem problem) {
this.problem = problem;
node = getDeclaration(ClassDeclaration.class, "node");
equals = getDeclaration(PredicateDefinition.class, "equals");
exists = getDeclaration(PredicateDefinition.class, "exists");
contained = getDeclaration(ClassDeclaration.class, "contained");
contains = getDeclaration(PredicateDefinition.class, "contains");
invalidContainer = getDeclaration(PredicateDefinition.class, "invalidContainer");
}
public Problem problem() {
return problem;
}
public ClassDeclaration node() {
return node;
}
public PredicateDefinition equals() {
return equals;
}
public PredicateDefinition exists() {
return exists;
}
public ClassDeclaration contained() {
return contained;
}
public PredicateDefinition contains() {
return contains;
}
public PredicateDefinition invalidContainer() {
return invalidContainer;
}
private <T extends Statement & NamedElement> T getDeclaration(Class<T> type, String name) {
return problem.getStatements().stream().filter(type::isInstance).map(type::cast)
.filter(declaration -> name.equals(declaration.getName())).findFirst()
.orElseThrow(() -> new IllegalArgumentException("Built-in declaration " + name + " was not found"));
}
}
|