#!/bin/bash
# Copyright (C) 2013-2022 TU Dortmund
# This file is part of AutomataLib, http://www.automatalib.net/.
# 
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
# 
#     http://www.apache.org/licenses/LICENSE-2.0
# 
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.

PROJECT_ROOT=".."
XML_HEADER='<?xml version="1.0" encoding="UTF-8" ?>'
XML_HEADER_TEST='<?xml'

PROJECT_ROOT=`readlink -f "$PROJECT_ROOT"`


if [ "$*" == "" ]; then
	git ls-files "$PROJECT_ROOT" | egrep '\.xml$' | xargs "$0"
	exit
fi

for i in "$@"; do
	xml_header=`head -n 1 "$i" | grep -c "$XML_HEADER_TEST"`
	if [ $xml_header -lt 1 ]; then
		echo File $i misses proper XML header, fixing ...
		echo $XML_HEADER >.tmp
		cat "$i" >>.tmp
		mv .tmp "$i"
	fi
done

