Java tutorial
/* * Copyright 2011 Google Inc. * * 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.google.gwt.dom.client; /** * Video element. * * <p> * <span style="color:red">Experimental API: This API is still under development * and is subject to change. * </span> * </p> * * @see <a href="http://www.w3.org/TR/html5/video.html#video">W3C HTML 5 Specification</a> */ @TagName(VideoElement.TAG) public class VideoElement extends MediaElement { /** * The tag for this element. */ public static final String TAG = "video"; /** * The audio type of MP4 encoded video. */ public static final String TYPE_MP4 = "video/mp4"; /** * The audio type of Ogg encoded video. */ public static final String TYPE_OGG = "video/ogg"; /** * The audio type of WebM encoded audio. */ public static final String TYPE_WEBM = "video/webm"; protected VideoElement() { } /** * Gets the height of the element. * * @return the height, in pixels * @see #setHeight(int) */ public final native int getHeight() /*-{ return this.height; }-*/; /** * Returns a poster URL. * * @return a URL containing a poster image * * @see #setPoster(String) */ public final native String getPoster() /*-{ return this.poster; }-*/; /** * Gets the intrinsic height of video within the element. * * @return the height, in pixels * @see #setHeight(int) */ public final native int getVideoHeight() /*-{ return this.videoHeight; }-*/; /** * Gets the instrinsic width of the video within the element. * * @return the width, in pixels * @see #setWidth(int) */ public final native int getVideoWidth() /*-{ return this.videoWidth; }-*/; /** * Gets the width of the element. * * @return the width, in pixels * @see #setWidth(int) */ public final native int getWidth() /*-{ return this.width; }-*/; /** * Sets the height of the element. * * @param height the height, in pixels * @see #getHeight() */ public final native void setHeight(int height) /*-{ this.height = height; }-*/; /** * Sets the poster URL. * * @param url the poster image URL * @see #getPoster */ public final native void setPoster(String url) /*-{ this.poster = url; }-*/; /** * Sets the width of the element. * * @param width the width, in pixels * @see #getWidth() */ public final native void setWidth(int width) /*-{ this.width = width; }-*/; }