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 * Configuration options for editor padding. 36 */ 37 @SuppressWarnings("serial") 38 public class EditorPaddingOptions extends JSONObject implements Serializable { 39 private Object writeReplace() throws ObjectStreamException { 40 return new SerializedEditorPaddingOptions(this); 41 } 42 43 private static class SerializedEditorPaddingOptions implements Serializable { 44 private String json; 45 46 public SerializedEditorPaddingOptions(EditorPaddingOptions editorPaddingOptions) { 47 this.json = editorPaddingOptions.toString(); 48 } 49 50 private Object readResolve() throws ObjectStreamException { 51 final EditorPaddingOptions editorPaddingOptions = new EditorPaddingOptions(); 52 final JSONObject data = new JSONObject(json); 53 for (final String key : data.keySet()) { 54 final Object value = data.get(key); 55 editorPaddingOptions.put(key, value); 56 } 57 return editorPaddingOptions; 58 } 59 } 60 61 /** 62 * @return Spacing between bottom edge of editor and last line. 63 */ 64 public Number getBottom() { 65 return (Number) (has("bottom") ? get("bottom") : null); 66 } 67 68 /** 69 * @param bottom Spacing between bottom edge of editor and last line. 70 * @return This same instance, useful for chaining multiple setter methods in one call. 71 */ 72 public EditorPaddingOptions setBottom(final Number bottom) { 73 put("bottom", bottom); 74 return this; 75 } 76 77 /** 78 * @return Spacing between top edge of editor and first line. 79 */ 80 public Number getTop() { 81 return (Number) (has("top") ? get("top") : null); 82 } 83 84 /** 85 * @param top Spacing between top edge of editor and first line. 86 * @return This same instance, useful for chaining multiple setter methods in one call. 87 */ 88 public EditorPaddingOptions setTop(final Number top) { 89 put("top", top); 90 return this; 91 } 92 93 /** 94 * @return This options object as a serializable JSON object 95 */ 96 JSONObject getJSONObject() { 97 return this; 98 } 99 }