%%% %% Section 3.4: Line Terminators %% %% @author Martin Bravenboer <martin.bravenboer@gmail.com> %%% module languages/java-15/lexical/LineTerminators exports sorts LineTerminator CarriageReturn EndOfFile lexical syntax [\n] -> LineTerminator [\r][\n] -> LineTerminator CarriageReturn -> LineTerminator EndOfFile -> LineTerminator [\r] -> CarriageReturn lexical restrictions CarriageReturn -/- [\n] %% End of file is empty. lexical syntax -> EndOfFile lexical restrictions EndOfFile -/- ~[]