Java tutorial
/* * Copyright 2000-2014 Vaadin Ltd. * * Licensed under the Apache License, Version 2.0 (the "License"); you may not * use this file except in compliance with the License. You may obtain a copy of * the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the * License for the specific language governing permissions and limitations under * the License. */ package com.vaadin.client.ui; import com.google.gwt.dom.client.Document; import com.google.gwt.dom.client.Element; import com.google.gwt.dom.client.MediaElement; import com.google.gwt.dom.client.NodeList; import com.google.gwt.dom.client.SourceElement; import com.google.gwt.dom.client.Text; import com.google.gwt.user.client.ui.Widget; public abstract class VMediaBase extends Widget { private MediaElement media; private Text altText; /** * Sets the MediaElement that is to receive all commands and properties. * * @param element */ public void setMediaElement(MediaElement element) { setElement(element); media = element; } public void play() { media.play(); } public void pause() { media.pause(); } public void setAltText(String alt) { if (altText == null) { altText = Document.get().createTextNode(alt); media.appendChild(altText); } else { altText.setNodeValue(alt); } } public void setControls(boolean shouldShowControls) { media.setControls(shouldShowControls); } public void setAutoplay(boolean shouldAutoplay) { media.setAutoplay(shouldAutoplay); } public void setMuted(boolean mediaMuted) { media.setMuted(mediaMuted); } public void removeAllSources() { NodeList<com.google.gwt.dom.client.Element> l = media.getElementsByTagName(SourceElement.TAG); for (int i = l.getLength() - 1; i >= 0; i--) { media.removeChild(l.getItem(i)); } } public void load() { media.load(); } public void addSource(String sourceUrl, String sourceType) { Element src = Document.get().createElement(SourceElement.TAG); src.setAttribute("src", sourceUrl); src.setAttribute("type", sourceType); media.appendChild(src); } }