2.2.6.2.3.1 Control Tokens

Control tokens are used at runtime to control the evaluation stack. The control tokens are PtgJmp, PtgJmpF, PtgJmpT, PtgJmpLabel, PtgPop and PtgPushTop. The tokens PtgJmp, PtgJmpF, PtgJmpT, and PtgJmpLabel do not push values onto the evaluation stack but can pop values from the evaluation stack. The tokens PtgJmp, PtgJmpF, and PtgJmpT specify a jump location which MUST be present in a succeeding PtgJmpLabel token. When a PtgJmp, PtgJmpF, and PtgJmpT token is encountered, the succeeding tokens up to the matching PtgJmpLabel token in the formula expression are not pushed onto the evaluation stack and are not evaluated. Evaluation resumes at the token succeeding that PtgJmpLabel token.