Properties
| Name | Type | Description |
|---|---|---|
| servletName | string | Servlet name |
| invocationTotalCount | integer | Total number of invocations |
| executionTimeTotal | integer | Total execution time in milliseconds |
| executionTimeHigh | integer | Highest execution time |
| executionTimeLow | integer | Lowest execution time |
| executionTimeAverage | number | Average execution time |
| reloadTotalCount | integer | Total number of reloads |
JSON Schema
{
"$schema": "https://json-schema.org/draft/2020-12/schema",
"$id": "#/components/schemas/ServletRuntime",
"title": "ServletRuntime",
"type": "object",
"properties": {
"servletName": {
"type": "string",
"description": "Servlet name"
},
"invocationTotalCount": {
"type": "integer",
"description": "Total number of invocations"
},
"executionTimeTotal": {
"type": "integer",
"description": "Total execution time in milliseconds"
},
"executionTimeHigh": {
"type": "integer",
"description": "Highest execution time"
},
"executionTimeLow": {
"type": "integer",
"description": "Lowest execution time"
},
"executionTimeAverage": {
"type": "number",
"description": "Average execution time"
},
"reloadTotalCount": {
"type": "integer",
"description": "Total number of reloads"
}
}
}