Как я должен прочитать описания синтаксиса в JLS?

Question

Из Спецификации языка Java (третье издание), раздел 3.10.5 :

<i>StringLiteral:
        " StringCharacters<sub><i>opt</i></sub> "

StringCharacters:
        StringCharacter
        StringCharacters StringCharacter

StringCharacter:
        InputCharacter</i> but not " or \
        EscapeSequence

Может кто-нибудь помочь мне понять этот синтаксис? Что может xx: " xxxopt" значить?

Answer 1

Это означает, что StringLiteral - это двойная кавычка, дополнительный токен StringCharacters и двойная кавычка. «opt» означает необязательный.

StringCharacters определяется как один или несколько StringCharacter токенов.

StringCharacter является либо InputCharacter (определенным в другом месте), за исключением двойной кавычки или обратного слэша; или EscapeSequence (также определен в другом месте)