在CUP中：如何使某些东西可选来解析？

Question

 PROC_DECL -> "proc" [ "ret" TYPE ] NAME 
        "(" [ PARAM_DECL { "," PARAM_DECL } ] ")" 
        "{" { DECL } { STMT } "}" 

这是过程声明的语法。

How do you say该“ret”类型是可选的，没有多个案件？

Answer 1

使用另一个生产，说ret_stmt，它可以是空的或包含一个return语句使你.cup文件，你都会有这样的作品：

ret_stmt ::= // empty 
        {: /*your action for empty return statement*/ :} 
       // Single return statement   
       | "ret":r TYPE:t 
        {: /*your action for single return statement*/ :} 

PROC_DECL ::= "proc":p ret_stmt:r NAME:n 
        "(" param_list:pl ")" 
        "{" { DECL } { STMT } "}" 
        {: /*your action for procedure declaration statement*/ :} 

可以使用带有参数的声明类似的方法，添加生产param_list。