Method Convert

server/plpgsql/json.go:766–795

Convert converts the JSON statement into its output form.

()

// Convert converts the JSON statement into its output form.
func (stmt *plpgSQL_stmt_while) Convert() (block Block, err error) {
	// Convert the body of the loop first so we can determine the GOTO offsets
	convertedLoopBodyStmts, err := jsonConvertStatements(stmt.Body)
	if err != nil {
		return Block{}, err
	}

	block = Block{
		Body: []Statement{
			If{
				Condition: stmt.Condition.Expression.Query,
				// Jump forward two statements, so we skip over the GOTO below that exits the WHILE loop.
				GotoOffset: 2,
			},
			Goto{
				// Jump forward 1 statement to get to the loop body, then jump over the loop body and the
				// GOTO statement that jumps to the start of the WHILE loop.
				Offset: 1 + OperationSizeForStatements(convertedLoopBodyStmts) + 1,
			},
		},
		Label:  stmt.Label,
		IsLoop: true,
	}

	// Add the converted body of the WHILE loop, and a GOTO statement that jumps backwards past the current
	// GOTO statement, and past all the body statements, and past the GOTO statement at the start of the loop.
	block.Body = append(block.Body, convertedLoopBodyStmts...)
	block.Body = append(block.Body, Goto{Offset: -1 * (OperationSizeForStatements(convertedLoopBodyStmts) + 2)})
	return block, nil
}