%{
package protoparse

//lint:file-ignore SA4006 generated parser has unused values

import (
	"math"

	"github.com/jhump/protoreflect/desc/protoparse/ast"
)

%}

// fields inside this union end up as the fields in a structure known
// as ${PREFIX}SymType, of which a reference is passed to the lexer.
%union{
	file      *ast.FileNode
	syn       *ast.SyntaxNode
	fileDecl  ast.FileElement
	fileDecls []ast.FileElement
	pkg       *ast.PackageNode
	imprt     *ast.ImportNode
	msg       *ast.MessageNode
	msgDecl   ast.MessageElement
	msgDecls  []ast.MessageElement
	fld       *ast.FieldNode
	mapFld    *ast.MapFieldNode
	mapType   *ast.MapTypeNode
	grp       *ast.GroupNode
	oo        *ast.OneOfNode
	ooDecl    ast.OneOfElement
	ooDecls   []ast.OneOfElement
	ext       *ast.ExtensionRangeNode
	resvd     *ast.ReservedNode
	en        *ast.EnumNode
	enDecl    ast.EnumElement
	enDecls   []ast.EnumElement
	env       *ast.EnumValueNode
	extend    *ast.ExtendNode
	extDecl   ast.ExtendElement
	extDecls  []ast.ExtendElement
	svc       *ast.ServiceNode
	svcDecl   ast.ServiceElement
	svcDecls  []ast.ServiceElement
	mtd       *ast.RPCNode
	rpcType   *ast.RPCTypeNode
	rpcDecl   ast.RPCElement
	rpcDecls  []ast.RPCElement
	opt       *ast.OptionNode
	opts      *compactOptionList
	ref       *ast.FieldReferenceNode
	optNms    *fieldRefList
	cmpctOpts *ast.CompactOptionsNode
	rng       *ast.RangeNode
	rngs      *rangeList
	names     *nameList
	cid       *identList
	tid       ast.IdentValueNode
	sl        *valueList
	msgField  *ast.MessageFieldNode
	msgEntry  *messageFieldEntry
	msgLit    *messageFieldList
	v         ast.ValueNode
	il        ast.IntValueNode
	str       *stringList
	s         *ast.StringLiteralNode
	i         *ast.UintLiteralNode
	f         *ast.FloatLiteralNode
	id        *ast.IdentNode
	b         *ast.RuneNode
	err       error
}

// any non-terminal which returns a value needs a type, which is
// really a field name in the above union struct
%type <file>      file
%type <syn>       syntax
%type <fileDecl>  fileDecl
%type <fileDecls> fileDecls
%type <imprt>     import
%type <pkg>       package
%type <opt>       option compactOption
%type <opts>      compactOptionDecls
%type <rpcDecl>   rpcDecl
%type <rpcDecls>  rpcDecls
%type <ref>       optionNameComponent aggName
%type <optNms>    optionName
%type <cmpctOpts> compactOptions
%type <v>         constant scalarConstant aggregate numLit
%type <il>        intLit
%type <id>        name keyType
%type <cid>       ident
%type <tid>       typeIdent
%type <sl>        constantList
%type <msgField>  aggFieldEntry
%type <msgEntry>  aggField
%type <msgLit>    aggFields
%type <fld>       field oneofField
%type <oo>        oneof
%type <grp>       group oneofGroup
%type <mapFld>    mapField
%type <mapType>   mapType
%type <msg>       message
%type <msgDecl>   messageDecl
%type <msgDecls>  messageDecls
%type <ooDecl>    ooDecl
%type <ooDecls>   ooDecls
%type <names>     fieldNames
%type <resvd>     msgReserved enumReserved reservedNames
%type <rng>       tagRange enumRange
%type <rngs>      tagRanges enumRanges
%type <ext>       extensions
%type <en>        enum
%type <enDecl>    enumDecl
%type <enDecls>   enumDecls
%type <env>       enumValue
%type <extend>    extend
%type <extDecl>   extendDecl
%type <extDecls>  extendDecls
%type <str>       stringLit
%type <svc>       service
%type <svcDecl>   serviceDecl
%type <svcDecls>  serviceDecls
%type <mtd>       rpc
%type <rpcType>   rpcType

// same for terminals
%token <s>   _STRING_LIT
%token <i>   _INT_LIT
%token <f>   _FLOAT_LIT
%token <id>  _NAME
%token <id>  _SYNTAX _IMPORT _WEAK _PUBLIC _PACKAGE _OPTION _TRUE _FALSE _INF _NAN _REPEATED _OPTIONAL _REQUIRED
%token <id>  _DOUBLE _FLOAT _INT32 _INT64 _UINT32 _UINT64 _SINT32 _SINT64 _FIXED32 _FIXED64 _SFIXED32 _SFIXED64
%token <id>  _BOOL _STRING _BYTES _GROUP _ONEOF _MAP _EXTENSIONS _TO _MAX _RESERVED _ENUM _MESSAGE _EXTEND
%token <id>  _SERVICE _RPC _STREAM _RETURNS
%token <err> _ERROR
// we define all of these, even ones that aren't used, to improve error messages
// so it shows the unexpected symbol instead of showing "$unk"
%token <b>   '=' ';' ':' '{' '}' '\\' '/' '?' '.' ',' '>' '<' '+' '-' '(' ')' '[' ']' '*' '&' '^' '%' '$' '#' '@' '!' '~' '`'

%%

file : syntax {
		$$ = ast.NewFileNode($1, nil)
		protolex.(*protoLex).res = $$
	}
	| fileDecls  {
		$$ = ast.NewFileNode(nil, $1)
		protolex.(*protoLex).res = $$
	}
	| syntax fileDecls {
		$$ = ast.NewFileNode($1, $2)
		protolex.(*protoLex).res = $$
	}
	| {
	}

fileDecls : fileDecls fileDecl {
        if $2 != nil {
    		$$ = append($1, $2)
        } else {
            $$ = $1
        }
	}
	| fileDecl {
	    if $1 != nil {
	        $$ = []ast.FileElement{$1}
        } else {
            $$ = nil
        }
	}

fileDecl : import {
		$$ = $1
	}
	| package {
		$$ = $1
	}
	| option {
		$$ = $1
	}
	| message {
		$$ = $1
	}
	| enum {
		$$ = $1
	}
	| extend {
		$$ = $1
	}
	| service {
		$$ = $1
	}
	| ';' {
		$$ = ast.NewEmptyDeclNode($1)
	}
	| error ';' {
	    $$ = nil
	}
	| error {
	    $$ = nil
	}

syntax : _SYNTAX '=' stringLit ';' {
		$$ = ast.NewSyntaxNode($1.ToKeyword(), $2, $3.toStringValueNode(), $4)
	}

import : _IMPORT stringLit ';' {
		$$ = ast.NewImportNode($1.ToKeyword(), nil, nil, $2.toStringValueNode(), $3)
	}
	| _IMPORT _WEAK stringLit ';' {
		$$ = ast.NewImportNode($1.ToKeyword(), nil, $2.ToKeyword(), $3.toStringValueNode(), $4)
	}
	| _IMPORT _PUBLIC stringLit ';' {
		$$ = ast.NewImportNode($1.ToKeyword(), $2.ToKeyword(), nil, $3.toStringValueNode(), $4)
	}

package : _PACKAGE ident ';' {
		$$ = ast.NewPackageNode($1.ToKeyword(), $2.toIdentValueNode(nil), $3)
	}

ident : name {
        $$ = &identList{$1, nil, nil}
    }
	| name '.' ident {
        $$ = &identList{$1, $2, $3}
	}

option : _OPTION optionName '=' constant ';' {
        refs, dots := $2.toNodes()
        optName := ast.NewOptionNameNode(refs, dots)
        $$ = ast.NewOptionNode($1.ToKeyword(), optName, $3, $4, $5)
	}

optionName : optionNameComponent {
        $$ = &fieldRefList{$1, nil, nil}
    }
    | optionNameComponent '.' optionName {
        $$ = &fieldRefList{$1, $2, $3}
	}

optionNameComponent : name {
		$$ = ast.NewFieldReferenceNode($1)
	}
	| '(' typeIdent ')' {
		$$ = ast.NewExtensionFieldReferenceNode($1, $2, $3)
	}

constant : scalarConstant
	| aggregate

scalarConstant : stringLit {
		$$ = $1.toStringValueNode()
	}
	| numLit
	| name {
		if $1.Val == "true" || $1.Val == "false" {
			$$ = ast.NewBoolLiteralNode($1.ToKeyword())
		} else if $1.Val == "inf" || $1.Val == "nan" {
			$$ = ast.NewSpecialFloatLiteralNode($1.ToKeyword())
		} else {
			$$ = $1
		}
	}

numLit : _FLOAT_LIT {
        $$ = $1
    }
	| '-' _FLOAT_LIT {
		$$ = ast.NewSignedFloatLiteralNode($1, $2)
	}
	| '+' _FLOAT_LIT {
		$$ = ast.NewSignedFloatLiteralNode($1, $2)
	}
	| '+' _INF {
	    f := ast.NewSpecialFloatLiteralNode($2.ToKeyword())
		$$ = ast.NewSignedFloatLiteralNode($1, f)
	}
	| '-' _INF {
	    f := ast.NewSpecialFloatLiteralNode($2.ToKeyword())
		$$ = ast.NewSignedFloatLiteralNode($1, f)
	}
	| _INT_LIT {
        $$ = $1
    }
    | '+' _INT_LIT {
        $$ = ast.NewPositiveUintLiteralNode($1, $2)
    }
    | '-' _INT_LIT {
        if $2.Val > math.MaxInt64 + 1 {
            // can't represent as int so treat as float literal
            $$ = ast.NewSignedFloatLiteralNode($1, $2)
        } else {
            $$ = ast.NewNegativeIntLiteralNode($1, $2)
        }
    }

stringLit : _STRING_LIT {
        $$ = &stringList{$1, nil}
    }
    | _STRING_LIT stringLit  {
        $$ = &stringList{$1, $2}
    }

aggregate : '{' aggFields '}' {
        fields, delims := $2.toNodes()
        $$ = ast.NewMessageLiteralNode($1, fields, delims, $3)
	}

aggFields : aggField {
	    if $1 != nil {
	        $$ = &messageFieldList{$1, nil}
        } else {
            $$ = nil
        }
    }
	| aggField aggFields {
        if $1 != nil {
            $$ = &messageFieldList{$1, $2}
        } else {
            $$ = $2
        }
	}
	| {
		$$ = nil
	}

aggField : aggFieldEntry {
        if $1 != nil {
            $$ = &messageFieldEntry{$1, nil}
        } else {
            $$ = nil
        }
    }
	| aggFieldEntry ',' {
	    if $1 != nil {
    		$$ = &messageFieldEntry{$1, $2}
        } else {
            $$ = nil
        }
	}
	| aggFieldEntry ';' {
	    if $1 != nil {
    		$$ = &messageFieldEntry{$1, $2}
        } else {
            $$ = nil
        }
	}
	| error ',' {
	    $$ = nil
	}
	| error ';' {
	    $$ = nil
	}
	| error {
	    $$ = nil
	}

aggFieldEntry : aggName ':' scalarConstant {
        if $1 != nil {
            $$ = ast.NewMessageFieldNode($1, $2, $3)
        } else {
            $$ = nil
        }
	}
	| aggName ':' '[' ']' {
	    if $1 != nil {
            val := ast.NewArrayLiteralNode($3, nil, nil, $4)
            $$ = ast.NewMessageFieldNode($1, $2, val)
	    } else {
	        $$ = nil
	    }
	}
	| aggName ':' '[' constantList ']' {
	    if $1 != nil {
            vals, commas := $4.toNodes()
            val := ast.NewArrayLiteralNode($3, vals, commas, $5)
            $$ = ast.NewMessageFieldNode($1, $2, val)
	    } else {
	        $$ = nil
	    }
	}
	| aggName ':' '[' error ']' {
	    $$ = nil
	}
	| aggName ':' aggregate {
	    if $1 != nil {
            $$ = ast.NewMessageFieldNode($1, $2, $3)
	    } else {
	        $$ = nil
	    }
	}
	| aggName aggregate {
        if $1 != nil {
            $$ = ast.NewMessageFieldNode($1, nil, $2)
        } else {
            $$ = nil
        }
	}
	| aggName ':' '<' aggFields '>' {
	    if $1 != nil {
            fields, delims := $4.toNodes()
            msg := ast.NewMessageLiteralNode($3, fields, delims, $5)
            $$ = ast.NewMessageFieldNode($1, $2, msg)
        } else {
            $$ = nil
        }
	}
	| aggName '<' aggFields '>' {
	    if $1 != nil {
            fields, delims := $3.toNodes()
            msg := ast.NewMessageLiteralNode($2, fields, delims, $4)
            $$ = ast.NewMessageFieldNode($1, nil, msg)
        } else {
            $$ = nil
        }
	}
	| aggName ':' '<' error '>' {
	    $$ = nil
	}
	| aggName '<' error '>' {
	    $$ = nil
	}

aggName : name {
        $$ = ast.NewFieldReferenceNode($1)
	}
	| '[' typeIdent ']' {
        $$ = ast.NewExtensionFieldReferenceNode($1, $2, $3)
	}
	| '[' error ']' {
	    $$ = nil
	}

constantList : constant {
        $$ = &valueList{$1, nil, nil}
	}
	| constant ',' constantList {
        $$ = &valueList{$1, $2, $3}
	}
	| '<' aggFields '>' {
        fields, delims := $2.toNodes()
        msg := ast.NewMessageLiteralNode($1, fields, delims, $3)
        $$ = &valueList{msg, nil, nil}
	}
	| '<' aggFields '>' ',' constantList {
        fields, delims := $2.toNodes()
        msg := ast.NewMessageLiteralNode($1, fields, delims, $3)
        $$ = &valueList{msg, $4, $5}
	}
	| '<' error '>' {
	    $$ = nil
	}
	| '<' error '>' ',' constantList {
	    $$ = $5
	}

typeIdent : ident {
        $$ = $1.toIdentValueNode(nil)
    }
    | '.' ident {
        $$ = $2.toIdentValueNode($1)
    }

field : _REQUIRED typeIdent name '=' _INT_LIT ';' {
        $$ = ast.NewFieldNode($1.ToKeyword(), $2, $3, $4, $5, nil, $6)
	}
	| _OPTIONAL typeIdent name '=' _INT_LIT ';' {
        $$ = ast.NewFieldNode($1.ToKeyword(), $2, $3, $4, $5, nil, $6)
	}
	| _REPEATED typeIdent name '=' _INT_LIT ';' {
        $$ = ast.NewFieldNode($1.ToKeyword(), $2, $3, $4, $5, nil, $6)
	}
	| typeIdent name '=' _INT_LIT ';' {
        $$ = ast.NewFieldNode(nil, $1, $2, $3, $4, nil, $5)
	}
	| _REQUIRED typeIdent name '=' _INT_LIT compactOptions ';' {
        $$ = ast.NewFieldNode($1.ToKeyword(), $2, $3, $4, $5, $6, $7)
	}
	| _OPTIONAL typeIdent name '=' _INT_LIT compactOptions ';' {
        $$ = ast.NewFieldNode($1.ToKeyword(), $2, $3, $4, $5, $6, $7)
	}
	| _REPEATED typeIdent name '=' _INT_LIT compactOptions ';' {
        $$ = ast.NewFieldNode($1.ToKeyword(), $2, $3, $4, $5, $6, $7)
	}
	| typeIdent name '=' _INT_LIT compactOptions ';' {
        $$ = ast.NewFieldNode(nil, $1, $2, $3, $4, $5, $6)
	}

compactOptions: '[' compactOptionDecls ']' {
        opts, commas := $2.toNodes()
        $$ = ast.NewCompactOptionsNode($1, opts, commas, $3)
    }

compactOptionDecls : compactOption {
        $$ = &compactOptionList{$1, nil, nil}
    }
    | compactOption ',' compactOptionDecls {
        $$ = &compactOptionList{$1, $2, $3}
	}

compactOption: optionName '=' constant {
        refs, dots := $1.toNodes()
        optName := ast.NewOptionNameNode(refs, dots)
        $$ = ast.NewCompactOptionNode(optName, $2, $3)
	}

group : _REQUIRED _GROUP name '=' _INT_LIT '{' messageDecls '}' {
        $$ = ast.NewGroupNode($1.ToKeyword(), $2.ToKeyword(), $3, $4, $5, nil, $6, $7, $8)
	}
	| _OPTIONAL _GROUP name '=' _INT_LIT '{' messageDecls '}' {
        $$ = ast.NewGroupNode($1.ToKeyword(), $2.ToKeyword(), $3, $4, $5, nil, $6, $7, $8)
	}
	| _REPEATED _GROUP name '=' _INT_LIT '{' messageDecls '}' {
        $$ = ast.NewGroupNode($1.ToKeyword(), $2.ToKeyword(), $3, $4, $5, nil, $6, $7, $8)
	}
	| _REQUIRED _GROUP name '=' _INT_LIT compactOptions '{' messageDecls '}' {
        $$ = ast.NewGroupNode($1.ToKeyword(), $2.ToKeyword(), $3, $4, $5, $6, $7, $8, $9)
	}
	| _OPTIONAL _GROUP name '=' _INT_LIT compactOptions '{' messageDecls '}' {
        $$ = ast.NewGroupNode($1.ToKeyword(), $2.ToKeyword(), $3, $4, $5, $6, $7, $8, $9)
	}
	| _REPEATED _GROUP name '=' _INT_LIT compactOptions '{' messageDecls '}' {
        $$ = ast.NewGroupNode($1.ToKeyword(), $2.ToKeyword(), $3, $4, $5, $6, $7, $8, $9)
	}

oneof : _ONEOF name '{' ooDecls '}' {
        $$ = ast.NewOneOfNode($1.ToKeyword(), $2, $3, $4, $5)
	}

ooDecls : ooDecls ooDecl {
        if $2 != nil {
    		$$ = append($1, $2)
        } else {
            $$ = $1
        }
	}
	| ooDecl {
	    if $1 != nil {
	        $$ = []ast.OneOfElement{$1}
        } else {
            $$ = nil
        }
	}
	| {
		$$ = nil
	}

ooDecl : option {
		$$ = $1
	}
	| oneofField {
		$$ = $1
	}
	| oneofGroup {
		$$ = $1
	}
	| ';' {
	    $$ = ast.NewEmptyDeclNode($1)
	}
	| error ';' {
	    $$ = nil
	}
	| error {
	    $$ = nil
	}

oneofField : typeIdent name '=' _INT_LIT ';' {
        $$ = ast.NewFieldNode(nil, $1, $2, $3, $4, nil, $5)
	}
	| typeIdent name '=' _INT_LIT compactOptions ';' {
        $$ = ast.NewFieldNode(nil, $1, $2, $3, $4, $5, $6)
	}

oneofGroup : _GROUP name '=' _INT_LIT '{' messageDecls '}' {
        $$ = ast.NewGroupNode(nil, $1.ToKeyword(), $2, $3, $4, nil, $5, $6, $7)
	}
	| _GROUP name '=' _INT_LIT compactOptions '{' messageDecls '}' {
        $$ = ast.NewGroupNode(nil, $1.ToKeyword(), $2, $3, $4, $5, $6, $7, $8)
	}

mapField : mapType name '=' _INT_LIT ';' {
        $$ = ast.NewMapFieldNode($1, $2, $3, $4, nil, $5)
	}
	| mapType name '=' _INT_LIT compactOptions ';' {
        $$ = ast.NewMapFieldNode($1, $2, $3, $4, $5, $6)
	}

mapType : _MAP '<' keyType ',' typeIdent '>' {
        $$ = ast.NewMapTypeNode($1.ToKeyword(), $2, $3, $4, $5, $6)
    }

keyType : _INT32
	| _INT64
	| _UINT32
	| _UINT64
	| _SINT32
	| _SINT64
	| _FIXED32
	| _FIXED64
	| _SFIXED32
	| _SFIXED64
	| _BOOL
	| _STRING

extensions : _EXTENSIONS tagRanges ';' {
        ranges, commas := $2.toNodes()
        $$ = ast.NewExtensionRangeNode($1.ToKeyword(), ranges, commas, nil, $3)
	}
	| _EXTENSIONS tagRanges compactOptions ';' {
        ranges, commas := $2.toNodes()
        $$ = ast.NewExtensionRangeNode($1.ToKeyword(), ranges, commas, $3, $4)
	}

tagRanges : tagRange {
		$$ = &rangeList{$1, nil, nil}
    }
    | tagRange ',' tagRanges {
		$$ = &rangeList{$1, $2, $3}
	}

tagRange : _INT_LIT {
        $$ = ast.NewRangeNode($1, nil, nil, nil)
	}
	| _INT_LIT _TO _INT_LIT {
        $$ = ast.NewRangeNode($1, $2.ToKeyword(), $3, nil)
	}
	| _INT_LIT _TO _MAX {
        $$ = ast.NewRangeNode($1, $2.ToKeyword(), nil, $3.ToKeyword())
	}

enumRanges : enumRange {
		$$ = &rangeList{$1, nil, nil}
    }
    | enumRange ',' enumRanges {
		$$ = &rangeList{$1, $2, $3}
	}

enumRange : intLit {
        $$ = ast.NewRangeNode($1, nil, nil, nil)
	}
	| intLit _TO intLit {
        $$ = ast.NewRangeNode($1, $2.ToKeyword(), $3, nil)
	}
	| intLit _TO _MAX {
        $$ = ast.NewRangeNode($1, $2.ToKeyword(), nil, $3.ToKeyword())
	}

intLit : _INT_LIT {
        $$ = $1
	}
	| '-' _INT_LIT {
	    $$ = ast.NewNegativeIntLiteralNode($1, $2)
	}

msgReserved : _RESERVED tagRanges ';' {
        ranges, commas := $2.toNodes()
        $$ = ast.NewReservedRangesNode($1.ToKeyword(), ranges, commas, $3)
	}
	| reservedNames

enumReserved : _RESERVED enumRanges ';' {
        ranges, commas := $2.toNodes()
        $$ = ast.NewReservedRangesNode($1.ToKeyword(), ranges, commas, $3)
	}
	| reservedNames

reservedNames : _RESERVED fieldNames ';' {
        names, commas := $2.toNodes()
        $$ = ast.NewReservedNamesNode($1.ToKeyword(), names, commas, $3)
	}

fieldNames : stringLit {
        $$ = &nameList{$1.toStringValueNode(), nil, nil}
    }
    | stringLit ',' fieldNames {
        $$ = &nameList{$1.toStringValueNode(), $2, $3}
    }

enum : _ENUM name '{' enumDecls '}' {
        $$ = ast.NewEnumNode($1.ToKeyword(), $2, $3, $4, $5)
	}

enumDecls : enumDecls enumDecl {
        if $2 != nil {
    		$$ = append($1, $2)
        } else {
            $$ = $1
        }
	}
	| enumDecl {
	    if $1 != nil {
    	    $$ = []ast.EnumElement{$1}
	    } else {
	        $$ = nil
	    }
	}
	| {
		$$ = nil
	}

enumDecl : option {
		$$ = $1
	}
	| enumValue {
		$$ = $1
	}
	| enumReserved {
		$$ = $1
	}
	| ';' {
	    $$ = ast.NewEmptyDeclNode($1)
	}
	| error ';' {
	    $$ = nil
	}
	| error {
	    $$ = nil
	}

enumValue : name '=' intLit ';' {
        $$ = ast.NewEnumValueNode($1, $2, $3, nil, $4)
	}
	|  name '=' intLit compactOptions ';' {
        $$ = ast.NewEnumValueNode($1, $2, $3, $4, $5)
	}

message : _MESSAGE name '{' messageDecls '}' {
        $$ = ast.NewMessageNode($1.ToKeyword(), $2, $3, $4, $5)
	}

messageDecls : messageDecls messageDecl {
        if $2 != nil {
    		$$ = append($1, $2)
        } else {
            $$ = $1
        }
	}
	| messageDecl {
	    if $1 != nil {
	        $$ = []ast.MessageElement{$1}
        } else {
            $$ = nil
        }
	}
	| {
		$$ = nil
	}

messageDecl : field {
		$$ = $1
	}
	| enum {
		$$ = $1
	}
	| message {
		$$ = $1
	}
	| extend {
		$$ = $1
	}
	| extensions {
		$$ = $1
	}
	| group {
		$$ = $1
	}
	| option {
		$$ = $1
	}
	| oneof {
		$$ = $1
	}
	| mapField {
		$$ = $1
	}
	| msgReserved {
		$$ = $1
	}
	| ';' {
		$$ = ast.NewEmptyDeclNode($1)
	}
	| error ';' {
	    $$ = nil
	}
	| error {
	    $$ = nil
	}

extend : _EXTEND typeIdent '{' extendDecls '}' {
        $$ = ast.NewExtendNode($1.ToKeyword(), $2, $3, $4, $5)
	}

extendDecls : extendDecls extendDecl {
        if $2 != nil {
    		$$ = append($1, $2)
        } else {
            $$ = $1
        }
	}
	| extendDecl {
	    if $1 != nil {
	        $$ = []ast.ExtendElement{$1}
        } else {
            $$ = nil
        }
	}
	| {
		$$ = nil
	}

extendDecl : field {
		$$ = $1
	}
	| group {
		$$ = $1
	}
	| ';' {
		$$ = ast.NewEmptyDeclNode($1)
	}
	| error ';' {
	    $$ = nil
	}
	| error {
	    $$ = nil
	}

service : _SERVICE name '{' serviceDecls '}' {
        $$ = ast.NewServiceNode($1.ToKeyword(), $2, $3, $4, $5)
	}

serviceDecls : serviceDecls serviceDecl {
        if $2 != nil {
    		$$ = append($1, $2)
        } else {
            $$ = $1
        }
	}
	| serviceDecl {
	    if $1 != nil {
	        $$ = []ast.ServiceElement{$1}
        } else {
            $$ = nil
        }
	}
	| {
		$$ = nil
	}

// NB: doc suggests support for "stream" declaration, separate from "rpc", but
// it does not appear to be supported in protoc (doc is likely from grammar for
// Google-internal version of protoc, with support for streaming stubby)
serviceDecl : option {
		$$ = $1
	}
	| rpc {
		$$ = $1
	}
	| ';' {
		$$ = ast.NewEmptyDeclNode($1)
	}
	| error ';' {
	    $$ = nil
	}
	| error {
	    $$ = nil
	}

rpc : _RPC name rpcType _RETURNS rpcType ';' {
        $$ = ast.NewRPCNode($1.ToKeyword(), $2, $3, $4.ToKeyword(), $5, $6)
	}
	| _RPC name rpcType _RETURNS rpcType '{' rpcDecls '}' {
        $$ = ast.NewRPCNodeWithBody($1.ToKeyword(), $2, $3, $4.ToKeyword(), $5, $6, $7, $8)
	}

rpcType : '(' _STREAM typeIdent ')' {
		$$ = ast.NewRPCTypeNode($1, $2.ToKeyword(), $3, $4)
	}
	| '(' typeIdent ')' {
		$$ = ast.NewRPCTypeNode($1, nil, $2, $3)
	}

rpcDecls : rpcDecls rpcDecl {
        if $2 != nil {
    		$$ = append($1, $2)
        } else {
            $$ = $1
        }
	}
	| rpcDecl {
	    if $1 != nil {
	        $$ = []ast.RPCElement{$1}
        } else {
            $$ = nil
        }
	}
	| {
		$$ = nil
	}

rpcDecl : option {
		$$ = $1
	}
	| ';' {
		$$ = ast.NewEmptyDeclNode($1)
	}
	| error ';' {
	    $$ = nil
	}
	| error {
	    $$ = nil
	}

name : _NAME
	| _SYNTAX
	| _IMPORT
	| _WEAK
	| _PUBLIC
	| _PACKAGE
	| _OPTION
	| _TRUE
	| _FALSE
	| _INF
	| _NAN
	| _REPEATED
	| _OPTIONAL
	| _REQUIRED
	| _DOUBLE
	| _FLOAT
	| _INT32
	| _INT64
	| _UINT32
	| _UINT64
	| _SINT32
	| _SINT64
	| _FIXED32
	| _FIXED64
	| _SFIXED32
	| _SFIXED64
	| _BOOL
	| _STRING
	| _BYTES
	| _GROUP
	| _ONEOF
	| _MAP
	| _EXTENSIONS
	| _TO
	| _MAX
	| _RESERVED
	| _ENUM
	| _MESSAGE
	| _EXTEND
	| _SERVICE
	| _RPC
	| _STREAM
	| _RETURNS

%%