[GR-34476] Add member interop objects and declared member APIs.

[graalvmbot]

Introducing member objects and declared members.

A member is not a String name, but an interop object. Members can still be read/written/invoked/... using a string (interop string) name. Object members provide better member identification in case of overloaded members.
getMembers() is deprecated and replaced with getMemberObjects(). No internal objects any more. We'll have a "tools view" instead in the future.

Declared members are members declared by a meta-object. They allow an interop reflection.

Static members are provided via getStaticReceiver(), static members are independent on a particular instance.

Interop Changes

New interop messages:

• Replacement of getMembers() and read/write/invoke/remove messages take a , or an :

  • getMemberObjects(Object receiver)
  • isMemberReadable(Object receiver, Object memberOrString)
  • isMemberWritable(Object receiver, Object memberOrString)
  • isMemberModifiable(Object receiver, Object memberOrString)
  • isMemberInsertable(Object receiver, Object memberOrString)
  • isMemberInvokable(Object receiver, Object memberOrString)
  • isMemberRemovable(Object receiver, Object memberOrString)
  • readMember(Object receiver, Object memberOrString)
  • writeMember(Object receiver, Object memberOrString)
  • removeMember(Object receiver, Object memberOrString)
  • invokeMember(Object receiver, Object memberOrString, Object... args)
  • hasMemberReadSideEffects(Object receiver, Object memberOrString)
  • hasMemberWriteSideEffects(Object receiver, Object memberOrString)
  • final isMemberExisting(Object receiver, Object memberOrString)

• Static receiver (provides static members):

  • hasStaticReceiver(Object receiver)
  • getStaticReceiver(Object receiver)

• New Declared Members (on a meta-object only):

  • hasDeclaredMembers(Object metaObject)
  • getDeclaredMembers(Object metaObject)

• New Member namespace:

  • isMember(Object member)
  • getMemberSimpleName(Object member)
  • getMemberQualifiedName(Object member)
  • isMemberKindField(Object member)
  • isMemberKindMethod(Object member)
  • isMemberKindMetaObject(Object member)
  • hasMemberSignature(Object member)
  • getMemberSignature(Object member) array of

• New signature element namespace:

  • isSignatureElement(Object signatureElement)
  • hasSignatureElementName(Object signatureElement)
  • getSignatureElementName(Object signatureElement)
  • hasSignatureElementMetaObject(Object signatureElement)
  • getSignatureElementMetaObject(Object signatureElement)

• Exceptions

  • UnknownMemberException.create(Object memberOrString)

Deprecate

• getMembers(Object receiver, boolean internal)
• writeMember(Object receiver, String identifier)
• readMember(Object receiver, String identifier)
• removeMember(Object receiver, String identifier)
• invokeMember(Object receiver, String identifier, Object... args)
• isMemberWritable(Objct receiver, String identifier)
• isMemberReadable(Objct receiver, String identifier)
• isMemberInvokable(Objct receiver, String identifier)
• isMemberInsertable(Objct receiver, String identifier)
• isMemberRemovable(Object receiver, String identifier)
• isMemberInternal(Object receiver, String identifier) -- no internal members any more
• hasMemberReadSideEffects(Objct receiver, String identifier)
• hasMemberWriteSideEffects(Objct receiver, String identifier)
• UnknownIdentifierException

 

Value Changes

• Replacement for String identifieds

  • hasMember(Object member)
  • Value getMember(Object member)
  • void putMember(Object member, Object value)
  • boolean removeMember(Object member)
  • boolean canInvokeMember(Object member)
  • Value invokeMember(Object member, Object... arguments)

• New methods that take a member

  • boolean hasMemberReadSideEffects(Object member)
  • boolean hasMemberPutSideEffects(Object member)

• Declared Members

  • boolean hasDeclaredMembers()
  • Value getDeclaredMembers()
  • boolean hasStaticProvider()
  • Value getStaticProvider()

• New member methods

  • Value getMembers()
  • boolean isMember()
  • String getMemberSimpleName()
  • String getMemberQualifiedName()
  • boolean isMemberKindField()
  • boolean isMemberKindMethod()
  • boolean isMemberKindMetaObject()
  • boolean hasMemberSignature()
  • Value getMemberSignature()
  • boolean hasDeclaringMetaObject()
  • Value getDeclaringMetaObject()

• Signature

  • isSignatureElement()
  • hasSignatureElementName()
  • getSignatureElementName()
  • hasSignatureElementMetaObject()
  • getSignatureElementMetaObject()

 

DebugValue Changes

New Methods:

• getMembers()
• isMember()
• getMemberValue()
• getMemberQualifiedName()
• getMemberSimpleName()
• isMemberKindField()
• isMemberKindMethod()
• isMemberKindMetaObject()
• getMemberSignature()
• isSignatureElement()
• getSignatureElementName()
• getSignatureElementMetaObject()
• getStaticReceiver()
• getMetaParents()
• getDeclaringMetaObject()

Deprecated:

• getProperties()

 

Adoption

• HostLanguage
• SL
• Chrome Inspector
• DAP (TBD)