toDotString method
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('.');
Serialize to a dot-separated string suitable for use as a JSON key.
Examples: "" (root), "0", "0.2.4".
Round-trips with OccurrenceAddress.fromDotString.
String toDotString() => path.join('.');