aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language/src/main/java/tools/refinery/language/scoping/imports/NamedImport.java
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2024-02-19 00:44:05 +0100
committerLibravatar GitHub <noreply@github.com>2024-02-19 00:44:05 +0100
commit201c3da912aeaab8a3f51b84198b35c7936d0446 (patch)
treee427986134c41b540b10b9a9576f5a1788d8fbed /subprojects/language/src/main/java/tools/refinery/language/scoping/imports/NamedImport.java
parentchore(deps): bump dependencies (diff)
parentdocs: update README (diff)
downloadrefinery-201c3da912aeaab8a3f51b84198b35c7936d0446.tar.gz
refinery-201c3da912aeaab8a3f51b84198b35c7936d0446.tar.zst
refinery-201c3da912aeaab8a3f51b84198b35c7936d0446.zip
Merge pull request #53 from kris7t/imports
Module and import resolution support
Diffstat (limited to 'subprojects/language/src/main/java/tools/refinery/language/scoping/imports/NamedImport.java')
-rw-r--r--subprojects/language/src/main/java/tools/refinery/language/scoping/imports/NamedImport.java22
1 files changed, 22 insertions, 0 deletions
diff --git a/subprojects/language/src/main/java/tools/refinery/language/scoping/imports/NamedImport.java b/subprojects/language/src/main/java/tools/refinery/language/scoping/imports/NamedImport.java
new file mode 100644
index 00000000..f5e89605
--- /dev/null
+++ b/subprojects/language/src/main/java/tools/refinery/language/scoping/imports/NamedImport.java
@@ -0,0 +1,22 @@
1/*
2 * SPDX-FileCopyrightText: 2024 The Refinery Authors <https://refinery.tools/>
3 *
4 * SPDX-License-Identifier: EPL-2.0
5 */
6package tools.refinery.language.scoping.imports;
7
8import org.eclipse.emf.common.util.URI;
9import org.eclipse.xtext.naming.QualifiedName;
10
11import java.util.List;
12
13public record NamedImport(URI uri, QualifiedName qualifiedName, List<QualifiedName> aliases,
14 boolean alsoImplicit) implements Import {
15 public static NamedImport implicit(URI uri, QualifiedName qualifiedName) {
16 return new NamedImport(uri, qualifiedName, List.of(), true);
17 }
18
19 public static NamedImport explicit(URI uri, QualifiedName qualifiedName, List<QualifiedName> aliases) {
20 return new NamedImport(uri, qualifiedName, aliases, false);
21 }
22}