exit Detail Revoke
Exit a parse tree produced by the detailRevoke labeled alternative in revokeStatement.
Parameters
ctx
the parse tree
Exit a parse tree produced by the detailRevoke labeled alternative in revokeStatement.
the parse tree