Xml.Tag should provide a method to read a specific attribute value

[bmuschko]

What problem are you trying to solve?

I am reading information from a Xml.Tag via the XmlIsoVisitor.visitTag method. I have to read the value of a specific attribute.

Right now, this is harder than it needs to be.

List<Xml.Attribute> attributes = tag.getAttributes();
String attributeValue = getAttributeValue(attributes, "myattribute");

private String getAttributeValue(List<Xml.Attribute> attributes, String attributeName) {
    Optional<Xml.Attribute> attribute = attributes.stream().filter(a -> attributeName.equals(a.getKeyAsString())).findFirst();
    return attribute.map(Xml.Attribute::getValueAsString).orElse(null);
}

Describe the solution you'd like

I'd like to see a convenience method that does something similar to getAttributeValue. Is this something you'd consider?

Have you considered any alternatives or workarounds?

Yes, see method above.

Additional context

N/A

Are you interested in [contributing this feature to OpenRewrite]

Yes