Extractor for the accumulated attributes of a tree.
Extractor for all attributes of a tree (alias for Attr.unapply()).
Constructor that discards accumulated and inherited attributes.
Constructor that discards accumulated attributes.
Collects attributes in a specified type of collection.
Collects key -> value attributes in a Map.
Extractor for the inherited attributes of a tree.
Extractor that discards the attributes of a tree.
Extractor for the synthesized attributes of a tree.