View Javadoc
1   
2   /*
3    * Copyright (c) 2011-2022 PrimeFaces Extensions
4    *
5    *  Permission is hereby granted, free of charge, to any person obtaining a copy
6    *  of this software and associated documentation files (the "Software"), to deal
7    *  in the Software without restriction, including without limitation the rights
8    *  to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
9    *  copies of the Software, and to permit persons to whom the Software is
10   *  furnished to do so, subject to the following conditions:
11   *
12   *  The above copyright notice and this permission notice shall be included in
13   *  all copies or substantial portions of the Software.
14   *
15   *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16   *  IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17   *  FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
18   *  AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19   *  LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20   *  OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
21   *  THE SOFTWARE.
22   */
23  
24  package org.primefaces.extensions.model.monacoeditor;
25  
26  import org.primefaces.shaded.json.*;
27  import java.io.ObjectStreamException;
28  import java.io.Serializable;
29  
30  // ============================================================
31  // THIS FILE WAS GENERATED AUTOMATICALLY. DO NOT EDIT DIRECTLY.
32  // ============================================================
33  
34  /**
35   * The initial editor dimension (to avoid measuring the container).
36   */
37  @SuppressWarnings("serial")
38  public class EditorDimension extends JSONObject implements Serializable {
39      private Object writeReplace() throws ObjectStreamException {
40          return new SerializedEditorDimension(this);
41      }
42  
43      private static class SerializedEditorDimension implements Serializable {
44          private String json;
45  
46          public SerializedEditorDimension(EditorDimension editorDimension) {
47              this.json = editorDimension.toString();
48          }
49  
50          private Object readResolve() throws ObjectStreamException {
51              final EditorDimension editorDimension = new EditorDimension();
52              final JSONObject data = new JSONObject(json);
53              for (final String key : data.keySet()) {
54                  final Object value = data.get(key);
55                  editorDimension.put(key, value);
56              }
57              return editorDimension;
58          }
59      }
60  
61      public Number getHeight() {
62          return (Number) (has("height") ? get("height") : null);
63      }
64  
65      public EditorDimension setHeight(final Number height) {
66          put("height", height);
67          return this;
68      }
69  
70      public Number getWidth() {
71          return (Number) (has("width") ? get("width") : null);
72      }
73  
74      public EditorDimension setWidth(final Number width) {
75          put("width", width);
76          return this;
77      }
78  
79      /**
80       * @return This options object as a serializable JSON object
81       */
82      JSONObject getJSONObject() {
83          return this;
84      }
85  }