TreeFacts constructor
TreeFacts({})
Creates a snapshot, defensively copying texts and anchors —
the tree keeps moving after the walk, and mutable input buffers
(the emitted walker's accumulators, test seams) must never leak
into an immutable snapshot.
Implementation
TreeFacts({
List<String> texts = const [],
Set<String> anchors = const {},
this.hasProgressIndicator = false,
this.platform,
}) : _texts = List.unmodifiable(texts),
_anchors = Set.unmodifiable(anchors);