Symbol chars are characters used by Gobstones lexer to separate
and organize words in a Gobstones program, when they do not appear inside a muncher -- see
MuncherSigils documentation for an explanation on munchers.
They include characters for line separation, for indentation and for punctuation and
organization of the code.
It constitutes one of the elements of the WordsDef interface.
Line separator chars are used by the lexer to identify the end of a line.
This has impact in how tokens and error messages report their position in
Gobstones lexer.
Whitespace chars are ignored by the Gobstones lexer when they do not
appear inside strings or comments.
Whitespace chars includes all line separator chars, plus those indicated in this field.
They can be used to indent the code.
Punctuation chars are those using for punctuation and organization of the code.
They are important because the lexer identify all characters that are not whitespace or
punctuation chars, and are not consumed by a muncher, as being regular chars, used as part
of numbers or identifiers.
Symbol chars are characters used by Gobstones lexer to separate and organize words in a Gobstones program, when they do not appear inside a muncher -- see MuncherSigils documentation for an explanation on munchers. They include characters for line separation, for indentation and for punctuation and organization of the code.
It constitutes one of the elements of the WordsDef interface.
Line separator chars are used by the lexer to identify the end of a line. This has impact in how tokens and error messages report their position in Gobstones lexer.
Whitespace chars are ignored by the Gobstones lexer when they do not appear inside strings or comments. Whitespace chars includes all line separator chars, plus those indicated in this field. They can be used to indent the code.
Punctuation chars are those using for punctuation and organization of the code. They are important because the lexer identify all characters that are not whitespace or punctuation chars, and are not consumed by a muncher, as being regular chars, used as part of numbers or identifiers.