org.kiama.util.PositionedParserUtilities
A marker of a position. Used as a placeholder when there are no other suitable values associated with the position.
A marker of a position. Used as a placeholder when there are no other suitable values associated with the position.