123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115 |
- /*
- * Copyright 2000-2018 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);
- }
-
- /**
- * Sets the preload attribute that is intended to provide a hint to the
- * browser how the media should be preloaded. See
- * AbstractMedia.setPreload(PreloadMode) and PreloadMode for more
- * information.
- *
- * @param preload
- * preload mode
- * @since 7.7.11
- */
- public void setPreload(final String preload) {
- media.setPreload(preload);
- }
-
- /**
- * Enables or disables looping.
- *
- * @param loop
- * if true, enable looping
- * @since 7.7.11
- */
- public void setLoop(final boolean loop) {
- media.setLoop(loop);
- }
-
- 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);
- }
- }
|