blob: 71b2e38ef3f6d58d47c7ade2df910e8d15f71d24 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
|
/*
@VaadinApache2LicenseForJavaFiles@
*/
package com.vaadin.ui;
import java.util.ArrayList;
import java.util.List;
import com.vaadin.shared.communication.URLReference;
import com.vaadin.shared.ui.AbstractMediaState;
import com.vaadin.shared.ui.MediaControl;
import com.vaadin.terminal.Resource;
import com.vaadin.terminal.gwt.server.ResourceReference;
/**
* Abstract base class for the HTML5 media components.
*
* @author Vaadin Ltd
*/
public abstract class AbstractMedia extends AbstractComponent {
@Override
public AbstractMediaState getState() {
return (AbstractMediaState) super.getState();
}
/**
* Sets a single media file as the source of the media component.
*
* @param source
*/
public void setSource(Resource source) {
clearSources();
addSource(source);
}
private void clearSources() {
getState().getSources().clear();
getState().getSourceTypes().clear();
}
/**
* Adds an alternative media file to the sources list. Which of the sources
* is used is selected by the browser depending on which file formats it
* supports. See <a
* href="http://en.wikipedia.org/wiki/HTML5_video#Table">wikipedia</a> for a
* table of formats supported by different browsers.
*
* @param source
*/
public void addSource(Resource source) {
if (source != null) {
getState().getSources().add(new ResourceReference(source));
getState().getSourceTypes().add(source.getMIMEType());
requestRepaint();
}
}
/**
* Set multiple sources at once. Which of the sources is used is selected by
* the browser depending on which file formats it supports. See <a
* href="http://en.wikipedia.org/wiki/HTML5_video#Table">wikipedia</a> for a
* table of formats supported by different browsers.
*
* @param sources
*/
public void setSources(Resource... sources) {
clearSources();
for (Resource source : sources) {
addSource(source);
}
}
/**
* @return The sources pointed to in this media.
*/
public List<Resource> getSources() {
ArrayList<Resource> sources = new ArrayList<Resource>();
for (URLReference ref : getState().getSources()) {
sources.add(((ResourceReference) ref).getResource());
}
return sources;
}
/**
* Sets whether or not the browser should show native media controls.
*
* @param showControls
*/
public void setShowControls(boolean showControls) {
getState().setShowControls(showControls);
requestRepaint();
}
/**
* @return true if the browser is to show native media controls.
*/
public boolean isShowControls() {
return getState().isShowControls();
}
/**
* Sets the alternative text to be displayed if the browser does not support
* HTML5. This text is rendered as HTML if
* {@link #setHtmlContentAllowed(boolean)} is set to true. With HTML
* rendering, this method can also be used to implement fallback to a
* flash-based player, see the <a href=
* "https://developer.mozilla.org/En/Using_audio_and_video_in_Firefox#Using_Flash"
* >Mozilla Developer Network</a> for details.
*
* @param altText
*/
public void setAltText(String altText) {
getState().setAltText(altText);
requestRepaint();
}
/**
* @return The text/html that is displayed when a browser doesn't support
* HTML5.
*/
public String getAltText() {
return getState().getAltText();
}
/**
* Set whether the alternative text ({@link #setAltText(String)}) is
* rendered as HTML or not.
*
* @param htmlContentAllowed
*/
public void setHtmlContentAllowed(boolean htmlContentAllowed) {
getState().setHtmlContentAllowed(htmlContentAllowed);
requestRepaint();
}
/**
* @return true if the alternative text ({@link #setAltText(String)}) is to
* be rendered as HTML.
*/
public boolean isHtmlContentAllowed() {
return getState().isHtmlContentAllowed();
}
/**
* Sets whether the media is to automatically start playback when enough
* data has been loaded.
*
* @param autoplay
*/
public void setAutoplay(boolean autoplay) {
getState().setAutoplay(autoplay);
requestRepaint();
}
/**
* @return true if the media is set to automatically start playback.
*/
public boolean isAutoplay() {
return getState().isAutoplay();
}
/**
* Set whether to mute the audio or not.
*
* @param muted
*/
public void setMuted(boolean muted) {
getState().setMuted(muted);
requestRepaint();
}
/**
* @return true if the audio is muted.
*/
public boolean isMuted() {
return getState().isMuted();
}
/**
* Pauses the media.
*/
public void pause() {
getRpcProxy(MediaControl.class).pause();
}
/**
* Starts playback of the media.
*/
public void play() {
getRpcProxy(MediaControl.class).play();
}
}
|
