<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">
package xmldom;

import java.io.FileReader;
import java.util.HashSet;
import java.util.Set;

import javax.xml.stream.XMLInputFactory;
import javax.xml.stream.events.XMLEvent;

public class Stax {

	public static void main(String[] args) throws Exception {
		Iterable&lt;Object&gt; er = ()-&gt;
		{
			try {
				return XMLInputFactory.newInstance()
				.createXMLEventReader(new FileReader("/home/panitz/neuesSkript.xml"));
			} catch (Exception e) {
				return null;
			}
		};
		int nr=0;
		Set&lt;String&gt; tags = new HashSet&lt;&gt;();
		for (var e:er) {
			var ev = (XMLEvent)e;
			if(ev.isStartElement()) {
				var se = ev.asStartElement();
				tags.add(se.getName()+"");
				nr++;
			}
			System.out.println(e);
		}
		System.out.println(nr);
		System.out.println(tags);
	}
}
</pre></body></html>