exit Channel Flush Option
Exit a parse tree produced by the channelFlushOption labeled alternative in flushOption.
Parameters
ctx
the parse tree
Exit a parse tree produced by the channelFlushOption labeled alternative in flushOption.
the parse tree