toString method

@override String toString()

A string representation of this object.

Some classes have a default textual representation, often paired with a static parse function (like int.parse). These classes will provide the textual representation as their string representation.

Other classes have no meaningful textual representation that a program will care about. Such classes will typically override toString to provide useful information when inspecting the object, mainly for debugging or logging.

Implementation

@override
String toString() {
  return switch (this) {
    at => '@',
    colon => ':',
    comma => ',',
    endOfFile => 'EOF',
    equalitySign => '=',
    eroteme => '?',
    falsum => '⊥',
    identifier => 'identifier',
    importIdentifier => 'import identifier',
    importKeyword => 'import',
    leftBrace => '{',
    leftBracket => '[',
    leftParenthesis => '(',
    plusSign => '+',
    rightBrace => '}',
    rightBracket => ']',
    rightParenthesis => ')',
    slash => '/',
    typeKeyword => 'type',
    verum => '⊤',
  };
}