public class PlayerWidget
extends com.google.gwt.user.client.ui.Widget
The widget manages the DOM object of players as created by the PlayerElement
helper
class.
PlayerElement
Constructor and Description |
---|
PlayerWidget(String playerProvider,
String playerName,
String playerId,
String mediaURL,
boolean autoplay)
Creates a PlayerWidget
|
Modifier and Type | Method and Description |
---|---|
void |
addParam(String name,
String value)
Adds the specified parameters to the element.
|
String |
getParam(String name)
Returns the value of the specified parameter
|
protected void |
onLoad() |
void |
removeParam(String name)
Removes the specified parameter from the parameter map.
|
void |
replace(String playerProvider,
String playerName,
String playerId,
String mediaURL,
boolean autoplay)
Replaces the DOM object of this widget with another created with the specified information
|
void |
setHeight(String height) |
void |
setWidth(String width) |
addAttachHandler, addBitlessDomHandler, addDomHandler, addHandler, asWidget, asWidgetOrNull, createHandlerManager, delegateEvent, doAttachChildren, doDetachChildren, fireEvent, getHandlerCount, getLayoutData, getParent, isAttached, isOrWasAttached, onAttach, onBrowserEvent, onDetach, onUnload, removeFromParent, setLayoutData, sinkEvents
addStyleDependentName, addStyleName, ensureDebugId, ensureDebugId, ensureDebugId, getAbsoluteLeft, getAbsoluteTop, getElement, getOffsetHeight, getOffsetWidth, getStyleElement, getStyleName, getStyleName, getStylePrimaryName, getStylePrimaryName, getTitle, isVisible, isVisible, onEnsureDebugId, removeStyleDependentName, removeStyleName, resolvePotentialElement, setElement, setElement, setPixelSize, setSize, setStyleDependentName, setStyleName, setStyleName, setStyleName, setStyleName, setStylePrimaryName, setStylePrimaryName, setTitle, setVisible, setVisible, sinkBitlessEvent, toString, unsinkEvents
public PlayerWidget(String playerProvider, String playerName, String playerId, String mediaURL, boolean autoplay)
playerProvider
- the player provider to consult for browser-specific implementationsplayerName
- the name of the player to be createdplayerId
- the DOM ID of the playermediaURL
- the URL of the media to be embeddedautoplay
- true
to autoplay the media, false
otherwise.public void addParam(String name, String value)
name
- the name of the parametervalue
- the value of the parameterpublic void removeParam(String name)
name
- the parameter to be removed from the parameter mappublic String getParam(String name)
name
- the parameterprotected void onLoad()
onLoad
in class com.google.gwt.user.client.ui.Widget
public void setHeight(String height)
setHeight
in class com.google.gwt.user.client.ui.UIObject
public void setWidth(String width)
setWidth
in class com.google.gwt.user.client.ui.UIObject
public void replace(String playerProvider, String playerName, String playerId, String mediaURL, boolean autoplay)
playerProvider
- the player provider to consult for browser-specific implementationsplayerName
- the name of the player to be createdplayerId
- the DOM ID of the playermediaURL
- the URL of the media to be embeddedautoplay
- true
to autoplay the media, false
otherwise.Copyright © 2009-2013. All Rights Reserved.