BNFC（Backus-Naur Form Converter）是一个用于生成解析器的工具。它不是用来解析单个函数的，而是用来解析整个语言的语法。

要解析单个函数，你可以使用其他工具，如ANTLR（ANother Tool for Language Recognition）。下面是一个使用ANTLR解析单个函数的示例：

// 定义语法规则
grammar Function;

// 定义函数的规则
function : type ID '(' parameters? ')' '{' statement+ '}'
         ;

// 定义参数的规则
parameters : type ID (',' type ID)*
           ;

// 定义语句的规则
statement : 'if' '(' expression ')' statement
          | 'return' expression ';'
          | // 其他语句规则
          ;

// 定义表达式的规则
expression : // 表达式规则
           ;

// 定义类型的规则
type : 'int'
     | 'float'
     | 'string'
     ;

// 定义标识符的规则
ID : [a-zA-Z]+
   ;

// 定义空格和换行符的规则
WS : [ \t\r\n]+ -> skip
   ;

// 解析器入口
parse : function EOF
      ;

// 测试代码
public static void main(String[] args) {
    String code = "int add(int a, int b) { return a + b; }";
    FunctionLexer lexer = new FunctionLexer(CharStreams.fromString(code));
    CommonTokenStream tokens = new CommonTokenStream(lexer);
    FunctionParser parser = new FunctionParser(tokens);
    ParseTree tree = parser.parse();

    // 在这里进行其他操作，如构建抽象语法树或生成代码
}

注意，上面的示例是使用ANTLR生成的解析器，并且只是一个简单的示例。实际上，解析函数可能涉及更复杂的语法规则和操作。你可以根据自己的需求定制和扩展上面的示例代码。