* Get the statements.
()
| 314 | * Get the statements. |
| 315 | */ |
| 316 | render(): TcbExpr[] { |
| 317 | for (let i = 0; i < this.opQueue.length; i++) { |
| 318 | // Optional statements cannot be skipped when we are generating the TCB for use |
| 319 | // by the TemplateTypeChecker. |
| 320 | const skipOptional = !this.tcb.env.config.enableTemplateTypeChecker; |
| 321 | this.executeOp(i, skipOptional); |
| 322 | } |
| 323 | return this.statements; |
| 324 | } |
| 325 | |
| 326 | /** |
| 327 | * Returns an expression of all template guards that apply to this scope, including those of |
no test coverage detected