exitUserResourceOption

Exit a parse tree produced by userResourceOption.

Parameters

ctx

the parse tree