package Torello.Browser;

import java.util.*;
import javax.json.*;
import javax.json.stream.*;
import java.io.*;

import java.lang.reflect.Method;
import java.lang.reflect.Parameter;
import java.util.function.Function;

import Torello.Java.Additional.*;
import Torello.Java.JSON.*;

import static Torello.Java.JSON.JFlag.*;

import Torello.Java.StrCmpr;
import Torello.JavaDoc.StaticFunctional;
import Torello.JavaDoc.JDHeaderBackgroundImg;
import Torello.JavaDoc.Excuse;

/**
 * <SPAN CLASS=COPIEDJDK><B><CODE>[No Description Provided by Google]</CODE></B></SPAN>
 * 
 * <EMBED CLASS='external-html' DATA-FILE-ID=CODE_GEN_NOTE>
 */
@StaticFunctional(Excused={"counter"}, Excuses={Excuse.CONFIGURATION})
@JDHeaderBackgroundImg(EmbedTagFileID="WOOD_PLANK_NOTE")
public class Profiler
{
    // ********************************************************************************************
    // ********************************************************************************************
    // Class Header Stuff
    // ********************************************************************************************
    // ********************************************************************************************


    // No Pubic Constructors
    private Profiler () { }

    // These two Vector's are used by all the "Methods" exported by this class.  java.lang.reflect
    // is used to generate the JSON String's.  It saves thousands of lines of Auto-Generated Code.
    private static final Map<String, Vector<String>>    parameterNames = new HashMap<>();
    private static final Map<String, Vector<Class<?>>>  parameterTypes = new HashMap<>();

    // Some Methods do not take any parameters - for instance all the "enable()" and "disable()"
    // I simply could not get ride of RAW-TYPES and UNCHECKED warnings... so there are now,
    // offically, two empty-vectors.  One for String's, and the other for Classes.

    private static final Vector<String>     EMPTY_VEC_STR = new Vector<>();
    private static final Vector<Class<?>>   EMPTY_VEC_CLASS = new Vector<>();

    static
    {
        for (Method m : Profiler.class.getMethods())
        {
            // This doesn't work!  The parameter names are all "arg0" ... "argN"
            // It works for java.lang.reflect.Field, BUT NOT java.lang.reflect.Parameter!
            //
            // Vector<String> parameterNamesList = new Vector<>(); -- NOPE!

            Vector<Class<?>> parameterTypesList = new Vector<>();
        
            for (Parameter p : m.getParameters()) parameterTypesList.add(p.getType());

            parameterTypes.put(
                m.getName(),
                (parameterTypesList.size() > 0) ? parameterTypesList : EMPTY_VEC_CLASS
            );
        }
    }

    static
    {
        Vector<String> v = null;

        parameterNames.put("disable", EMPTY_VEC_STR);

        parameterNames.put("enable", EMPTY_VEC_STR);

        parameterNames.put("getBestEffortCoverage", EMPTY_VEC_STR);

        v = new Vector<String>(1);
        parameterNames.put("setSamplingInterval", v);
        Collections.addAll(v, new String[]
        { "interval", });

        parameterNames.put("start", EMPTY_VEC_STR);

        v = new Vector<String>(3);
        parameterNames.put("startPreciseCoverage", v);
        Collections.addAll(v, new String[]
        { "callCount", "detailed", "allowTriggeredUpdates", });

        parameterNames.put("startTypeProfile", EMPTY_VEC_STR);

        parameterNames.put("stop", EMPTY_VEC_STR);

        parameterNames.put("stopPreciseCoverage", EMPTY_VEC_STR);

        parameterNames.put("stopTypeProfile", EMPTY_VEC_STR);

        parameterNames.put("takePreciseCoverage", EMPTY_VEC_STR);

        parameterNames.put("takeTypeProfile", EMPTY_VEC_STR);
    }


    // ********************************************************************************************
    // ********************************************************************************************
    // Types - Static Inner Classes
    // ********************************************************************************************
    // ********************************************************************************************

    /** Profile node. Holds callsite information, execution statistics and child nodes. */
    public static class ProfileNode
        extends BaseType
        implements java.io.Serializable
    {
        /** For Object Serialization.  java.io.Serializable */
        protected static final long serialVersionUID = 1;
        
        public boolean[] optionals()
        { return new boolean[] { false, false, true, true, true, true, }; }
        
        /** Unique id of the node. */
        public final int id;
        
        /** Function location. */
        public final RunTime.CallFrame callFrame;
        
        /**
         * Number of samples where this node was on top of the call stack.
         * <BR />
         * <BR /><B>OPTIONAL</B>
         */
        public final Integer hitCount;
        
        /**
         * Child node ids.
         * <BR />
         * <BR /><B>OPTIONAL</B>
         */
        public final int[] children;
        
        /**
         * The reason of being not optimized. The function may be deoptimized or marked as don't
         * optimize.
         * <BR />
         * <BR /><B>OPTIONAL</B>
         */
        public final String deoptReason;
        
        /**
         * An array of source position ticks.
         * <BR />
         * <BR /><B>OPTIONAL</B>
         */
        public final Profiler.PositionTickInfo[] positionTicks;
        
        /**
         * Constructor
         *
         * @param id Unique id of the node.
         * 
         * @param callFrame Function location.
         * 
         * @param hitCount Number of samples where this node was on top of the call stack.
         * <BR /><B>OPTIONAL</B>
         * 
         * @param children Child node ids.
         * <BR /><B>OPTIONAL</B>
         * 
         * @param deoptReason 
         * The reason of being not optimized. The function may be deoptimized or marked as don't
         * optimize.
         * <BR /><B>OPTIONAL</B>
         * 
         * @param positionTicks An array of source position ticks.
         * <BR /><B>OPTIONAL</B>
         */
        public ProfileNode(
                int id, RunTime.CallFrame callFrame, Integer hitCount, int[] children, 
                String deoptReason, Profiler.PositionTickInfo[] positionTicks
            )
        {
            // Exception-Check(s) to ensure that if any parameters which are not declared as
            // 'Optional', but have a 'null' value anyway, that a NullPointerException shall throw.
            
            if (callFrame == null) BRDPC.throwNPE("callFrame");
            
            this.id             = id;
            this.callFrame      = callFrame;
            this.hitCount       = hitCount;
            this.children       = children;
            this.deoptReason    = deoptReason;
            this.positionTicks  = positionTicks;
        }
        
        /**
         * JSON Object Constructor
         * @param jo A Json-Object having data about an instance of {@code 'ProfileNode'}.
         */
        public ProfileNode (JsonObject jo)
        {
            this.id             = ReadPrimJSON.getInt(jo, "id");
            this.callFrame      = ReadJSON.getObject(jo, "callFrame", RunTime.CallFrame.class, false, true);
            this.hitCount       = ReadBoxedJSON.getInteger(jo, "hitCount", true);
            this.children = (jo.getJsonArray("children") == null)
                ? null
                : ReadArrJSON.DimN.intArr(jo.getJsonArray("children"), -1, 0, null, int[].class);
        
            this.deoptReason    = ReadJSON.getString(jo, "deoptReason", true, false);
            this.positionTicks = (jo.getJsonArray("positionTicks") == null)
                ? null
                : ReadArrJSON.DimN.objArr(jo.getJsonArray("positionTicks"), null, 0, Profiler.PositionTickInfo[].class);
        
        }
        
        
        /** Checks whether {@code 'this'} equals an input Java-{@code Object} */
        public boolean equals(Object other)
        {
            if (other == null)                       return false;
            if (other.getClass() != this.getClass()) return false;
        
            ProfileNode o = (ProfileNode) other;
        
            return
                    (this.id == o.id)
                &&  Objects.equals(this.callFrame, o.callFrame)
                &&  Objects.equals(this.hitCount, o.hitCount)
                &&  Arrays.equals(this.children, o.children)
                &&  Objects.equals(this.deoptReason, o.deoptReason)
                &&  Arrays.deepEquals(this.positionTicks, o.positionTicks);
        }
        
        /** Generates a Hash-Code for {@code 'this'} instance */
        public int hashCode()
        {
            return
                    this.id
                +   this.callFrame.hashCode()
                +   Objects.hashCode(this.hitCount)
                +   Arrays.hashCode(this.children)
                +   Objects.hashCode(this.deoptReason)
                +   Arrays.deepHashCode(this.positionTicks);
        }
    }
    
    /** Profile. */
    public static class Profile
        extends BaseType
        implements java.io.Serializable
    {
        /** For Object Serialization.  java.io.Serializable */
        protected static final long serialVersionUID = 1;
        
        public boolean[] optionals()
        { return new boolean[] { false, false, false, true, true, }; }
        
        /** The list of profile nodes. First item is the root node. */
        public final Profiler.ProfileNode[] nodes;
        
        /** Profiling start timestamp in microseconds. */
        public final Number startTime;
        
        /** Profiling end timestamp in microseconds. */
        public final Number endTime;
        
        /**
         * Ids of samples top nodes.
         * <BR />
         * <BR /><B>OPTIONAL</B>
         */
        public final int[] samples;
        
        /**
         * Time intervals between adjacent samples in microseconds. The first delta is relative to the
         * profile startTime.
         * <BR />
         * <BR /><B>OPTIONAL</B>
         */
        public final int[] timeDeltas;
        
        /**
         * Constructor
         *
         * @param nodes The list of profile nodes. First item is the root node.
         * 
         * @param startTime Profiling start timestamp in microseconds.
         * 
         * @param endTime Profiling end timestamp in microseconds.
         * 
         * @param samples Ids of samples top nodes.
         * <BR /><B>OPTIONAL</B>
         * 
         * @param timeDeltas 
         * Time intervals between adjacent samples in microseconds. The first delta is relative to the
         * profile startTime.
         * <BR /><B>OPTIONAL</B>
         */
        public Profile(
                Profiler.ProfileNode[] nodes, Number startTime, Number endTime, int[] samples, 
                int[] timeDeltas
            )
        {
            // Exception-Check(s) to ensure that if any parameters which are not declared as
            // 'Optional', but have a 'null' value anyway, that a NullPointerException shall throw.
            
            if (nodes == null)     BRDPC.throwNPE("nodes");
            if (startTime == null) BRDPC.throwNPE("startTime");
            if (endTime == null)   BRDPC.throwNPE("endTime");
            
            this.nodes       = nodes;
            this.startTime   = startTime;
            this.endTime     = endTime;
            this.samples     = samples;
            this.timeDeltas  = timeDeltas;
        }
        
        /**
         * JSON Object Constructor
         * @param jo A Json-Object having data about an instance of {@code 'Profile'}.
         */
        public Profile (JsonObject jo)
        {
            this.nodes = (jo.getJsonArray("nodes") == null)
                ? null
                : ReadArrJSON.DimN.objArr(jo.getJsonArray("nodes"), null, 0, Profiler.ProfileNode[].class);
        
            this.startTime   = ReadNumberJSON.get(jo, "startTime", false, true);
            this.endTime     = ReadNumberJSON.get(jo, "endTime", false, true);
            this.samples = (jo.getJsonArray("samples") == null)
                ? null
                : ReadArrJSON.DimN.intArr(jo.getJsonArray("samples"), -1, 0, null, int[].class);
        
            this.timeDeltas = (jo.getJsonArray("timeDeltas") == null)
                ? null
                : ReadArrJSON.DimN.intArr(jo.getJsonArray("timeDeltas"), -1, 0, null, int[].class);
        
        }
        
        
        /** Checks whether {@code 'this'} equals an input Java-{@code Object} */
        public boolean equals(Object other)
        {
            if (other == null)                       return false;
            if (other.getClass() != this.getClass()) return false;
        
            Profile o = (Profile) other;
        
            return
                    Arrays.deepEquals(this.nodes, o.nodes)
                &&  Objects.equals(this.startTime, o.startTime)
                &&  Objects.equals(this.endTime, o.endTime)
                &&  Arrays.equals(this.samples, o.samples)
                &&  Arrays.equals(this.timeDeltas, o.timeDeltas);
        }
        
        /** Generates a Hash-Code for {@code 'this'} instance */
        public int hashCode()
        {
            return
                    Arrays.deepHashCode(this.nodes)
                +   Objects.hashCode(this.startTime)
                +   Objects.hashCode(this.endTime)
                +   Arrays.hashCode(this.samples)
                +   Arrays.hashCode(this.timeDeltas);
        }
    }
    
    /** Specifies a number of samples attributed to a certain source position. */
    public static class PositionTickInfo
        extends BaseType
        implements java.io.Serializable
    {
        /** For Object Serialization.  java.io.Serializable */
        protected static final long serialVersionUID = 1;
        
        public boolean[] optionals()
        { return new boolean[] { false, false, }; }
        
        /** Source line number (1-based). */
        public final int line;
        
        /** Number of samples attributed to the source line. */
        public final int ticks;
        
        /**
         * Constructor
         *
         * @param line Source line number (1-based).
         * 
         * @param ticks Number of samples attributed to the source line.
         */
        public PositionTickInfo(int line, int ticks)
        {
            this.line   = line;
            this.ticks  = ticks;
        }
        
        /**
         * JSON Object Constructor
         * @param jo A Json-Object having data about an instance of {@code 'PositionTickInfo'}.
         */
        public PositionTickInfo (JsonObject jo)
        {
            this.line   = ReadPrimJSON.getInt(jo, "line");
            this.ticks  = ReadPrimJSON.getInt(jo, "ticks");
        }
        
        
        /** Checks whether {@code 'this'} equals an input Java-{@code Object} */
        public boolean equals(Object other)
        {
            if (other == null)                       return false;
            if (other.getClass() != this.getClass()) return false;
        
            PositionTickInfo o = (PositionTickInfo) other;
        
            return
                    (this.line == o.line)
                &&  (this.ticks == o.ticks);
        }
        
        /** Generates a Hash-Code for {@code 'this'} instance */
        public int hashCode()
        {
            return
                    this.line
                +   this.ticks;
        }
    }
    
    /** Coverage data for a source range. */
    public static class CoverageRange
        extends BaseType
        implements java.io.Serializable
    {
        /** For Object Serialization.  java.io.Serializable */
        protected static final long serialVersionUID = 1;
        
        public boolean[] optionals()
        { return new boolean[] { false, false, false, }; }
        
        /** JavaScript script source offset for the range start. */
        public final int startOffset;
        
        /** JavaScript script source offset for the range end. */
        public final int endOffset;
        
        /** Collected execution count of the source range. */
        public final int count;
        
        /**
         * Constructor
         *
         * @param startOffset JavaScript script source offset for the range start.
         * 
         * @param endOffset JavaScript script source offset for the range end.
         * 
         * @param count Collected execution count of the source range.
         */
        public CoverageRange(int startOffset, int endOffset, int count)
        {
            this.startOffset  = startOffset;
            this.endOffset    = endOffset;
            this.count        = count;
        }
        
        /**
         * JSON Object Constructor
         * @param jo A Json-Object having data about an instance of {@code 'CoverageRange'}.
         */
        public CoverageRange (JsonObject jo)
        {
            this.startOffset  = ReadPrimJSON.getInt(jo, "startOffset");
            this.endOffset    = ReadPrimJSON.getInt(jo, "endOffset");
            this.count        = ReadPrimJSON.getInt(jo, "count");
        }
        
        
        /** Checks whether {@code 'this'} equals an input Java-{@code Object} */
        public boolean equals(Object other)
        {
            if (other == null)                       return false;
            if (other.getClass() != this.getClass()) return false;
        
            CoverageRange o = (CoverageRange) other;
        
            return
                    (this.startOffset == o.startOffset)
                &&  (this.endOffset == o.endOffset)
                &&  (this.count == o.count);
        }
        
        /** Generates a Hash-Code for {@code 'this'} instance */
        public int hashCode()
        {
            return
                    this.startOffset
                +   this.endOffset
                +   this.count;
        }
    }
    
    /** Coverage data for a JavaScript function. */
    public static class FunctionCoverage
        extends BaseType
        implements java.io.Serializable
    {
        /** For Object Serialization.  java.io.Serializable */
        protected static final long serialVersionUID = 1;
        
        public boolean[] optionals()
        { return new boolean[] { false, false, false, }; }
        
        /** JavaScript function name. */
        public final String functionName;
        
        /** Source ranges inside the function with coverage data. */
        public final Profiler.CoverageRange[] ranges;
        
        /** Whether coverage data for this function has block granularity. */
        public final boolean isBlockCoverage;
        
        /**
         * Constructor
         *
         * @param functionName JavaScript function name.
         * 
         * @param ranges Source ranges inside the function with coverage data.
         * 
         * @param isBlockCoverage Whether coverage data for this function has block granularity.
         */
        public FunctionCoverage
            (String functionName, Profiler.CoverageRange[] ranges, boolean isBlockCoverage)
        {
            // Exception-Check(s) to ensure that if any parameters which are not declared as
            // 'Optional', but have a 'null' value anyway, that a NullPointerException shall throw.
            
            if (functionName == null) BRDPC.throwNPE("functionName");
            if (ranges == null)       BRDPC.throwNPE("ranges");
            
            this.functionName     = functionName;
            this.ranges           = ranges;
            this.isBlockCoverage  = isBlockCoverage;
        }
        
        /**
         * JSON Object Constructor
         * @param jo A Json-Object having data about an instance of {@code 'FunctionCoverage'}.
         */
        public FunctionCoverage (JsonObject jo)
        {
            this.functionName     = ReadJSON.getString(jo, "functionName", false, true);
            this.ranges = (jo.getJsonArray("ranges") == null)
                ? null
                : ReadArrJSON.DimN.objArr(jo.getJsonArray("ranges"), null, 0, Profiler.CoverageRange[].class);
        
            this.isBlockCoverage  = ReadPrimJSON.getBoolean(jo, "isBlockCoverage");
        }
        
        
        /** Checks whether {@code 'this'} equals an input Java-{@code Object} */
        public boolean equals(Object other)
        {
            if (other == null)                       return false;
            if (other.getClass() != this.getClass()) return false;
        
            FunctionCoverage o = (FunctionCoverage) other;
        
            return
                    Objects.equals(this.functionName, o.functionName)
                &&  Arrays.deepEquals(this.ranges, o.ranges)
                &&  (this.isBlockCoverage == o.isBlockCoverage);
        }
        
        /** Generates a Hash-Code for {@code 'this'} instance */
        public int hashCode()
        {
            return
                    Objects.hashCode(this.functionName)
                +   Arrays.deepHashCode(this.ranges)
                +   (this.isBlockCoverage ? 1 : 0);
        }
    }
    
    /** Coverage data for a JavaScript script. */
    public static class ScriptCoverage
        extends BaseType
        implements java.io.Serializable
    {
        /** For Object Serialization.  java.io.Serializable */
        protected static final long serialVersionUID = 1;
        
        public boolean[] optionals()
        { return new boolean[] { false, false, false, }; }
        
        /** JavaScript script id. */
        public final String scriptId;
        
        /** JavaScript script name or url. */
        public final String url;
        
        /** Functions contained in the script that has coverage data. */
        public final Profiler.FunctionCoverage[] functions;
        
        /**
         * Constructor
         *
         * @param scriptId JavaScript script id.
         * 
         * @param url JavaScript script name or url.
         * 
         * @param functions Functions contained in the script that has coverage data.
         */
        public ScriptCoverage
            (String scriptId, String url, Profiler.FunctionCoverage[] functions)
        {
            // Exception-Check(s) to ensure that if any parameters which are not declared as
            // 'Optional', but have a 'null' value anyway, that a NullPointerException shall throw.
            
            if (scriptId == null)  BRDPC.throwNPE("scriptId");
            if (url == null)       BRDPC.throwNPE("url");
            if (functions == null) BRDPC.throwNPE("functions");
            
            this.scriptId   = scriptId;
            this.url        = url;
            this.functions  = functions;
        }
        
        /**
         * JSON Object Constructor
         * @param jo A Json-Object having data about an instance of {@code 'ScriptCoverage'}.
         */
        public ScriptCoverage (JsonObject jo)
        {
            this.scriptId   = ReadJSON.getString(jo, "scriptId", false, true);
            this.url        = ReadJSON.getString(jo, "url", false, true);
            this.functions = (jo.getJsonArray("functions") == null)
                ? null
                : ReadArrJSON.DimN.objArr(jo.getJsonArray("functions"), null, 0, Profiler.FunctionCoverage[].class);
        
        }
        
        
        /** Checks whether {@code 'this'} equals an input Java-{@code Object} */
        public boolean equals(Object other)
        {
            if (other == null)                       return false;
            if (other.getClass() != this.getClass()) return false;
        
            ScriptCoverage o = (ScriptCoverage) other;
        
            return
                    Objects.equals(this.scriptId, o.scriptId)
                &&  Objects.equals(this.url, o.url)
                &&  Arrays.deepEquals(this.functions, o.functions);
        }
        
        /** Generates a Hash-Code for {@code 'this'} instance */
        public int hashCode()
        {
            return
                    Objects.hashCode(this.scriptId)
                +   Objects.hashCode(this.url)
                +   Arrays.deepHashCode(this.functions);
        }
    }
    
    /**
     * Describes a type collected during runtime.
     * <BR />
     * <BR /><B>EXPERIMENTAL</B>
     */
    public static class TypeObject
        extends BaseType
        implements java.io.Serializable
    {
        /** For Object Serialization.  java.io.Serializable */
        protected static final long serialVersionUID = 1;
        
        public boolean[] optionals()
        { return new boolean[] { false, }; }
        
        /** Name of a type collected with type profiling. */
        public final String name;
        
        /**
         * Constructor
         *
         * @param name Name of a type collected with type profiling.
         */
        public TypeObject(String name)
        {
            // Exception-Check(s) to ensure that if any parameters which are not declared as
            // 'Optional', but have a 'null' value anyway, that a NullPointerException shall throw.
            
            if (name == null) BRDPC.throwNPE("name");
            
            this.name  = name;
        }
        
        /**
         * JSON Object Constructor
         * @param jo A Json-Object having data about an instance of {@code 'TypeObject'}.
         */
        public TypeObject (JsonObject jo)
        {
            this.name  = ReadJSON.getString(jo, "name", false, true);
        }
        
        
        /** Checks whether {@code 'this'} equals an input Java-{@code Object} */
        public boolean equals(Object other)
        {
            if (other == null)                       return false;
            if (other.getClass() != this.getClass()) return false;
        
            TypeObject o = (TypeObject) other;
        
            return
                    Objects.equals(this.name, o.name);
        }
        
        /** Generates a Hash-Code for {@code 'this'} instance */
        public int hashCode()
        {
            return
                    Objects.hashCode(this.name);
        }
    }
    
    /**
     * Source offset and types for a parameter or return value.
     * <BR />
     * <BR /><B>EXPERIMENTAL</B>
     */
    public static class TypeProfileEntry
        extends BaseType
        implements java.io.Serializable
    {
        /** For Object Serialization.  java.io.Serializable */
        protected static final long serialVersionUID = 1;
        
        public boolean[] optionals()
        { return new boolean[] { false, false, }; }
        
        /** Source offset of the parameter or end of function for return values. */
        public final int offset;
        
        /** The types for this parameter or return value. */
        public final Profiler.TypeObject[] types;
        
        /**
         * Constructor
         *
         * @param offset Source offset of the parameter or end of function for return values.
         * 
         * @param types The types for this parameter or return value.
         */
        public TypeProfileEntry(int offset, Profiler.TypeObject[] types)
        {
            // Exception-Check(s) to ensure that if any parameters which are not declared as
            // 'Optional', but have a 'null' value anyway, that a NullPointerException shall throw.
            
            if (types == null) BRDPC.throwNPE("types");
            
            this.offset  = offset;
            this.types   = types;
        }
        
        /**
         * JSON Object Constructor
         * @param jo A Json-Object having data about an instance of {@code 'TypeProfileEntry'}.
         */
        public TypeProfileEntry (JsonObject jo)
        {
            this.offset  = ReadPrimJSON.getInt(jo, "offset");
            this.types = (jo.getJsonArray("types") == null)
                ? null
                : ReadArrJSON.DimN.objArr(jo.getJsonArray("types"), null, 0, Profiler.TypeObject[].class);
        
        }
        
        
        /** Checks whether {@code 'this'} equals an input Java-{@code Object} */
        public boolean equals(Object other)
        {
            if (other == null)                       return false;
            if (other.getClass() != this.getClass()) return false;
        
            TypeProfileEntry o = (TypeProfileEntry) other;
        
            return
                    (this.offset == o.offset)
                &&  Arrays.deepEquals(this.types, o.types);
        }
        
        /** Generates a Hash-Code for {@code 'this'} instance */
        public int hashCode()
        {
            return
                    this.offset
                +   Arrays.deepHashCode(this.types);
        }
    }
    
    /**
     * Type profile data collected during runtime for a JavaScript script.
     * <BR />
     * <BR /><B>EXPERIMENTAL</B>
     */
    public static class ScriptTypeProfile
        extends BaseType
        implements java.io.Serializable
    {
        /** For Object Serialization.  java.io.Serializable */
        protected static final long serialVersionUID = 1;
        
        public boolean[] optionals()
        { return new boolean[] { false, false, false, }; }
        
        /** JavaScript script id. */
        public final String scriptId;
        
        /** JavaScript script name or url. */
        public final String url;
        
        /** Type profile entries for parameters and return values of the functions in the script. */
        public final Profiler.TypeProfileEntry[] entries;
        
        /**
         * Constructor
         *
         * @param scriptId JavaScript script id.
         * 
         * @param url JavaScript script name or url.
         * 
         * @param entries Type profile entries for parameters and return values of the functions in the script.
         */
        public ScriptTypeProfile
            (String scriptId, String url, Profiler.TypeProfileEntry[] entries)
        {
            // Exception-Check(s) to ensure that if any parameters which are not declared as
            // 'Optional', but have a 'null' value anyway, that a NullPointerException shall throw.
            
            if (scriptId == null) BRDPC.throwNPE("scriptId");
            if (url == null)      BRDPC.throwNPE("url");
            if (entries == null)  BRDPC.throwNPE("entries");
            
            this.scriptId  = scriptId;
            this.url       = url;
            this.entries   = entries;
        }
        
        /**
         * JSON Object Constructor
         * @param jo A Json-Object having data about an instance of {@code 'ScriptTypeProfile'}.
         */
        public ScriptTypeProfile (JsonObject jo)
        {
            this.scriptId  = ReadJSON.getString(jo, "scriptId", false, true);
            this.url       = ReadJSON.getString(jo, "url", false, true);
            this.entries = (jo.getJsonArray("entries") == null)
                ? null
                : ReadArrJSON.DimN.objArr(jo.getJsonArray("entries"), null, 0, Profiler.TypeProfileEntry[].class);
        
        }
        
        
        /** Checks whether {@code 'this'} equals an input Java-{@code Object} */
        public boolean equals(Object other)
        {
            if (other == null)                       return false;
            if (other.getClass() != this.getClass()) return false;
        
            ScriptTypeProfile o = (ScriptTypeProfile) other;
        
            return
                    Objects.equals(this.scriptId, o.scriptId)
                &&  Objects.equals(this.url, o.url)
                &&  Arrays.deepEquals(this.entries, o.entries);
        }
        
        /** Generates a Hash-Code for {@code 'this'} instance */
        public int hashCode()
        {
            return
                    Objects.hashCode(this.scriptId)
                +   Objects.hashCode(this.url)
                +   Arrays.deepHashCode(this.entries);
        }
    }
    
    /** <CODE>[No Description Provided by Google]</CODE> */
    public static class consoleProfileFinished
        extends BrowserEvent
        implements java.io.Serializable
    {
        /** For Object Serialization.  java.io.Serializable */
        protected static final long serialVersionUID = 1;
        
        public boolean[] optionals()
        { return new boolean[] { false, false, false, true, }; }
        
        /** <CODE>[No Description Provided by Google]</CODE> */
        public final String id;
        
        /** Location of console.profileEnd(). */
        public final Debugger.Location location;
        
        /** <CODE>[No Description Provided by Google]</CODE> */
        public final Profiler.Profile profile;
        
        /**
         * Profile title passed as an argument to console.profile().
         * <BR />
         * <BR /><B>OPTIONAL</B>
         */
        public final String title;
        
        /**
         * Constructor
         *
         * @param id -
         * 
         * @param location Location of console.profileEnd().
         * 
         * @param profile -
         * 
         * @param title Profile title passed as an argument to console.profile().
         * <BR /><B>OPTIONAL</B>
         */
        public consoleProfileFinished
            (String id, Debugger.Location location, Profiler.Profile profile, String title)
        {
            super("Profiler", "consoleProfileFinished", 4);
            
            // Exception-Check(s) to ensure that if any parameters which are not declared as
            // 'Optional', but have a 'null' value anyway, that a NullPointerException shall throw.
            
            if (id == null)       BRDPC.throwNPE("id");
            if (location == null) BRDPC.throwNPE("location");
            if (profile == null)  BRDPC.throwNPE("profile");
            
            this.id        = id;
            this.location  = location;
            this.profile   = profile;
            this.title     = title;
        }
        
        /**
         * JSON Object Constructor
         * @param jo A Json-Object having data about an instance of {@code 'consoleProfileFinished'}.
         */
        public consoleProfileFinished (JsonObject jo)
        {
            super("Profiler", "consoleProfileFinished", 4);
        
            this.id        = ReadJSON.getString(jo, "id", false, true);
            this.location  = ReadJSON.getObject(jo, "location", Debugger.Location.class, false, true);
            this.profile   = ReadJSON.getObject(jo, "profile", Profiler.Profile.class, false, true);
            this.title     = ReadJSON.getString(jo, "title", true, false);
        }
        
        
        /** Checks whether {@code 'this'} equals an input Java-{@code Object} */
        public boolean equals(Object other)
        {
            if (other == null)                       return false;
            if (other.getClass() != this.getClass()) return false;
        
            consoleProfileFinished o = (consoleProfileFinished) other;
        
            return
                    Objects.equals(this.id, o.id)
                &&  Objects.equals(this.location, o.location)
                &&  Objects.equals(this.profile, o.profile)
                &&  Objects.equals(this.title, o.title);
        }
        
        /** Generates a Hash-Code for {@code 'this'} instance */
        public int hashCode()
        {
            return
                    Objects.hashCode(this.id)
                +   this.location.hashCode()
                +   this.profile.hashCode()
                +   Objects.hashCode(this.title);
        }
    }
    
    /** Sent when new profile recording is started using console.profile() call. */
    public static class consoleProfileStarted
        extends BrowserEvent
        implements java.io.Serializable
    {
        /** For Object Serialization.  java.io.Serializable */
        protected static final long serialVersionUID = 1;
        
        public boolean[] optionals()
        { return new boolean[] { false, false, true, }; }
        
        /** <CODE>[No Description Provided by Google]</CODE> */
        public final String id;
        
        /** Location of console.profile(). */
        public final Debugger.Location location;
        
        /**
         * Profile title passed as an argument to console.profile().
         * <BR />
         * <BR /><B>OPTIONAL</B>
         */
        public final String title;
        
        /**
         * Constructor
         *
         * @param id -
         * 
         * @param location Location of console.profile().
         * 
         * @param title Profile title passed as an argument to console.profile().
         * <BR /><B>OPTIONAL</B>
         */
        public consoleProfileStarted(String id, Debugger.Location location, String title)
        {
            super("Profiler", "consoleProfileStarted", 3);
            
            // Exception-Check(s) to ensure that if any parameters which are not declared as
            // 'Optional', but have a 'null' value anyway, that a NullPointerException shall throw.
            
            if (id == null)       BRDPC.throwNPE("id");
            if (location == null) BRDPC.throwNPE("location");
            
            this.id        = id;
            this.location  = location;
            this.title     = title;
        }
        
        /**
         * JSON Object Constructor
         * @param jo A Json-Object having data about an instance of {@code 'consoleProfileStarted'}.
         */
        public consoleProfileStarted (JsonObject jo)
        {
            super("Profiler", "consoleProfileStarted", 3);
        
            this.id        = ReadJSON.getString(jo, "id", false, true);
            this.location  = ReadJSON.getObject(jo, "location", Debugger.Location.class, false, true);
            this.title     = ReadJSON.getString(jo, "title", true, false);
        }
        
        
        /** Checks whether {@code 'this'} equals an input Java-{@code Object} */
        public boolean equals(Object other)
        {
            if (other == null)                       return false;
            if (other.getClass() != this.getClass()) return false;
        
            consoleProfileStarted o = (consoleProfileStarted) other;
        
            return
                    Objects.equals(this.id, o.id)
                &&  Objects.equals(this.location, o.location)
                &&  Objects.equals(this.title, o.title);
        }
        
        /** Generates a Hash-Code for {@code 'this'} instance */
        public int hashCode()
        {
            return
                    Objects.hashCode(this.id)
                +   this.location.hashCode()
                +   Objects.hashCode(this.title);
        }
    }
    
    /**
     * Reports coverage delta since the last poll (either from an event like this, or from
     * <CODE>takePreciseCoverage</CODE> for the current isolate. May only be sent if precise code
     * coverage has been started. This event can be trigged by the embedder to, for example,
     * trigger collection of coverage data immediately at a certain point in time.
     * <BR />
     * <BR /><B>EXPERIMENTAL</B>
     */
    public static class preciseCoverageDeltaUpdate
        extends BrowserEvent
        implements java.io.Serializable
    {
        /** For Object Serialization.  java.io.Serializable */
        protected static final long serialVersionUID = 1;
        
        public boolean[] optionals()
        { return new boolean[] { false, false, false, }; }
        
        /** Monotonically increasing time (in seconds) when the coverage update was taken in the backend. */
        public final Number timestamp;
        
        /** Identifier for distinguishing coverage events. */
        public final String occasion;
        
        /** Coverage data for the current isolate. */
        public final Profiler.ScriptCoverage[] result;
        
        /**
         * Constructor
         *
         * @param timestamp Monotonically increasing time (in seconds) when the coverage update was taken in the backend.
         * 
         * @param occasion Identifier for distinguishing coverage events.
         * 
         * @param result Coverage data for the current isolate.
         */
        public preciseCoverageDeltaUpdate
            (Number timestamp, String occasion, Profiler.ScriptCoverage[] result)
        {
            super("Profiler", "preciseCoverageDeltaUpdate", 3);
            
            // Exception-Check(s) to ensure that if any parameters which are not declared as
            // 'Optional', but have a 'null' value anyway, that a NullPointerException shall throw.
            
            if (timestamp == null) BRDPC.throwNPE("timestamp");
            if (occasion == null)  BRDPC.throwNPE("occasion");
            if (result == null)    BRDPC.throwNPE("result");
            
            this.timestamp  = timestamp;
            this.occasion   = occasion;
            this.result     = result;
        }
        
        /**
         * JSON Object Constructor
         * @param jo A Json-Object having data about an instance of {@code 'preciseCoverageDeltaUpdate'}.
         */
        public preciseCoverageDeltaUpdate (JsonObject jo)
        {
            super("Profiler", "preciseCoverageDeltaUpdate", 3);
        
            this.timestamp  = ReadNumberJSON.get(jo, "timestamp", false, true);
            this.occasion   = ReadJSON.getString(jo, "occasion", false, true);
            this.result = (jo.getJsonArray("result") == null)
                ? null
                : ReadArrJSON.DimN.objArr(jo.getJsonArray("result"), null, 0, Profiler.ScriptCoverage[].class);
        
        }
        
        
        /** Checks whether {@code 'this'} equals an input Java-{@code Object} */
        public boolean equals(Object other)
        {
            if (other == null)                       return false;
            if (other.getClass() != this.getClass()) return false;
        
            preciseCoverageDeltaUpdate o = (preciseCoverageDeltaUpdate) other;
        
            return
                    Objects.equals(this.timestamp, o.timestamp)
                &&  Objects.equals(this.occasion, o.occasion)
                &&  Arrays.deepEquals(this.result, o.result);
        }
        
        /** Generates a Hash-Code for {@code 'this'} instance */
        public int hashCode()
        {
            return
                    Objects.hashCode(this.timestamp)
                +   Objects.hashCode(this.occasion)
                +   Arrays.deepHashCode(this.result);
        }
    }
    
    
    // Counter for keeping the WebSocket Request ID's distinct.
    private static int counter = 1;
    
    /**
     * <CODE>[No Description Provided by Google]</CODE>
     * 
     * @return An instance of <CODE>{@link Script}&lt;String, {@link JsonObject},
     * {@link Ret0}&gt;</CODE>
     *
     * <BR /><BR />This {@code Script} instance must be <B STYLE='color:red'>executed</B> before the
     * browser receives the invocation-request.
     *
     * <BR /><BR />This Browser-Function <I>does not have</I> a return-value.  You may choose to
     * <B STYLE='color: red'>await</B> the {@link Promise}{@code <JsonObject,} {@link Ret0}
     * {@code >} to ensure the Browser Function has run to completion.
     */
    public static Script<String, JsonObject, Ret0> disable()
    {
        final int          webSocketID = 4000000 + counter++;
        final boolean[]    optionals   = new boolean[0];
        
        // Convert Method Parameters into JSON.  Build the JSON Request-Object (as a String)
        String requestJSON = WriteJSON.get(
            parameterTypes.get("disable"),
            parameterNames.get("disable"),
            optionals, webSocketID,
            "Profiler.disable"
        );
        
        // This Remote Command does not have a Return-Value.
        return new Script<>
            (BRDPC.defaultSender, webSocketID, requestJSON, BRDPC.NoReturnValues);
    }
    
    /**
     * <CODE>[No Description Provided by Google]</CODE>
     * 
     * @return An instance of <CODE>{@link Script}&lt;String, {@link JsonObject},
     * {@link Ret0}&gt;</CODE>
     *
     * <BR /><BR />This {@code Script} instance must be <B STYLE='color:red'>executed</B> before the
     * browser receives the invocation-request.
     *
     * <BR /><BR />This Browser-Function <I>does not have</I> a return-value.  You may choose to
     * <B STYLE='color: red'>await</B> the {@link Promise}{@code <JsonObject,} {@link Ret0}
     * {@code >} to ensure the Browser Function has run to completion.
     */
    public static Script<String, JsonObject, Ret0> enable()
    {
        final int          webSocketID = 4001000 + counter++;
        final boolean[]    optionals   = new boolean[0];
        
        // Convert Method Parameters into JSON.  Build the JSON Request-Object (as a String)
        String requestJSON = WriteJSON.get(
            parameterTypes.get("enable"),
            parameterNames.get("enable"),
            optionals, webSocketID,
            "Profiler.enable"
        );
        
        // This Remote Command does not have a Return-Value.
        return new Script<>
            (BRDPC.defaultSender, webSocketID, requestJSON, BRDPC.NoReturnValues);
    }
    
    /**
     * Collect coverage data for the current isolate. The coverage data may be incomplete due to
     * garbage collection.
     * 
     * @return An instance of <CODE>{@link Script}&lt;String, {@link JsonObject},
     * {@link Profiler.ScriptCoverage}[]&gt;</CODE>
     * 
     * <BR /><BR />This <B>script</B> may be <B STYLE='color: red'>executed</B>, using
     * {@link Script#exec()}, and afterwards, a {@link Promise}<CODE>&lt;JsonObject,
     * {@link Profiler.ScriptCoverage}[]&gt;</CODE> will be returned.
     *
     * <BR /><BR />Finally, the <B>{@code Promise}</B> may be <B STYLE='color: red'>awaited</B>,
     * using {@link Promise#await()}, <I>and the returned result of this Browser Function may
      * may be retrieved.</I>
     *
     * <BR /><BR />This Browser Function <B STYLE='color: red'>returns</B>
     * <BR /><BR /><UL CLASS=JDUL>
     * <LI><CODE>{@link Profiler.ScriptCoverage}[] (<B>result</B></CODE>)
     *     <BR />Coverage data for the current isolate.
     * </LI>
     * </UL> */
    public static Script<String, JsonObject, Profiler.ScriptCoverage[]> getBestEffortCoverage()
    {
        final int          webSocketID = 4002000 + counter++;
        final boolean[]    optionals   = new boolean[0];
        
        // Convert Method Parameters into JSON.  Build the JSON Request-Object (as a String)
        String requestJSON = WriteJSON.get(
            parameterTypes.get("getBestEffortCoverage"),
            parameterNames.get("getBestEffortCoverage"),
            optionals, webSocketID,
            "Profiler.getBestEffortCoverage"
        );
        
        // 'JSON Binding' ... Converts Browser Response-JSON to 'Profiler.ScriptCoverage[]'
        Function<JsonObject, Profiler.ScriptCoverage[]> responseProcessor = (JsonObject jo) ->
            (jo.getJsonArray("result") == null)
                ? null
                : ReadArrJSON.DimN.objArr(jo.getJsonArray("result"), null, 0, Profiler.ScriptCoverage[].class);
        
        // Pass the 'defaultSender' to Script-Constructor
        // The sender that is used can be changed before executing script.
        return new Script<>(BRDPC.defaultSender, webSocketID, requestJSON, responseProcessor);
    }
    
    /**
     * Changes CPU profiler sampling interval. Must be called before CPU profiles recording started.
     * 
     * @param interval New sampling interval in microseconds.
     * 
     * @return An instance of <CODE>{@link Script}&lt;String, {@link JsonObject},
     * {@link Ret0}&gt;</CODE>
     *
     * <BR /><BR />This {@code Script} instance must be <B STYLE='color:red'>executed</B> before the
     * browser receives the invocation-request.
     *
     * <BR /><BR />This Browser-Function <I>does not have</I> a return-value.  You may choose to
     * <B STYLE='color: red'>await</B> the {@link Promise}{@code <JsonObject,} {@link Ret0}
     * {@code >} to ensure the Browser Function has run to completion.
     */
    public static Script<String, JsonObject, Ret0> setSamplingInterval(int interval)
    {
        final int       webSocketID = 4003000 + counter++;
        final boolean[] optionals   = { false, };
        
        // Convert Method Parameters into JSON.  Build the JSON Request-Object (as a String)
        String requestJSON = WriteJSON.get(
            parameterTypes.get("setSamplingInterval"),
            parameterNames.get("setSamplingInterval"),
            optionals, webSocketID,
            "Profiler.setSamplingInterval",
            interval
        );
        
        // This Remote Command does not have a Return-Value.
        return new Script<>
            (BRDPC.defaultSender, webSocketID, requestJSON, BRDPC.NoReturnValues);
    }
    
    /**
     * <CODE>[No Description Provided by Google]</CODE>
     * 
     * @return An instance of <CODE>{@link Script}&lt;String, {@link JsonObject},
     * {@link Ret0}&gt;</CODE>
     *
     * <BR /><BR />This {@code Script} instance must be <B STYLE='color:red'>executed</B> before the
     * browser receives the invocation-request.
     *
     * <BR /><BR />This Browser-Function <I>does not have</I> a return-value.  You may choose to
     * <B STYLE='color: red'>await</B> the {@link Promise}{@code <JsonObject,} {@link Ret0}
     * {@code >} to ensure the Browser Function has run to completion.
     */
    public static Script<String, JsonObject, Ret0> start()
    {
        final int          webSocketID = 4004000 + counter++;
        final boolean[]    optionals   = new boolean[0];
        
        // Convert Method Parameters into JSON.  Build the JSON Request-Object (as a String)
        String requestJSON = WriteJSON.get(
            parameterTypes.get("start"),
            parameterNames.get("start"),
            optionals, webSocketID,
            "Profiler.start"
        );
        
        // This Remote Command does not have a Return-Value.
        return new Script<>
            (BRDPC.defaultSender, webSocketID, requestJSON, BRDPC.NoReturnValues);
    }
    
    /**
     * Enable precise code coverage. Coverage data for JavaScript executed before enabling precise code
     * coverage may be incomplete. Enabling prevents running optimized code and resets execution
     * counters.
     * 
     * @param callCount Collect accurate call counts beyond simple 'covered' or 'not covered'.
     * <BR /><B>OPTIONAL</B>
     * 
     * @param detailed Collect block-based coverage.
     * <BR /><B>OPTIONAL</B>
     * 
     * @param allowTriggeredUpdates Allow the backend to send updates on its own initiative
     * <BR /><B>OPTIONAL</B>
     * 
     * @return An instance of <CODE>{@link Script}&lt;String, {@link JsonObject},
     * Number&gt;</CODE>
     * 
     * <BR /><BR />This <B>script</B> may be <B STYLE='color: red'>executed</B>, using
     * {@link Script#exec()}, and afterwards, a {@link Promise}<CODE>&lt;JsonObject,
     * Number&gt;</CODE> will be returned.
     *
     * <BR /><BR />Finally, the <B>{@code Promise}</B> may be <B STYLE='color: red'>awaited</B>,
     * using {@link Promise#await()}, <I>and the returned result of this Browser Function may
      * may be retrieved.</I>
     *
     * <BR /><BR />This Browser Function <B STYLE='color: red'>returns</B>
     * <BR /><BR /><UL CLASS=JDUL>
     * <LI><CODE>Number (<B>timestamp</B></CODE>)
     *     <BR />Monotonically increasing time (in seconds) when the coverage update was taken in the backend.
     * </LI>
     * </UL> */
    public static Script<String, JsonObject, Number> startPreciseCoverage
        (Boolean callCount, Boolean detailed, Boolean allowTriggeredUpdates)
    {
        final int       webSocketID = 4005000 + counter++;
        final boolean[] optionals   = { true, true, true, };
        
        // Convert Method Parameters into JSON.  Build the JSON Request-Object (as a String)
        String requestJSON = WriteJSON.get(
            parameterTypes.get("startPreciseCoverage"),
            parameterNames.get("startPreciseCoverage"),
            optionals, webSocketID,
            "Profiler.startPreciseCoverage",
            callCount, detailed, allowTriggeredUpdates
        );
        
        // 'JSON Binding' ... Converts Browser Response-JSON to 'Number'
        Function<JsonObject, Number> responseProcessor = (JsonObject jo) ->
            ReadNumberJSON.get(jo, "timestamp", false, true);
        
        // Pass the 'defaultSender' to Script-Constructor
        // The sender that is used can be changed before executing script.
        return new Script<>(BRDPC.defaultSender, webSocketID, requestJSON, responseProcessor);
    }
    
    /**
     * Enable type profile.
     * <BR /><B>EXPERIMENTAL</B>
     * 
     * @return An instance of <CODE>{@link Script}&lt;String, {@link JsonObject},
     * {@link Ret0}&gt;</CODE>
     *
     * <BR /><BR />This {@code Script} instance must be <B STYLE='color:red'>executed</B> before the
     * browser receives the invocation-request.
     *
     * <BR /><BR />This Browser-Function <I>does not have</I> a return-value.  You may choose to
     * <B STYLE='color: red'>await</B> the {@link Promise}{@code <JsonObject,} {@link Ret0}
     * {@code >} to ensure the Browser Function has run to completion.
     */
    public static Script<String, JsonObject, Ret0> startTypeProfile()
    {
        final int          webSocketID = 4006000 + counter++;
        final boolean[]    optionals   = new boolean[0];
        
        // Convert Method Parameters into JSON.  Build the JSON Request-Object (as a String)
        String requestJSON = WriteJSON.get(
            parameterTypes.get("startTypeProfile"),
            parameterNames.get("startTypeProfile"),
            optionals, webSocketID,
            "Profiler.startTypeProfile"
        );
        
        // This Remote Command does not have a Return-Value.
        return new Script<>
            (BRDPC.defaultSender, webSocketID, requestJSON, BRDPC.NoReturnValues);
    }
    
    /**
     * <CODE>[No Description Provided by Google]</CODE>
     * 
     * @return An instance of <CODE>{@link Script}&lt;String, {@link JsonObject},
     * {@link Profiler.Profile}&gt;</CODE>
     * 
     * <BR /><BR />This <B>script</B> may be <B STYLE='color: red'>executed</B>, using
     * {@link Script#exec()}, and afterwards, a {@link Promise}<CODE>&lt;JsonObject,
     * {@link Profiler.Profile}&gt;</CODE> will be returned.
     *
     * <BR /><BR />Finally, the <B>{@code Promise}</B> may be <B STYLE='color: red'>awaited</B>,
     * using {@link Promise#await()}, <I>and the returned result of this Browser Function may
      * may be retrieved.</I>
     *
     * <BR /><BR />This Browser Function <B STYLE='color: red'>returns</B>
     * <BR /><BR /><UL CLASS=JDUL>
     * <LI><CODE>{@link Profiler.Profile} (<B>profile</B></CODE>)
     *     <BR />Recorded profile.
     * </LI>
     * </UL> */
    public static Script<String, JsonObject, Profiler.Profile> stop()
    {
        final int          webSocketID = 4007000 + counter++;
        final boolean[]    optionals   = new boolean[0];
        
        // Convert Method Parameters into JSON.  Build the JSON Request-Object (as a String)
        String requestJSON = WriteJSON.get(
            parameterTypes.get("stop"),
            parameterNames.get("stop"),
            optionals, webSocketID,
            "Profiler.stop"
        );
        
        // 'JSON Binding' ... Converts Browser Response-JSON to 'Profiler.Profile'
        Function<JsonObject, Profiler.Profile> responseProcessor = (JsonObject jo) ->
            ReadJSON.getObject(jo, "profile", Profiler.Profile.class, false, true);
        
        // Pass the 'defaultSender' to Script-Constructor
        // The sender that is used can be changed before executing script.
        return new Script<>(BRDPC.defaultSender, webSocketID, requestJSON, responseProcessor);
    }
    
    /**
     * Disable precise code coverage. Disabling releases unnecessary execution count records and allows
     * executing optimized code.
     * 
     * @return An instance of <CODE>{@link Script}&lt;String, {@link JsonObject},
     * {@link Ret0}&gt;</CODE>
     *
     * <BR /><BR />This {@code Script} instance must be <B STYLE='color:red'>executed</B> before the
     * browser receives the invocation-request.
     *
     * <BR /><BR />This Browser-Function <I>does not have</I> a return-value.  You may choose to
     * <B STYLE='color: red'>await</B> the {@link Promise}{@code <JsonObject,} {@link Ret0}
     * {@code >} to ensure the Browser Function has run to completion.
     */
    public static Script<String, JsonObject, Ret0> stopPreciseCoverage()
    {
        final int          webSocketID = 4008000 + counter++;
        final boolean[]    optionals   = new boolean[0];
        
        // Convert Method Parameters into JSON.  Build the JSON Request-Object (as a String)
        String requestJSON = WriteJSON.get(
            parameterTypes.get("stopPreciseCoverage"),
            parameterNames.get("stopPreciseCoverage"),
            optionals, webSocketID,
            "Profiler.stopPreciseCoverage"
        );
        
        // This Remote Command does not have a Return-Value.
        return new Script<>
            (BRDPC.defaultSender, webSocketID, requestJSON, BRDPC.NoReturnValues);
    }
    
    /**
     * Disable type profile. Disabling releases type profile data collected so far.
     * <BR /><B>EXPERIMENTAL</B>
     * 
     * @return An instance of <CODE>{@link Script}&lt;String, {@link JsonObject},
     * {@link Ret0}&gt;</CODE>
     *
     * <BR /><BR />This {@code Script} instance must be <B STYLE='color:red'>executed</B> before the
     * browser receives the invocation-request.
     *
     * <BR /><BR />This Browser-Function <I>does not have</I> a return-value.  You may choose to
     * <B STYLE='color: red'>await</B> the {@link Promise}{@code <JsonObject,} {@link Ret0}
     * {@code >} to ensure the Browser Function has run to completion.
     */
    public static Script<String, JsonObject, Ret0> stopTypeProfile()
    {
        final int          webSocketID = 4009000 + counter++;
        final boolean[]    optionals   = new boolean[0];
        
        // Convert Method Parameters into JSON.  Build the JSON Request-Object (as a String)
        String requestJSON = WriteJSON.get(
            parameterTypes.get("stopTypeProfile"),
            parameterNames.get("stopTypeProfile"),
            optionals, webSocketID,
            "Profiler.stopTypeProfile"
        );
        
        // This Remote Command does not have a Return-Value.
        return new Script<>
            (BRDPC.defaultSender, webSocketID, requestJSON, BRDPC.NoReturnValues);
    }
    
    /**
     * Collect coverage data for the current isolate, and resets execution counters. Precise code
     * coverage needs to have started.
     * 
     * @return An instance of <CODE>{@link Script}&lt;String, {@link JsonObject},
     * {@link Ret2}&gt;</CODE>
     *
     * <BR /><BR />This {@link Script} may be <B STYLE='color:red'>executed</B> (using 
     * {@link Script#exec()}), and a {@link Promise} returned.
     *
     * <BR /><BR />When the {@code Promise} is <B STYLE='color: red'>awaited</B>
     * (using {@link Promise#await()}), the {@code Ret2} will subsequently
     * be returned from that call.
     * 
     * <BR /><BR />The <B STYLE='color: red'>returned</B> values are encapsulated
     * in an instance of <B>{@link Ret2}</B>
     *
     * <BR /><BR /><UL CLASS=JDUL>
     * <LI><CODE><B>Ret2.a:</B> {@link Profiler.ScriptCoverage}[] (<B>result</B>)</CODE>
     *     <BR />Coverage data for the current isolate.
     *     <BR /><BR /></LI>
     * <LI><CODE><B>Ret2.b:</B> Number (<B>timestamp</B>)</CODE>
     *     <BR />Monotonically increasing time (in seconds) when the coverage update was taken in the backend.
     *     </LI>
     * </UL>
     */
    public static Script<String, JsonObject, Ret2<Profiler.ScriptCoverage[], Number>> takePreciseCoverage()
    {
        final int          webSocketID = 4010000 + counter++;
        final boolean[]    optionals   = new boolean[0];
        
        // Convert Method Parameters into JSON.  Build the JSON Request-Object (as a String)
        String requestJSON = WriteJSON.get(
            parameterTypes.get("takePreciseCoverage"),
            parameterNames.get("takePreciseCoverage"),
            optionals, webSocketID,
            "Profiler.takePreciseCoverage"
        );
        
        // 'JSON Binding' ... Converts Browser Response-JSON into Java-Type 'Ret2'
        Function<JsonObject, Ret2<Profiler.ScriptCoverage[], Number>> 
            responseProcessor = (JsonObject jo) -> new Ret2<>(
                (jo.getJsonArray("result") == null)
                    ? null
                    : ReadArrJSON.DimN.objArr(jo.getJsonArray("result"), null, 0, Profiler.ScriptCoverage[].class),
                ReadNumberJSON.get(jo, "timestamp", false, true)
            );
        
        // Pass the 'defaultSender' to Script-Constructor
        // The sender that is used can be changed before executing script.
        return new Script<>(BRDPC.defaultSender, webSocketID, requestJSON, responseProcessor);
    }
    
    /**
     * Collect type profile.
     * <BR /><B>EXPERIMENTAL</B>
     * 
     * @return An instance of <CODE>{@link Script}&lt;String, {@link JsonObject},
     * {@link Profiler.ScriptTypeProfile}[]&gt;</CODE>
     * 
     * <BR /><BR />This <B>script</B> may be <B STYLE='color: red'>executed</B>, using
     * {@link Script#exec()}, and afterwards, a {@link Promise}<CODE>&lt;JsonObject,
     * {@link Profiler.ScriptTypeProfile}[]&gt;</CODE> will be returned.
     *
     * <BR /><BR />Finally, the <B>{@code Promise}</B> may be <B STYLE='color: red'>awaited</B>,
     * using {@link Promise#await()}, <I>and the returned result of this Browser Function may
      * may be retrieved.</I>
     *
     * <BR /><BR />This Browser Function <B STYLE='color: red'>returns</B>
     * <BR /><BR /><UL CLASS=JDUL>
     * <LI><CODE>{@link Profiler.ScriptTypeProfile}[] (<B>result</B></CODE>)
     *     <BR />Type profile for all scripts since startTypeProfile() was turned on.
     * </LI>
     * </UL> */
    public static Script<String, JsonObject, Profiler.ScriptTypeProfile[]> takeTypeProfile()
    {
        final int          webSocketID = 4011000 + counter++;
        final boolean[]    optionals   = new boolean[0];
        
        // Convert Method Parameters into JSON.  Build the JSON Request-Object (as a String)
        String requestJSON = WriteJSON.get(
            parameterTypes.get("takeTypeProfile"),
            parameterNames.get("takeTypeProfile"),
            optionals, webSocketID,
            "Profiler.takeTypeProfile"
        );
        
        // 'JSON Binding' ... Converts Browser Response-JSON to 'Profiler.ScriptTypeProfile[]'
        Function<JsonObject, Profiler.ScriptTypeProfile[]> responseProcessor = (JsonObject jo) ->
            (jo.getJsonArray("result") == null)
                ? null
                : ReadArrJSON.DimN.objArr(jo.getJsonArray("result"), null, 0, Profiler.ScriptTypeProfile[].class);
        
        // Pass the 'defaultSender' to Script-Constructor
        // The sender that is used can be changed before executing script.
        return new Script<>(BRDPC.defaultSender, webSocketID, requestJSON, responseProcessor);
    }
    
}