模仿Java方法聲明的BNF語法

Question

如何編寫模仿Java方法聲明的BNF語法？

這是我所擁有的：

<call> ::= <return-type> <method-identifier>(<parameter-list>);
<return-type> ::= void | <type>
<type> ::= byte | short | int | long | float | double | boolean | char
<parameter-list> ::= <parameter> | <parameter>,<parameter-list>
<parameter> ::= <type> <parameter-identifier>

我有正確的主意嗎？ 這是BNF的正確形式嗎？ 這什么都不會實現，我只是想把想法包扎起來。

Answer 1

我認為您的方向不錯。 但是， type不允許類名（在Java中，您可以將對象作為參數傳遞）。 而且您缺少throws塊，並且不允許使用數組。

為什么不將其與Java的實際BNF語法進行比較？