stream.js 217 B

123
  1. export const Location = $.type("javax.xml.stream.Location");
  2. export const XMLStreamConstants = $.type("javax.xml.stream.XMLStreamConstants");
  3. export const XMLStreamReader = $.type("javax.xml.stream.XMLStreamReader");