Add Azure CREATE/ALTER DATABASE options support

- Add SERVICE_OBJECTIVE option parsing for Azure databases
- Add ElasticPoolSpecification AST type for elastic pool syntax
- Parse ELASTIC_POOL(NAME = poolname) syntax
- Support options after AS COPY OF clause
- Add marshaling for ElasticPoolSpecification
- Enable 2 passing tests

Author: claude

ast/alter_database_set_statement.go

@@ -115,6 +115,16 @@ func (l *LiteralDatabaseOption) node()                 {}
 func (l *LiteralDatabaseOption) databaseOption()       {}
 func (l *LiteralDatabaseOption) createDatabaseOption() {}
 
+// ElasticPoolSpecification represents SERVICE_OBJECTIVE = ELASTIC_POOL(name = poolname)
+type ElasticPoolSpecification struct {
+	ElasticPoolName *Identifier
+	OptionKind      string // "ServiceObjective"
+}
+
+func (e *ElasticPoolSpecification) node()                 {}
+func (e *ElasticPoolSpecification) databaseOption()       {}
+func (e *ElasticPoolSpecification) createDatabaseOption() {}
+
 // AlterDatabaseAddFileStatement represents ALTER DATABASE ... ADD FILE statement
 type AlterDatabaseAddFileStatement struct {
 	DatabaseName     *Identifier

parser/marshal.go

@@ -1142,6 +1142,17 @@ func databaseOptionToJSON(opt ast.DatabaseOption) jsonNode {
 			node["OptionKind"] = o.OptionKind
 		}
 		return node
+	case *ast.ElasticPoolSpecification:
+		node := jsonNode{
+			"$type": "ElasticPoolSpecification",
+		}
+		if o.ElasticPoolName != nil {
+			node["ElasticPoolName"] = identifierToJSON(o.ElasticPoolName)
+		}
+		if o.OptionKind != "" {
+			node["OptionKind"] = o.OptionKind
+		}
+		return node
 	case *ast.RemoteDataArchiveDatabaseOption:
 		node := jsonNode{
 			"$type":       "RemoteDataArchiveDatabaseOption",
@@ -15035,6 +15046,17 @@ func createDatabaseOptionToJSON(opt ast.CreateDatabaseOption) jsonNode {
 			node["OptionKind"] = o.OptionKind
 		}
 		return node
+	case *ast.ElasticPoolSpecification:
+		node := jsonNode{
+			"$type": "ElasticPoolSpecification",
+		}
+		if o.ElasticPoolName != nil {
+			node["ElasticPoolName"] = identifierToJSON(o.ElasticPoolName)
+		}
+		if o.OptionKind != "" {
+			node["OptionKind"] = o.OptionKind
+		}
+		return node
 	case *ast.SimpleDatabaseOption:
 		return jsonNode{
 			"$type":      "DatabaseOption",

parser/parse_statements.go

@@ -9139,6 +9139,19 @@ func (p *Parser) parseCreateDatabaseStatement() (ast.Statement, error) {
 				}
 				multiPart.Count = len(multiPart.Identifiers)
 				stmt.CopyOf = multiPart
+
+				// Check for Azure-style options after COPY OF
+				if p.curTok.Type == TokenLParen {
+					p.nextToken() // consume (
+					opts, err := p.parseAzureDatabaseOptions()
+					if err != nil {
+						return nil, err
+					}
+					stmt.Options = append(stmt.Options, opts...)
+					if p.curTok.Type == TokenRParen {
+						p.nextToken() // consume )
+					}
+				}
 			}
 		}
 	}
@@ -9369,6 +9382,39 @@ func (p *Parser) parseAzureDatabaseOptions() ([]ast.CreateDatabaseOption, error)
 			}
 			options = append(options, opt)
 
+		case "SERVICE_OBJECTIVE":
+			// Check for elastic_pool(name = [epool1]) syntax
+			if strings.ToUpper(p.curTok.Literal) == "ELASTIC_POOL" {
+				p.nextToken() // consume ELASTIC_POOL
+				if p.curTok.Type == TokenLParen {
+					p.nextToken() // consume (
+					// Parse NAME = [poolname]
+					if strings.ToUpper(p.curTok.Literal) == "NAME" {
+						p.nextToken() // consume NAME
+						if p.curTok.Type == TokenEquals {
+							p.nextToken() // consume =
+						}
+						poolName := p.parseIdentifier()
+						opt := &ast.ElasticPoolSpecification{
+							OptionKind:      "ServiceObjective",
+							ElasticPoolName: poolName,
+						}
+						options = append(options, opt)
+					}
+					if p.curTok.Type == TokenRParen {
+						p.nextToken() // consume )
+					}
+				}
+			} else {
+				// Parse service objective value (string literal)
+				value, _ := p.parseStringLiteral()
+				opt := &ast.LiteralDatabaseOption{
+					OptionKind: "ServiceObjective",
+					Value:      value,
+				}
+				options = append(options, opt)
+			}
+
 		default:
 			// Skip unknown option value
 			if p.curTok.Type != TokenComma && p.curTok.Type != TokenRParen {

parser/testdata/Baselines120_CreateAlterDatabaseStatementTestsAzure120/metadata.json

@@ -1 +1 @@
-{"todo": true}
+{}

parser/testdata/CreateAlterDatabaseStatementTestsAzure120/metadata.json

@@ -1 +1 @@
-{"todo": true}
+{}