-
Notifications
You must be signed in to change notification settings - Fork 328
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
All builtin types extend BuiltinObject
- Loading branch information
Showing
17 changed files
with
186 additions
and
405 deletions.
There are no files selected for viewing
85 changes: 85 additions & 0 deletions
85
engine/runtime/src/main/java/org/enso/interpreter/runtime/builtin/BuiltinObject.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,85 @@ | ||
| package org.enso.interpreter.runtime.builtin; | ||
|
|
||
| import com.oracle.truffle.api.CompilerDirectives; | ||
| import com.oracle.truffle.api.CompilerDirectives.CompilationFinal; | ||
| import com.oracle.truffle.api.dsl.Bind; | ||
| import com.oracle.truffle.api.interop.InteropLibrary; | ||
| import com.oracle.truffle.api.interop.UnsupportedMessageException; | ||
| import com.oracle.truffle.api.library.ExportLibrary; | ||
| import com.oracle.truffle.api.library.ExportMessage; | ||
| import com.oracle.truffle.api.nodes.Node; | ||
| import org.enso.interpreter.node.expression.builtin.Builtin; | ||
| import org.enso.interpreter.runtime.EnsoContext; | ||
| import org.enso.interpreter.runtime.data.EnsoObject; | ||
| import org.enso.interpreter.runtime.data.Type; | ||
| import org.enso.interpreter.runtime.library.dispatch.TypesLibrary; | ||
|
|
||
| /** | ||
| * Base class for every Enso builtin object. Not type. Note that base class for a builtin type is | ||
| * {@link Builtin}. | ||
| * | ||
| * <p>The {@link InteropLibrary interop} protocol roughly corresponds to the implementation of the | ||
| * protocol inside {@link org.enso.interpreter.runtime.data.atom.Atom}. | ||
| * | ||
| * <p>Note that extension methods are not resolved, because they are not defined in builtins module | ||
| * scope. In other words, extension methods are not reported as members via interop. | ||
| */ | ||
| @ExportLibrary(InteropLibrary.class) | ||
| @ExportLibrary(TypesLibrary.class) | ||
| public abstract class BuiltinObject extends EnsoObject { | ||
|
|
||
| private final String builtinName; | ||
|
|
||
| @CompilationFinal private Builtin cachedBuiltinType; | ||
|
|
||
| /** | ||
| * @param builtinName Simple name of the builtin that should be contained in {@link | ||
| * org.enso.interpreter.runtime.builtin.Builtins#builtinsByName}. | ||
| */ | ||
| protected BuiltinObject(String builtinName) { | ||
| this.builtinName = builtinName; | ||
| } | ||
|
|
||
| @ExportMessage | ||
| public final boolean hasType() { | ||
| return true; | ||
| } | ||
|
|
||
| @ExportMessage | ||
| public final Type getType(@Bind("$node") Node node) { | ||
| if (cachedBuiltinType == null) { | ||
| CompilerDirectives.transferToInterpreterAndInvalidate(); | ||
| var ctx = EnsoContext.get(node); | ||
| cachedBuiltinType = ctx.getBuiltins().getBuiltinType(builtinName); | ||
| } | ||
| return cachedBuiltinType.getType(); | ||
| } | ||
|
|
||
| /** | ||
| * Must return false, otherwise if a builtin object is passed to a host method that has a single | ||
| * {@code Object} argument, host interop would convert the builtin object to a {@code Map} with | ||
| * all its members. Even if the builtin object is, e.g., a number of a date. | ||
| * | ||
| * <p>Must return false as long as all our stdlib Java methods accept {@code Object} and not | ||
| * {@link org.graalvm.polyglot.Value} as arguments comming from Enso. | ||
| */ | ||
| @ExportMessage | ||
| public final boolean hasMembers() { | ||
| return false; | ||
| } | ||
|
|
||
| @ExportMessage | ||
| public final Object getMembers(boolean includeInternal) throws UnsupportedMessageException { | ||
| throw UnsupportedMessageException.create(); | ||
| } | ||
|
|
||
| @ExportMessage | ||
| public final boolean hasMetaObject() { | ||
| return true; | ||
| } | ||
|
|
||
| @ExportMessage | ||
| public final Type getMetaObject(@Bind("$node") Node node) { | ||
| return getType(node); | ||
| } | ||
| } |
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
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
Oops, something went wrong.