exitTableFlushOption

Exit a parse tree produced by the tableFlushOption labeled alternative in flushOption.

Parameters

ctx

the parse tree