dom.js 1.2 KB

12345678910111213141516171819
  1. export const Attr = $.type("org.w3c.dom.Attr");
  2. export const CDATASection = $.type("org.w3c.dom.CDATASection");
  3. export const CharacterData = $.type("org.w3c.dom.CharacterData");
  4. export const Comment = $.type("org.w3c.dom.Comment");
  5. export const DOMConfiguration = $.type("org.w3c.dom.DOMConfiguration");
  6. export const DOMImplementation = $.type("org.w3c.dom.DOMImplementation");
  7. export const DOMStringList = $.type("org.w3c.dom.DOMStringList");
  8. export const Document = $.type("org.w3c.dom.Document");
  9. export const DocumentFragment = $.type("org.w3c.dom.DocumentFragment");
  10. export const DocumentType = $.type("org.w3c.dom.DocumentType");
  11. export const Element = $.type("org.w3c.dom.Element");
  12. export const EntityReference = $.type("org.w3c.dom.EntityReference");
  13. export const NamedNodeMap = $.type("org.w3c.dom.NamedNodeMap");
  14. export const Node = $.type("org.w3c.dom.Node");
  15. export const NodeList = $.type("org.w3c.dom.NodeList");
  16. export const ProcessingInstruction = $.type("org.w3c.dom.ProcessingInstruction");
  17. export const Text = $.type("org.w3c.dom.Text");
  18. export const TypeInfo = $.type("org.w3c.dom.TypeInfo");
  19. export const UserDataHandler = $.type("org.w3c.dom.UserDataHandler");