toDotString method

String toDotString()

Serialize to a dot-separated string suitable for use as a JSON key.

Examples: "" (root), "0", "0.2.4". Round-trips with OccurrenceAddress.fromDotString.

Implementation

String toDotString() => path.join('.');