// Generated source. // Generator: org.chromium.sdk.internal.wip.tools.protocolgenerator.Generator // Origin: http://svn.webkit.org/repository/webkit/trunk/Source/WebCore/inspector/Inspector.json@96703 package org.chromium.sdk.internal.wip.protocol.output.dom; /** Configuration data for the highlighting of page elements. */ public class HighlightConfigParam extends org.json.simple.JSONObject { /** @param showInfoOpt Whether the node info tooltip should be shown (default: false). @param contentColorOpt The content box highlight fill color (default: transparent). @param paddingColorOpt The padding highlight fill color (default: transparent). @param borderColorOpt The border highlight fill color (default: transparent). @param marginColorOpt The margin highlight fill color (default: transparent). */ public HighlightConfigParam(Boolean showInfoOpt, org.chromium.sdk.internal.wip.protocol.output.dom.RGBAParam contentColorOpt, org.chromium.sdk.internal.wip.protocol.output.dom.RGBAParam paddingColorOpt, org.chromium.sdk.internal.wip.protocol.output.dom.RGBAParam borderColorOpt, org.chromium.sdk.internal.wip.protocol.output.dom.RGBAParam marginColorOpt) { if (showInfoOpt != null) { this.put("showInfo", showInfoOpt); } if (contentColorOpt != null) { this.put("contentColor", contentColorOpt); } if (paddingColorOpt != null) { this.put("paddingColor", paddingColorOpt); } if (borderColorOpt != null) { this.put("borderColor", borderColorOpt); } if (marginColorOpt != null) { this.put("marginColor", marginColorOpt); } } }