childNodes
не может быть напечатан как набор из Dom_html.element
с, поскольку возвращаемые узлы могут и, вероятно, будут включать узлы, которые не являются element
с, например текстовые узлы.
Стандарт DOM определяет свойство children
для Element
, которое будет возвращать только элементы, но все равно не приведет вас к Dom_html.element
.И, к сожалению, он также, похоже, не включен в JSOO Dom.element
.
. Вы можете использовать функцию element
Dom.CoerceTo
, чтобы безопасно привести Dom.node
с к Dom.element
s, но я не думаю, что есть вообще какой-либо надежный способ перейти от Dom.element
к Dom_html.element
, потому что DOM, к сожалению, слишком динамически набирается.
Возможно, вам придется проверить tagName
вручную и (небезопасно) разыграть его, используя Js.Unsafe.coerce
.