Add CREATE/ALTER SERVICE full parsing support

Add support for:
- CREATE SERVICE with AUTHORIZATION, ON QUEUE, and contract list
- ALTER SERVICE with ON QUEUE and ADD/DROP CONTRACT operations
- ServiceContract type with Name and Action fields

Enabled tests:
- AlterCreateServiceStatementTests
- Baselines90_AlterCreateServiceStatementTests

Author: claude

ast/alter_simple_statements.go

@@ -26,7 +26,9 @@ func (s *AlterEndpointStatement) statement() {}
 
 // AlterServiceStatement represents an ALTER SERVICE statement.
 type AlterServiceStatement struct {
-	Name *Identifier `json:"Name,omitempty"`
+	Name             *Identifier        `json:"Name,omitempty"`
+	QueueName        *SchemaObjectName  `json:"QueueName,omitempty"`
+	ServiceContracts []*ServiceContract `json:"ServiceContracts,omitempty"`
 }
 
 func (s *AlterServiceStatement) node()      {}

ast/create_simple_statements.go

@@ -32,9 +32,20 @@ type CreateLoginStatement struct {
 func (s *CreateLoginStatement) node()      {}
 func (s *CreateLoginStatement) statement() {}
 
+// ServiceContract represents a contract in CREATE/ALTER SERVICE.
+type ServiceContract struct {
+	Name   *Identifier `json:"Name,omitempty"`
+	Action string      `json:"Action,omitempty"` // "Add", "Drop", "None"
+}
+
+func (s *ServiceContract) node() {}
+
 // CreateServiceStatement represents a CREATE SERVICE statement.
 type CreateServiceStatement struct {
-	Name *Identifier `json:"Name,omitempty"`
+	Owner            *Identifier        `json:"Owner,omitempty"`
+	Name             *Identifier        `json:"Name,omitempty"`
+	QueueName        *SchemaObjectName  `json:"QueueName,omitempty"`
+	ServiceContracts []*ServiceContract `json:"ServiceContracts,omitempty"`
 }
 
 func (s *CreateServiceStatement) node()      {}

parser/marshal.go

@@ -8764,6 +8764,16 @@ func alterServiceStatementToJSON(s *ast.AlterServiceStatement) jsonNode {
 	if s.Name != nil {
 		node["Name"] = identifierToJSON(s.Name)
 	}
+	if s.QueueName != nil {
+		node["QueueName"] = schemaObjectNameToJSON(s.QueueName)
+	}
+	if len(s.ServiceContracts) > 0 {
+		contracts := make([]jsonNode, len(s.ServiceContracts))
+		for i, c := range s.ServiceContracts {
+			contracts[i] = serviceContractToJSON(c)
+		}
+		node["ServiceContracts"] = contracts
+	}
 	return node
 }
 
@@ -9331,9 +9341,33 @@ func createServiceStatementToJSON(s *ast.CreateServiceStatement) jsonNode {
 	node := jsonNode{
 		"$type": "CreateServiceStatement",
 	}
+	if s.Owner != nil {
+		node["Owner"] = identifierToJSON(s.Owner)
+	}
 	if s.Name != nil {
 		node["Name"] = identifierToJSON(s.Name)
 	}
+	if s.QueueName != nil {
+		node["QueueName"] = schemaObjectNameToJSON(s.QueueName)
+	}
+	if len(s.ServiceContracts) > 0 {
+		contracts := make([]jsonNode, len(s.ServiceContracts))
+		for i, c := range s.ServiceContracts {
+			contracts[i] = serviceContractToJSON(c)
+		}
+		node["ServiceContracts"] = contracts
+	}
+	return node
+}
+
+func serviceContractToJSON(c *ast.ServiceContract) jsonNode {
+	node := jsonNode{
+		"$type": "ServiceContract",
+	}
+	if c.Name != nil {
+		node["Name"] = identifierToJSON(c.Name)
+	}
+	node["Action"] = c.Action
 	return node
 }
 

parser/parse_ddl.go

@@ -3790,6 +3790,49 @@ func (p *Parser) parseAlterServiceStatement() (ast.Statement, error) {
 	// Parse service name
 	stmt.Name = p.parseIdentifier()
 
+	// Check for ON QUEUE clause
+	if p.curTok.Type == TokenOn && strings.ToUpper(p.peekTok.Literal) == "QUEUE" {
+		p.nextToken() // consume ON
+		p.nextToken() // consume QUEUE
+		queueName, _ := p.parseSchemaObjectName()
+		stmt.QueueName = queueName
+	}
+
+	// Check for contract modifications (ADD CONTRACT, DROP CONTRACT)
+	if p.curTok.Type == TokenLParen {
+		p.nextToken() // consume (
+		var contracts []*ast.ServiceContract
+		for p.curTok.Type != TokenRParen && p.curTok.Type != TokenEOF {
+			action := "None"
+			upperLit := strings.ToUpper(p.curTok.Literal)
+			if upperLit == "ADD" {
+				action = "Add"
+				p.nextToken() // consume ADD
+				if strings.ToUpper(p.curTok.Literal) == "CONTRACT" {
+					p.nextToken() // consume CONTRACT
+				}
+			} else if upperLit == "DROP" {
+				action = "Drop"
+				p.nextToken() // consume DROP
+				if strings.ToUpper(p.curTok.Literal) == "CONTRACT" {
+					p.nextToken() // consume CONTRACT
+				}
+			}
+			contract := &ast.ServiceContract{
+				Name:   p.parseIdentifier(),
+				Action: action,
+			}
+			contracts = append(contracts, contract)
+			if p.curTok.Type == TokenComma {
+				p.nextToken() // consume ,
+			}
+		}
+		if p.curTok.Type == TokenRParen {
+			p.nextToken() // consume )
+		}
+		stmt.ServiceContracts = contracts
+	}
+
 	// Skip rest of statement
 	p.skipToEndOfStatement()
 

parser/parse_statements.go

@@ -6855,6 +6855,40 @@ func (p *Parser) parseCreateServiceStatement() (*ast.CreateServiceStatement, err
 		Name: p.parseIdentifier(),
 	}
 
+	// Check for AUTHORIZATION clause
+	if strings.ToUpper(p.curTok.Literal) == "AUTHORIZATION" {
+		p.nextToken() // consume AUTHORIZATION
+		stmt.Owner = p.parseIdentifier()
+	}
+
+	// Check for ON QUEUE clause
+	if p.curTok.Type == TokenOn && strings.ToUpper(p.peekTok.Literal) == "QUEUE" {
+		p.nextToken() // consume ON
+		p.nextToken() // consume QUEUE
+		queueName, _ := p.parseSchemaObjectName()
+		stmt.QueueName = queueName
+	}
+
+	// Check for contract list (c1, c2, ...)
+	if p.curTok.Type == TokenLParen {
+		p.nextToken() // consume (
+		var contracts []*ast.ServiceContract
+		for p.curTok.Type != TokenRParen && p.curTok.Type != TokenEOF {
+			contract := &ast.ServiceContract{
+				Name:   p.parseIdentifier(),
+				Action: "None",
+			}
+			contracts = append(contracts, contract)
+			if p.curTok.Type == TokenComma {
+				p.nextToken() // consume ,
+			}
+		}
+		if p.curTok.Type == TokenRParen {
+			p.nextToken() // consume )
+		}
+		stmt.ServiceContracts = contracts
+	}
+
 	// Skip rest of statement
 	p.skipToEndOfStatement()
 	return stmt, nil

parser/testdata/AlterCreateServiceStatementTests/metadata.json

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

parser/testdata/Baselines90_AlterCreateServiceStatementTests/metadata.json

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