package def.dom;
public class HTMLScriptElement extends HTMLElement {
    public java.lang.Boolean async;
    /**
      * Sets or retrieves the character set used to encode the object.
      */
    public java.lang.String charset;
    /**
      * Sets or retrieves the status of the script.
      */
    public java.lang.Boolean defer;
    /**
      * Sets or retrieves the event for which the script is written. 
      */
    public java.lang.String event;
    /** 
      * Sets or retrieves the object that is bound to the event script.
      */
    public java.lang.String htmlFor;
    /**
      * Retrieves the URL to an external file that contains the source code or data.
      */
    public java.lang.String src;
    /**
      * Retrieves or sets the text of the object as a string. 
      */
    public java.lang.String text;
    /**
      * Sets or retrieves the MIME type for the associated scripting engine.
      */
    public java.lang.String type;
    public static HTMLScriptElement prototype;
    public HTMLScriptElement(){}
}

