walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Files	Lines
2021-11-19	deal with group layers	stuebinm	2	-9/+37
	I have no idea why these even exist, but apparently they do, so here's some code to deal with them in a hopefully useful manner …
2021-11-18	assorted lints for properties found in some maps	stuebinm	1	-17/+56
	(mostly to do with the scripting API, but also some old ones which are already deprecated / not even mentioned in the documentation anymore)
2021-11-17	add warnings for as-yet unlinted layer properties	stuebinm	1	-0/+9

2021-11-17	small fixes	stuebinm	1	-8/+7

2021-11-17	make map parser work with more maps	stuebinm	2	-7/+39
	I found yet more properties that weren't really documented or weren't marked as optional, hurray!
2021-11-17	map format: turns out more things are optional	stuebinm	1	-6/+6
	the unhelpfulness of the spec is slowly starting to grate … Anyways, apparently a lot more properties don't have to be present, and you find out by finding maps somewhere that work but currently fail the parser.
2021-11-17	exit with code 1 if maximum lint level exceeded	stuebinm	3	-14/+25

2021-11-16	reject map urls starting with /_/	stuebinm	1	-3/+6

2021-11-16	add adjustment: add prefix for openWebsite	stuebinm	2	-2/+6

2021-11-14	disable print output when copying files	stuebinm	1	-2/+2
	(this would otherwise break the json schema if `--json` is given)
2021-11-14	config options: implement script-related options	stuebinm	3	-2/+20

2021-11-14	config: some small documentation	stuebinm	1	-0/+4

2021-11-14	config option: don't copy asset files	stuebinm	2	-21/+27

2021-11-14	Functional jitsiRoomAdminTag adjustment	stuebinm	7	-35/+54
	also yet another typeclass™, because why not?
2021-11-14	add some simple config options	stuebinm	1	-9/+30

2021-11-14	too much type level stuff to read a config file	stuebinm	1	-0/+99
	This got kinda out of hand, but it can now (a) read a json config file and (b) patch that with another json given on the command line to change some of the options given in the file. No, I probably didn't need to make the `patch` function sufficiently general to work with arbitrary records, but it was kinda fun to do.
2021-11-10	fail on missing map assets	stuebinm	1	-3/+8
	(but not (yet?) on missing maps/entrypoints)
2021-11-10	copy map assets (and refuse if any are missing)	stuebinm	2	-22/+56

2021-11-10	extra module for repository writeout	stuebinm	3	-10/+33

2021-11-10	remove dead code	stuebinm	2	-41/+11
	(also fix some hlints) This removes some code that was apparently dead and I never noticed. I only noticed now since it wouldn't work with the newer versions of Aeson anymore.
2021-11-10	little code cleanup	stuebinm	2	-8/+6

2021-11-09	first example of a map adjustment	stuebinm	5	-33/+81
	this also includes some more monad plumbing, and an option for the linter to actually write things out again. Some of the previous commit was reverted a bit since it turned out to be stupid, but overall it was suprisingly easy once I got around to it, so yay! i guess Also includes a fairly silly example of how to use it.
2021-11-02	monad plumbing to let the linter modify things	stuebinm	2	-14/+24
	I'm not sure if this is the right approach tbh — it lets the LintWriter monad modify its own context, but maybe we might run into cases where lints and modifications depend on each other across longer "distances" than just the context of the linter (i.e. just across a property?)
2021-10-30	better lint messages	stuebinm	1	-10/+10

2021-10-30	turns out records are just sugar	stuebinm	1	-8/+2
	(and one that contains almost only mempty can be written much shorter than I thought it could)
2021-10-30	yet more tiled properties	stuebinm	2	-2/+6

2021-10-30	re-enable dependency checking	stuebinm	2	-21/+22

2021-10-30	also flipping tileset lint output structure	stuebinm	2	-26/+36

2021-10-30	added more keys to the Tiled format	stuebinm	1	-30/+51
	(apparently, some of them aren't even in the spec, just the changelog!)
2021-10-30	readable prettyprint for inverted lint output	stuebinm	2	-1/+5
	the previous state was a hacky mess
2021-10-30	flipping the output map structure	stuebinm	4	-19/+49
	for now, just with layers. Instead of listing by layer (and giving lints multiple times), list by lint type (and list all layers in which this lint was applicable). This is a bit wonky for now, but readability of output is much better.
2021-10-30	make aeson instances agree with themselves	stuebinm	3	-198/+79
	This cleans up all the old rubble that came from the Tiled package I originally took from hackage. It now uses generics instead of implementing all the ToJSON and FromJSON instances by hand, and (deserialize . serialise) will now actually return a (semantically) equivalent json. It'll now also reject keys that it doesn't know, which required adding some in several places which the tiled package didn't know about (or which were introduced after it was originally written, dunno). Several more Maybes are required now, to represent the difference between e.g. empty lists and on set value, which does make the code slightly weirder in other places …
2021-10-30	more sensible msg for "property required by"-lints	stuebinm	1	-1/+8
	the previous state appears to have been an oversight and made no sense at all.
2021-10-30	add tileset property linting	stuebinm	4	-16/+47
	this reorganised the whole linting for tilesets somewhat; it's now very similar to that linting layers, and it may be possible to abstract some of the code away ...
2021-10-30	add warning for very large tileset images	stuebinm	1	-2/+3

2021-10-01	rename to walint	stuebinm	3	-44/+43

2021-09-30	check if assets exist	stuebinm	1	-8/+40

2021-09-30	remove unused Maybe	stuebinm	1	-4/+4

2021-09-30	nicer json output which leaks less haskell names	stuebinm	4	-40/+56

2021-09-30	simple map-map link dependency checking	stuebinm	6	-21/+106
	This is purely based on a set difference, i.e. it won't catch stupid things like a map linking to itself, a map link going only one-way, etc. Also, it only handles map links; it doesn't check if all ressource files referenced by a map actually exist.
2021-09-23	prettier pretty printing and stuff	stuebinm	4	-37/+71
	also, configurable log level, which only required relaxing the type system once!
2021-09-23	some documentation	stuebinm	2	-5/+20

2021-09-23	handle all maps in entire repositories	stuebinm	3	-66/+96
	(+ checking that paths don't run outside of respositories)
2021-09-23	very naïve handling of directories	stuebinm	5	-26/+120

2021-09-20	use PrettyPrinter more	stuebinm	4	-29/+20

2021-09-20	typechecking for path depths!	stuebinm	4	-69/+127
	This now checks if relative paths are still inside the repository, as a general safety mechanism to stop the linter from accidentally reading other things, as well as a nice hint for users.
2021-09-20	rebuilding the core LintWriter monad	stuebinm	3	-93/+68
	it is no longer an Either since that wasn't used anyways, but is now also a Reader.
2021-09-20	simple parsing of local dependency paths	stuebinm	3	-20/+24

2021-09-20	moving code around	stuebinm	1	-57/+69

2021-09-20	lint embedded tilesets	stuebinm	4	-11/+21