diff options
author | Jon Bratseth <bratseth@vespa.ai> | 2023-10-07 09:50:15 +0200 |
---|---|---|
committer | Jon Bratseth <bratseth@vespa.ai> | 2023-10-07 09:50:15 +0200 |
commit | b379c30b870594defd4ef5631ac09b2897aefcd1 (patch) | |
tree | 19a0d27dad179e58aed005dd89d53c3f1be158db /config-model/src/main/javacc | |
parent | 56263ccd8371b22e62f9db146e0c0bc3dffe7777 (diff) |
Support inheriting multiple document summaries
Diffstat (limited to 'config-model/src/main/javacc')
-rw-r--r-- | config-model/src/main/javacc/SchemaParser.jj | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/config-model/src/main/javacc/SchemaParser.jj b/config-model/src/main/javacc/SchemaParser.jj index 42eeabb5ac7..3109ad42062 100644 --- a/config-model/src/main/javacc/SchemaParser.jj +++ b/config-model/src/main/javacc/SchemaParser.jj @@ -1461,10 +1461,8 @@ void inheritsDocumentSummary(ParsedDocumentSummary documentSummary) : String name; } { - <INHERITS> name = identifierWithDash() - { - documentSummary.inherit(name); - } + <INHERITS> name = identifierWithDash() { documentSummary.inherit(name); } + ( <COMMA> name = identifierWithDash() { documentSummary.inherit(name); } )* } /** |