-
Notifications
You must be signed in to change notification settings - Fork 323
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Occurences in Java. Don't expose setters for Scope vars. (#11464)
- Loading branch information
1 parent
7487a3b
commit 4cb943b
Showing
6 changed files
with
194 additions
and
112 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
132 changes: 132 additions & 0 deletions
132
...me-compiler/src/main/java/org/enso/compiler/pass/analyse/alias/graph/GraphOccurrence.java
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,132 @@ | ||
| package org.enso.compiler.pass.analyse.alias.graph; | ||
|
|
||
| import java.util.UUID; | ||
| import org.enso.compiler.core.ExternalID; | ||
| import org.enso.compiler.core.Identifier; | ||
|
|
||
| /** | ||
| * An occurrence of a given symbol in the aliasing graph. Note that this is not present in the | ||
| * metadata attached to the [[org.enso.compiler.core.IR]] elements, but only in the alias [[Graph]]. | ||
| */ | ||
| public sealed interface GraphOccurrence permits GraphOccurrence.Def, GraphOccurrence.Use { | ||
| public abstract int id(); | ||
|
|
||
| public abstract String symbol(); | ||
|
|
||
| /** The definition of a symbol in the aliasing graph. */ | ||
| public static final class Def implements GraphOccurrence { | ||
| private final int id; | ||
| private final String symbol; | ||
| private final @Identifier UUID identifier; | ||
| private final @ExternalID UUID externalId; | ||
| private final boolean isLazy; | ||
|
|
||
| /** | ||
| * The definition of a symbol in the aliasing graph. | ||
| * | ||
| * @param id the identifier of the name in the graph | ||
| * @param symbol the text of the name | ||
| * @param identifier the identifier of the symbol | ||
| * @param externalId the external identifier for the IR node defining the symbol | ||
| * @param isLazy whether or not the symbol is defined as lazy | ||
| */ | ||
| public Def( | ||
| int id, String symbol, UUID identifier, scala.Option<UUID> externalId, boolean isLazy) { | ||
| this.id = id; | ||
| this.externalId = externalId.nonEmpty() ? externalId.get() : null; | ||
| this.identifier = identifier; | ||
| this.isLazy = isLazy; | ||
| this.symbol = symbol; | ||
| } | ||
|
|
||
| public Def(int id, String symbol, UUID identifier, scala.Option<UUID> externalId) { | ||
| this(id, symbol, identifier, externalId, false); | ||
| } | ||
|
|
||
| @Override | ||
| public int id() { | ||
| return this.id; | ||
| } | ||
|
|
||
| @Override | ||
| public String symbol() { | ||
| return this.symbol; | ||
| } | ||
|
|
||
| public UUID identifier() { | ||
| return identifier; | ||
| } | ||
|
|
||
| public scala.Option<UUID> externalId() { | ||
| return scala.Option.apply(externalId); | ||
| } | ||
|
|
||
| public boolean isLazy() { | ||
| return isLazy; | ||
| } | ||
|
|
||
| public static scala.Option<scala.Tuple5<Integer, String, UUID, scala.Option<UUID>, Boolean>> | ||
| unapply(Object obj) { | ||
| if (obj instanceof Def d) { | ||
| var extId = scala.Option.apply(d.externalId); | ||
| var tuple = new scala.Tuple5<>(d.id, d.symbol, d.identifier, extId, d.isLazy); | ||
| return scala.Option.apply(tuple); | ||
| } | ||
| return scala.Option.empty(); | ||
| } | ||
| } | ||
|
|
||
| /** A usage of a symbol in the aliasing graph */ | ||
| public static final class Use implements GraphOccurrence { | ||
| private final int id; | ||
| private final String symbol; | ||
| private final @Identifier UUID identifier; | ||
| private final @ExternalID UUID externalId; | ||
|
|
||
| /** | ||
| * A usage of a symbol in the aliasing graph | ||
| * | ||
| * <p>Name usages _need not_ correspond to name definitions, as dynamic symbol resolution means | ||
| * that a name used at runtime _may not_ be statically visible in the scope. | ||
| * | ||
| * @param id the identifier of the name in the graph | ||
| * @param symbol the text of the name | ||
| * @param identifier the identifier of the symbol | ||
| * @param externalId the external identifier for the IR node defining the symbol | ||
| */ | ||
| public Use(int id, String symbol, UUID identifier, scala.Option<UUID> externalId) { | ||
| this.id = id; | ||
| this.symbol = symbol; | ||
| this.externalId = externalId.nonEmpty() ? externalId.get() : null; | ||
| this.identifier = identifier; | ||
| } | ||
|
|
||
| @Override | ||
| public int id() { | ||
| return this.id; | ||
| } | ||
|
|
||
| @Override | ||
| public String symbol() { | ||
| return this.symbol; | ||
| } | ||
|
|
||
| public UUID identifier() { | ||
| return identifier; | ||
| } | ||
|
|
||
| public scala.Option<UUID> externalId() { | ||
| return scala.Option.apply(externalId); | ||
| } | ||
|
|
||
| public static scala.Option<scala.Tuple4<Integer, String, UUID, scala.Option<UUID>>> unapply( | ||
| Object obj) { | ||
| if (obj instanceof Use u) { | ||
| var extId = scala.Option.apply(u.externalId); | ||
| var tuple = new scala.Tuple4<>(u.id, u.symbol, u.identifier, extId); | ||
| return scala.Option.apply(tuple); | ||
| } | ||
| return scala.Option.empty(); | ||
| } | ||
| } | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
54 changes: 0 additions & 54 deletions
54
...-compiler/src/main/scala/org/enso/compiler/pass/analyse/alias/graph/GraphOccurrence.scala
This file was deleted.
Oops, something went wrong.
Oops, something went wrong.