Subject: [sv-bc] task_proto_formal and func_proto_formal
From: Francoise Martinolle (fm@cadence.com)
Date: Wed Feb 12 2003 - 11:58:39 PST
May be Dan Jacobi can answer my question quickly
I just was brought up to my attention that the production rule for task or
function formal arguments shows the name of the formal being optional.
function_proto_formal ::=
input data_type [ variable_declaration_identifier ]
| inout data_type [ variable_declaration_identifier ]
| output data_type [ variable_declaration_identifier ]
| variable_declaration_identifier
How can the identifier be optional? How do you refer to the arguments then?
It must only be for an external declaration where you don't need the name
of the arguments.
Then I suggest we have 2 different productions, one for external
function/task declarations
and another for a function/task declaration.
The production also suggests that you can have a mix of formal with names
and without
names.
I suspect that is only for:
extern void myVerilogF(int, int, logic);
This archive was generated by hypermail 2b28 : Wed Feb 12 2003 - 11:59:16 PST