summaryrefslogtreecommitdiff
path: root/src/main/resources/static/scripts.js
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/resources/static/scripts.js')
-rw-r--r--src/main/resources/static/scripts.js159
1 files changed, 0 insertions, 159 deletions
diff --git a/src/main/resources/static/scripts.js b/src/main/resources/static/scripts.js
deleted file mode 100644
index fdd3f52..0000000
--- a/src/main/resources/static/scripts.js
+++ /dev/null
@@ -1,159 +0,0 @@
-const dateFormatOptions = { year: 'numeric', month: '2-digit', day: '2-digit' };
-const dateFormat = new Intl.DateTimeFormat('de-DE', dateFormatOptions);
-
-const dateTimeFormatOptions = { year: 'numeric', month: '2-digit', day: '2-digit', hour: '2-digit', minute: 'numeric', second: 'numeric' };
-const dateTimeFormat = new Intl.DateTimeFormat('de-DE', dateTimeFormatOptions);
-
-const formatTimeElements = () => {
- Array.from(document.getElementsByTagName('time')).forEach((timeTag) => {
- let date = Date.parse(timeTag.getAttribute('datetime'));
- if (! isNaN(date)) {
- timeTag.innerText = dateTimeFormat.format(date);
- }
- });
-};
-
-window.addEventListener('load', formatTimeElements);
-window.addEventListener('htmx:afterRequest', formatTimeElements);
-
-function drawPieChart(url, elemId, title, data) {
- if (data) {
- update(elemId, data);
- } else {
- fetch(url)
- .then(resp => resp.json())
- .then(d => {
- draw(elemId, title, d);
- update(elemId, d);
- });
- }
-
- function update(elemId, data) {
- let chartDom = document.getElementById(elemId);
- let chart = echarts.init(chartDom);
-
- let option = {
- color: data.map(i => i.color),
- animationDuration: 250,
- animationDurationUpdate: 250,
- series: [
- {
- type: 'pie',
- radius: ['40%', '70%'],
- avoidLabelOverlap: false,
- label: {
- show: false,
- position: 'center'
- },
- labelLine: {
- show: false
- },
- data: data
- }
- ]
- };
-
- option && chart.setOption(option);
- }
-
- function draw(elemId, title, data) {
- let chartDom = document.getElementById(elemId);
- let chart = echarts.init(chartDom);
- let option= {
- title: {
- text: title,
- left: 'center'
- },
- tooltip: {
- trigger: 'item'
- },
- color: data.map(i => i.color),
- animationDuration: 250,
- animationDurationUpdate: 250
- };
-
- option && chart.setOption(option);
- }
-}
-
-function drawBarChart(url, elemId, title, data) {
- if (data) {
- update(elemId, data);
- } else {
- fetch(url)
- .then(resp => resp.json())
- .then(data => {
- draw(elemId, title, data);
- update(elemId, data);
- });
- }
-
- function update(elemId, data) {
- let chartDom = document.getElementById(elemId);
- let chart = echarts.init(chartDom);
-
- let option = {
- series: [
- {
- name: 'UNKNOWN',
- type: 'bar',
- stack: 'total',
- data: data.map(i => i.nameValues.unknown)
- },
- {
- name: 'ERROR',
- type: 'bar',
- stack: 'total',
- data: data.map(i => i.nameValues.error)
- },
- {
- name: 'WARNING',
- type: 'bar',
- stack: 'total',
- data: data.map(i => i.nameValues.warning)
- },
- {
- name: 'SUCCESS',
- type: 'bar',
- stack: 'total',
- data: data.map(i => i.nameValues.success)
- },
- {
- name: 'DUPLICATION',
- type: 'bar',
- stack: 'total',
- data: data.map(i => i.nameValues.duplication)
- }
- ]
- };
-
- option && chart.setOption(option);
- }
-
- function draw(elemId, title, data) {
- let chartDom = document.getElementById(elemId);
- let chart = echarts.init(chartDom);
- let option= {
- title: {
- text: title,
- left: 'center'
- },
- xAxis: {
- type: 'category',
- data: data.map(i => dateFormat.format(Date.parse(i.date)))
- },
- yAxis: {
- type: 'value',
- minInterval: 1
- },
- tooltip: {
- trigger: 'item'
- },
- color: ['slategray', 'red', 'darkorange', 'green', 'slategray'],
- animationDuration: 250,
- animationDurationUpdate: 250
- };
-
- option && chart.setOption(option);
- }
-} \ No newline at end of file