java.lang.NullPointerException # makefile for the Gauss package Mohamed Barakat # Simon Görtzen # Max Neunhoeffer
java.lang.NullPointerException # This file is free software, see license information at the end.
java.lang.NullPointerException
GAPPATH = @GAPPATH@
# read GAP's build settings
include $(GAPPATH)/sysinfo.gap
# the following settings are provided by sysinfo.gap in GAP >= 4.12; # for compatibility with older GAP version (at least 4.9, 4.10, 4.11) # we try to "guess" suitable values here
GAP ?= $(GAPPATH)/gap
GAC ?= $(GAPPATH)/gac
.PHONY: defaultstatic doc clean distclean docclean test
test-spacing: grep-R"[^[\"]"gap/*.gi && echo "Duplicate spaces found" && exit 1 || exit 0 grep-RE'[^]+$$'gap/* && echo "Trailing whitespace found" && exit 1 || exit 0 forfilenameingap/*; do \ echo$$filename;\ echo"LoadPackage(\"Gauss\");SizeScreen([4096]);func:=ReadAsFunction(\"$$filename\");FileString(\"gap_spacing\",DisplayString(func));"|gap--quitonbreak--banner;\ echo-e"\033[0m";\ #Inaperfectworld,theDisplayStringofafunctionwouldexactlymatchourcode.However,ourlinebreaksandindentationmightdifferfromtheGAPones,\ #soweremoveallindentation,linebreaks,andemptylines,andafterwardsinsertlinebreaksatsemicolonsagainforbetterreadability.\
cat "gap_spacing" | tail -n +2 | head -n -2 | sed 's/\[ \]/[ ]/g' | sed 's/( )/( )/g' | sed 's/( :/( :/g' | sed 's/ *$$//' | sed 's/^ *//' | grep -v "^$$" | tr "\n" " " | sed 's/;/;\n/g' > modified_gap_spacing; \
cat "$$filename" | grep -v "^ *[#]" | sed 's/^ *//' | grep -v "^$$" | tr "\n" " " | sed "s/;/;\n/g" > modified_custom_spacing; \ # Our code might still differ from the GAP code, for example because of additional brackets. \ # Thus, we diff the code once as expected and once ignoring all space. Diffing the two diffs then shows lines which only differ by spacing. \
diff modified_gap_spacing modified_custom_spacing > spacing_diff; \
diff modified_gap_spacing modified_custom_spacing --ignore-all-space --ignore-space-change --ignore-trailing-space --ignore-blank-lines > spacing_diff_no_blanks; \
diff spacing_diff_no_blanks spacing_diff || exit; \
done
rm gap_spacing
rm modified_gap_spacing
rm modified_custom_spacing
rm spacing_diff
rm spacing_diff_no_blanks
ci-test: test-basic-spacing test-with-coverage
## ##This program is free software; you can redistribute it and/or modify ## it under the terms of the GNU General Public License as published by ## the Free Software Foundation; either version 2 of the License, ##or (at your option) any later version. ## ##This program is distributed in the hope that it will be useful, ## but WITHOUT ANY WARRANTY; without even the implied warranty of ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ## GNU General Public License for more details. ## ## You should have received a copy of the GNU General Public License ## along with this program; ifnot, write to the Free Software ## Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ##
Messung V0.5 in Prozent
¤ Dauer der Verarbeitung: 0.10 Sekunden
(vorverarbeitet am 2026-06-21)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.