// Generated by esidl 0.4.0. package org.w3c.dom.html; public interface HTMLDataListElement extends HTMLElement { // HTMLDataListElement public HTMLCollection getOptions(); }