diff options
| author | Jon Bratseth <bratseth@gmail.com> | 2022-01-28 12:34:59 +0100 |
|---|---|---|
| committer | Jon Bratseth <bratseth@gmail.com> | 2022-01-28 12:34:59 +0100 |
| commit | ad5a26fb5fed5b8c29a997ecb3216a941df3e0b5 (patch) | |
| tree | 570b76354ed5222026066b845f32c543e21b1016 /config-model/src/main/javacc/SDParser.jj | |
| parent | f64be46a37319129c640451dcff10fc067535e15 (diff) | |
Support multiple inheritance of rank profiles
Diffstat (limited to 'config-model/src/main/javacc/SDParser.jj')
| -rw-r--r-- | config-model/src/main/javacc/SDParser.jj | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/config-model/src/main/javacc/SDParser.jj b/config-model/src/main/javacc/SDParser.jj index b4d2af42f55..f4a6ac1b03d 100644 --- a/config-model/src/main/javacc/SDParser.jj +++ b/config-model/src/main/javacc/SDParser.jj @@ -2036,15 +2036,15 @@ Object rankProfileItem(RankProfile profile) : { } /** * This rule consumes an inherits statement of a rank-profile. * - * @param profile The profile to modify. + * @param profile the profile to modify */ void inheritsRankProfile(RankProfile profile) : { - String str; + String name; } { - <INHERITS> str = identifierWithDash() - { profile.setInherited(str); } + <INHERITS> name = identifierWithDash() { profile.inherit(name); } + ( <COMMA> name = identifierWithDash() { profile.inherit(name);; } )* } /** |