From thihup at gmail.com  Tue Jul 16 20:54:38 2024
From: thihup at gmail.com (Thiago Henrique Hupner)
Date: Tue, 16 Jul 2024 17:54:38 -0300
Subject: Corrections to typos in JVMS
Message-ID: <CAENv9VETtv3HOA8v_5SdMPJ+Q6oy=HTqy7go+=EU2emKru_g0g@mail.gmail.com>

Dear all,

I hope this message finds you well.

I have identified a few typographical errors in the Verifier section of the
JVM 23 specification, specifically within the Prolog code. Below are the
details of the corrections required:

*4.10.1.8. Type Checking for protected Members*

*Current:*

classesInOtherPkgWithProtectedMember(Class, MemberName,
                                     MemberDescriptor, MemberClassName,
                                     [class(MemberClassName, L) | Tail],
                                     T] :-

*Correction:*

classesInOtherPkgWithProtectedMember(Class, MemberName,
                                     MemberDescriptor, MemberClassName,
                                     [class(MemberClassName, L) | Tail],
                                     T) :-

*Change:* Corrected the mismatched bracket from T] to T).

*4.10.1.9. Type Checking Instructions: baload*

*Current:*

instructionIsTypeSafe(baload, Environment, _Offset, StackFrame,
                      NextStackFrame, ExceptionStackFrame) :
   nth1OperandStackIs(2, StackFrame, ArrayType),
   isSmallArray(ArrayType),
   validTypeTransition(Environment, [int, top], int,
                       StackFrame, NextStackFrame),
   exceptionStackFrame(StackFrame, ExceptionStackFrame).

*Correction:*

instructionIsTypeSafe(baload, Environment, _Offset, StackFrame,
                      NextStackFrame, ExceptionStackFrame) :-
   nth1OperandStackIs(2, StackFrame, ArrayType),
   isSmallArray(ArrayType),
   validTypeTransition(Environment, [int, top], int,
                       StackFrame, NextStackFrame),
   exceptionStackFrame(StackFrame, ExceptionStackFrame).

*Change:* Corrected the colon (:) to a double colon (:-) to indicate the
correct predicate definition.

*4.10.1.9. Type Checking Instructions: ldc, ldc_w, ldc2_w*

*Current:*

instructionHasEquivalentTypeRule(ldc_w(CP), ldc(CP))

*Correction:*

instructionHasEquivalentTypeRule(ldc_w(CP), ldc(CP)).

*Change:* Added a period (.) at the end to properly terminate the clause.

I hope these corrections are helpful. Please let me know if any further
clarification is needed.

Best regards,
Thiago
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/java-se-spec-comments/attachments/20240716/f6614457/attachment-0001.htm>