
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<Object> er = ()->
		{
			try {
				return XMLInputFactory.newInstance()
				.createXMLEventReader(new FileReader("/home/panitz/neuesSkript.xml"));
			} catch (Exception e) {
				return null;
			}
		};
		int nr=0;
		Set<String> tags = new HashSet<>();
		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);
	}
}
