1
2
3
4
5
6
7
8
9
10
11
12
13
14
15 package org.htmlunit.javascript.host.html;
16
17 import org.htmlunit.html.HtmlVideo;
18 import org.htmlunit.javascript.configuration.JsxClass;
19 import org.htmlunit.javascript.configuration.JsxConstructor;
20 import org.htmlunit.javascript.configuration.JsxGetter;
21 import org.htmlunit.javascript.configuration.JsxSetter;
22
23
24
25
26
27
28
29
30 @JsxClass(domClass = HtmlVideo.class)
31 public class HTMLVideoElement extends HTMLMediaElement {
32
33
34
35
36 @Override
37 @JsxConstructor
38 public void jsConstructor() {
39 super.jsConstructor();
40 }
41
42
43
44
45
46 @JsxGetter
47 public int getWidth() {
48 final String value = getDomNodeOrDie().getAttributeDirect("width");
49 final Integer intValue = HTMLCanvasElement.getValue(value);
50 if (intValue != null) {
51 return intValue;
52 }
53 return 0;
54 }
55
56
57
58
59
60 @JsxSetter
61 public void setWidth(final int width) {
62 getDomNodeOrDie().setAttribute("width", Integer.toString(width));
63 }
64
65
66
67
68
69 @JsxGetter
70 public int getHeight() {
71 final String value = getDomNodeOrDie().getAttributeDirect("height");
72 final Integer intValue = HTMLCanvasElement.getValue(value);
73 if (intValue != null) {
74 return intValue;
75 }
76 return 0;
77 }
78
79
80
81
82
83 @JsxSetter
84 public void setHeight(final int height) {
85 getDomNodeOrDie().setAttribute("height", Integer.toString(height));
86 }
87
88 @Override
89 protected String getNodeNameCustomize() {
90 return "VIDEO";
91 }
92 }