%%%
%% Section 3.10.4: Character Literals
%%
%% @author Martin Bravenboer <martin.bravenboer@gmail.com>
%%%
module languages/java-15/lexical/literals/CharacterLiterals
imports
languages/java-15/lexical/literals/EscapeSequences
languages/java-15/lexical/UnicodeEscapes
exports
sorts
CharLiteral
CharContent
SingleChar
syntax
CharLiteral -> <CharLiteral-CF>
"'" CharContent "'" -> CharLiteral {cons("Char")}
SingleChar -> CharContent {cons("Single")}
UnicodeEscape -> CharContent
EscapeSeq -> CharContent
~[\r\n\'\\] -> SingleChar