git: openjdk/jdk: 8255797: ciReplay: improve documentation of replay file syntax in parser

[Tobias Hartmann]

Changeset: c7a2c245
Author:    Roberto Castañeda Lozano <rcastanedalo at openjdk.org>
Committer: Tobias Hartmann <thartmann at openjdk.org>
Date:      2020-11-04 07:32:21 +0000
URL:       https://github.com/openjdk/jdk/commit/c7a2c245

8255797: ciReplay: improve documentation of replay file syntax in parser

Complete and disambiguate the informal specification of the replay file syntax
given in the ciReplay class implementation.

Reviewed-by: kvn, thartmann

! src/hotspot/share/ci/ciReplay.cpp