summaryrefslogtreecommitdiffstats
path: root/tools
diff options
context:
space:
mode:
authorRazvan Becheriu <razvan@isc.org>2023-05-05 14:04:16 +0200
committerRazvan Becheriu <razvan@isc.org>2023-05-11 10:30:02 +0200
commit50abca6f3f5154659d68c6fc9b471d107e613734 (patch)
treefca44812a37d4dfa7a782f8841a2f36f34649e4b /tools
parent[#2786] fixed linker error (diff)
downloadkea-50abca6f3f5154659d68c6fc9b471d107e613734.tar.xz
kea-50abca6f3f5154659d68c6fc9b471d107e613734.zip
[#2827] fixed all json examples in arm
Diffstat (limited to 'tools')
-rwxr-xr-xtools/check-for-json-errors-in-doc.sh57
1 files changed, 57 insertions, 0 deletions
diff --git a/tools/check-for-json-errors-in-doc.sh b/tools/check-for-json-errors-in-doc.sh
new file mode 100755
index 0000000000..22eec9bc49
--- /dev/null
+++ b/tools/check-for-json-errors-in-doc.sh
@@ -0,0 +1,57 @@
+#!/bin/bash
+work_file=`mktemp`
+for file in `find ./ | grep -v "\.git" | grep -v "_build" | grep -v "\/man\/" | grep "\.rst\|\.json" | grep -v "api\.rst" | sort`; do
+ json=0
+ comment=0
+ line_num=0
+ echo "processing: $file"
+ while read line; do
+ line_num=$((line_num+1))
+ if [ $comment -eq 0 -a $json -eq 0 -a `echo "$line" | grep -e "^\[A-Za-z]+" | wc -l` -eq 1 ]; then
+ continue
+ elif [ $comment -eq 0 -a `echo "$line" | grep -e "\/\*" | grep -v -e "\*\/" | wc -l` -eq 1 ]; then
+ comment=1
+ echo "" >> $work_file
+ continue
+ elif [ $comment -eq 1 -a `echo "$line" | grep "\*\/" | wc -l` -eq 1 ]; then
+ comment=0
+ echo "" >> $work_file
+ continue
+ elif [ $comment -eq 0 -a $json -eq 0 -a `echo "$line" | grep "^\s*{\|^\s*\".*{" | grep -v "}" | grep -v "key\|pre" | wc -l` -eq 1 ]; then
+ json=1
+ # ignore any map name before top level map
+ line=`echo "$line" | sed "s/.*{/{/g"`
+ echo "" > $work_file
+ elif [ $comment -eq 0 -a $json -eq 1 -a `echo "$line" | grep -e "^\s*[A-Za-z]" | wc -l` -eq 1 ]; then
+ json=0
+ cat $work_file | jq . > /dev/null
+ if [ $? -ne 0 ]; then
+ echo "file $file contains invalid JSON near line $line_num"
+ echo "===start of JSON block==="
+ cat $work_file
+ echo "====end of JSON block===="
+ fi
+ fi
+ if [ $comment -eq 0 -a $json -eq 1 ]; then
+ if [ `echo "$line" | grep -e "^\s*\.\.\s" | wc -l` -eq 1 ]; then
+ echo "" >> $work_file
+ else
+ if [ `echo "$file" | grep "\.json" | wc -l` -eq 0 ]; then
+ echo "$line" | cut -d "#" -f 1 | sed "s/\.\.\./\"placeholder\": 0/g" | sed "s/\/\/ .*//g" | sed "s/<?.*?>//g" >> $work_file
+ else
+ echo "$line" | cut -d "#" -f 1 | sed "s/\/\/ .*//g" | sed "s/<?.*?>//g" >> $work_file
+ fi
+ fi
+ fi
+ done <<< $(cat $file | sed ':a;N;$!ba;s/,\s*\n\s*\.\.\.//g' | sed 's/\\\"/\\\\\"/g' | sed 's/\\\\,/\\\\\\\\,/g')
+ if [ $comment -eq 0 -a $json -eq 1 ]; then
+ cat $work_file | jq . > /dev/null
+ if [ $? -ne 0 ]; then
+ echo "file $file contains invalid JSON near line $line_num"
+ echo "===start of JSON block==="
+ cat $work_file
+ echo "====end of JSON block===="
+ fi
+ fi
+done
+rm $work_file