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