[GR-38387] Require stable order of interop members.

PullRequest: graal/11667

Author: entlicher

truffle/CHANGELOG.md

@@ -21,6 +21,7 @@ This changelog summarizes major changes between Truffle versions relevant to lan
     * On HotSpot hosts the new optimizations will be applied to methods annotated with `@BytecodeInterpreterSwitch` only.
     * The annotation `@BytecodeInterpreterSwitchBoundary` was deprecated. Boundaries for the compilation are now inferred from directives like `CompilerDirective.transferToInterpreter()` and `@TruffleBoundary` automatically.
     * See the [HostOptimization.md](https://github.com/oracle/graal/blob/master/truffle/docs/HostCompilation.md) for further details.
+* GR-38387 Deterministic and declaration order of `InteropLibrary.getMembers()` is now required.
 
 ## Version 22.1.0
 

truffle/src/com.oracle.truffle.api.interop/src/com/oracle/truffle/api/interop/InteropLibrary.java

@@ -630,6 +630,13 @@ public boolean hasMembers(Object receiver) {
      * like {@link #getSourceLocation(Object) source location} in case of {@link #isScope(Object)
      * scope} variables, etc.
      * <p>
+     * The order of member names needs to be:
+     * <ul>
+     * <li>deterministic, assuming the program execution is deterministic,</li>
+     * <li>in the declaration order, when applicable,</li>
+     * <li>multiple invocations of this method must return the same members in the same order as
+     * long as no side-effecting operations were performed.</li>
+     * </ul>
      * If the includeInternal argument is <code>true</code> then internal member names are returned
      * as well. Internal members are implementation specific and should not be exposed to guest
      * language application. An example of internal members are internal slots in ECMAScript.