View Javadoc
1   /*
2    * Copyright (c) 2002-2026 Gargoyle Software Inc.
3    *
4    * Licensed under the Apache License, Version 2.0 (the "License");
5    * you may not use this file except in compliance with the License.
6    * You may obtain a copy of the License at
7    * https://www.apache.org/licenses/LICENSE-2.0
8    *
9    * Unless required by applicable law or agreed to in writing, software
10   * distributed under the License is distributed on an "AS IS" BASIS,
11   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12   * See the License for the specific language governing permissions and
13   * limitations under the License.
14   */
15  package org.htmlunit.javascript.host.html;
16  
17  import org.htmlunit.html.HtmlExample;
18  import org.htmlunit.html.HtmlListing;
19  import org.htmlunit.html.HtmlPreformattedText;
20  import org.htmlunit.javascript.configuration.JsxClass;
21  import org.htmlunit.javascript.configuration.JsxConstructor;
22  import org.htmlunit.javascript.configuration.JsxGetter;
23  import org.htmlunit.javascript.configuration.JsxSetter;
24  
25  /**
26   * The JavaScript object {@code HTMLPreElement}.
27   *
28   * @author Ahmed Ashour
29   * @author Ronald Brill
30   *
31   * @see <a href="https://developer.mozilla.org/en-US/docs/Web/API/HTMLPreElement">MDN Documentation</a>
32   */
33  @JsxClass(domClass = HtmlExample.class)
34  @JsxClass(domClass = HtmlPreformattedText.class)
35  @JsxClass(domClass = HtmlListing.class)
36  public class HTMLPreElement extends HTMLElement {
37  
38      /**
39       * JavaScript constructor.
40       */
41      @Override
42      @JsxConstructor
43      public void jsConstructor() {
44          super.jsConstructor();
45      }
46  
47      /**
48       * Returns the {@code width} property.
49       * @return the {@code width} property
50       */
51      @JsxGetter(propertyName = "width")
52      public Integer getWidth_js() {
53          final String value = getDomNodeOrDie().getAttributeDirect("width");
54          final Integer intValue = HTMLCanvasElement.getValue(value);
55          if (intValue != null) {
56              return intValue;
57          }
58          return 0;
59      }
60  
61      /**
62       * Sets the {@code width} property.
63       * @param width the {@code width} property value
64       */
65      @JsxSetter(propertyName = "width")
66      public void setWidth_js(final String width) {
67          getDomNodeOrDie().setAttribute("width", width);
68      }
69  }