Class SourceElement


  • @TagName("source")
    public class SourceElement
    extends Element
    The SOURCE element specifies one of potentially multiple source file in a media element.
    See Also:
    W3C HTML Specification
    • Constructor Detail

      • SourceElement

        protected SourceElement()
    • Method Detail

      • as

        public static SourceElement as​(Element elem)
        Assert that the given Element is compatible with this class and automatically typecast it.
      • is

        public static boolean is​(JavaScriptObject o)
        Determines whether the given JavaScriptObject can be cast to this class. A null object will cause this method to return false.
      • is

        public static boolean is​(Node node)
        Determine whether the given Node can be cast to this class. A null node will cause this method to return false.
      • is

        public static boolean is​(Element elem)
        Determine whether the given Element can be cast to this class. A null node will cause this method to return false.
      • getSrc

        public final java.lang.String getSrc()
        Returns the source URL for the media, or null if none is set.
        Returns:
        a String URL or null
        See Also:
        setSrc(String)
      • getType

        public final java.lang.String getType()
        Returns the type of media represented by the src, or null if none is set.
        Returns:
        a String type, or null
        See Also:
        setType(String)
      • setSrc

        public final void setSrc​(java.lang.String url)
        Sets the source URL for the media.
        Parameters:
        url - a String URL
        See Also:
        getSrc()
      • setType

        public final void setType​(java.lang.String type)
        Sets the type of media represented by the src. The browser will look at the type when deciding which source files to request from the server.

        The type is the format or encoding of the media represented by the source element. For example, the type of an AudioElement could be one of "audio/ogg", AudioElement.TYPE_MP3, or AudioElement.TYPE_WAV.

        You can also add the codec information to the type, giving the browser even more information about whether or not it can play the file (Example: " audio/ogg; codec=vorbis");

        Parameters:
        type - the media type
        See Also:
        getType()