模仿Java方法声明的BNF语法

Question

How can I write a BNF grammar mimicking Java method declarations?

Here's what I have:

<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>

Do I have the right idea? Is this the correct form for BNF? This won't be implemented for anything, I'm just trying to wrap my head around the idea.

Answer 1

I think you are going in a good direction. However, type doesn't allow class names (in Java you can pass objects as parameters). And you are missing throws block and it doesn't allow arrays.

Why don't you compare with the actual BNF grammar for Java ?