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 => ',',
    doubleLiteral => 'double literal',
    endOfFile => 'EOF',
    equalitySign => '=',
    eroteme => '?',
    falseKeyword => 'false',
    falsum => '⊥',
    identifier => 'identifier',
    importIdentifier => 'import identifier',
    importKeyword => 'import',
    integerLiteral => 'integer literal',
    leftBrace => '{',
    leftBracket => '[',
    leftParenthesis => '(',
    letKeyword => 'let',
    plusSign => '+',
    reserved => 'reserved token',
    rightBrace => '}',
    rightBracket => ']',
    rightParenthesis => ')',
    slash => '/',
    stringLiteral => 'string literal',
    trueKeyword => 'true',
    typeKeyword => 'type',
    unitLiteral => '()',
    verum => '⊤',
  };
}