[java] RecordComponents -> RecordComponentList

This commit is contained in:
Andreas Dangel
2020-02-28 16:56:43 +01:00
parent e2d84d6741
commit 9917e3f422
8 changed files with 15 additions and 14 deletions

View File

@ -1131,15 +1131,15 @@ void RecordDeclaration(int modifiers):
}
t=<IDENTIFIER> {checkForBadTypeIdentifierUsage(t.image); jjtThis.setImage(t.image);}
[ TypeParameters() ]
"(" RecordComponents() ")"
RecordComponentList()
[ ImplementsList() ]
RecordBody()
}
void RecordComponents() :
void RecordComponentList() :
{}
{
RecordComponent() ("," RecordComponent())*
"(" RecordComponent() ("," RecordComponent())* ")"
}
void RecordComponent():