walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Files	Lines
2021-12-29	maps, maps, and yet more maps	stuebinm	1	-4/+14
	don't add maps to the result if their lint result looks the same as that of another list, just say it happened several times instead (this leads to a rather confusing Eq instance for MapResult which implements a very simple surface-level equality — perhaps change that later)
2021-12-29	the lobby lacks reflexivity	stuebinm	1	-1/+2

2021-12-28	Update CheckMap.hs to make missing back link to lobby an ERROR	tabascoeye	1	-1/+1

2021-12-27	warn if main.json does not link back to lobby	stuebinm	1	-6/+13

2021-12-25	whoops, forgot to delete an output field and now it's in the hub	stuebinm	1	-1/+0

2021-12-25	don't print doubled lints twice	stuebinm	1	-8/+7

2021-12-24	smaller changes	stuebinm	1	-3/+2

2021-12-23	correct recognision of entrypoints in sublayers	stuebinm	1	-16/+21
	also, the recursive check layer function slowly approaches something like readability!
2021-12-23	limit output for frequent lints	stuebinm	1	-1/+4
	it's now limited to just the first ten contexts, then an ellipsis
2021-12-16	fixed some warnings (and disabled others)	stuebinm	1	-1/+1
	So far i've never found an instance of -Wname-shadowing telling me anything useful, so it's disabled now, and most of the other trivial ones are fixed. (I assume this means I'll need -Wname-shadowing in about a day or two to find some bug ...)
2021-12-16	fixed & removed a bunch of old TODOs	stuebinm	1	-3/+0

2021-12-04	lots of code reorganising and some deduplication	stuebinm	1	-5/+4
	it was kinda getting messy in places. Also found some accidental isomorphisms between types, so these are now only one type because the consequences were getting silly.
2021-12-02	collect badges from object layers	stuebinm	1	-6/+11
	this includes a halfway-reasonable parsing of object layers, as well as some monad plumbing to get them all in the right place.
2021-11-28	various fixes to bugs	stuebinm	1	-6/+5
	Among them - always set correct exit codes - refuse to write out files if the out path already exists - calculate the overall severity correctly - slightly changed the json output schema - also output the text output format in json - make the default config.json suitable for a production environment
2021-11-19	fix group layer handling	stuebinm	1	-9/+22
	we don't want to accidentally copy maps, whoopsie
2021-11-19	deal with group layers	stuebinm	1	-4/+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-14	Functional jitsiRoomAdminTag adjustment	stuebinm	1	-7/+8
	also yet another typeclass™, because why not?
2021-11-10	extra module for repository writeout	stuebinm	1	-1/+1

2021-11-10	remove dead code	stuebinm	1	-5/+2
	(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	1	-7/+5

2021-11-09	first example of a map adjustment	stuebinm	1	-14/+23
	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-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	1	-1/+1

2021-10-30	re-enable dependency checking	stuebinm	1	-19/+19

2021-10-30	also flipping tileset lint output structure	stuebinm	1	-26/+34

2021-10-30	readable prettyprint for inverted lint output	stuebinm	1	-1/+2
	the previous state was a hacky mess
2021-10-30	flipping the output map structure	stuebinm	1	-13/+28
	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	1	-2/+3
	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	add tileset property linting	stuebinm	1	-7/+18
	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-01	rename to walint	stuebinm	1	-1/+1

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

2021-09-30	nicer json output which leaks less haskell names	stuebinm	1	-21/+32

2021-09-30	simple map-map link dependency checking	stuebinm	1	-4/+7
	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	1	-22/+26
	also, configurable log level, which only required relaxing the type system once!
2021-09-23	handle all maps in entire repositories	stuebinm	1	-22/+26
	(+ checking that paths don't run outside of respositories)
2021-09-23	very naïve handling of directories	stuebinm	1	-6/+6

2021-09-20	use PrettyPrinter more	stuebinm	1	-21/+3

2021-09-20	typechecking for path depths!	stuebinm	1	-8/+9
	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	1	-31/+28
	it is no longer an Either since that wasn't used anyways, but is now also a Reader.
2021-09-20	lint embedded tilesets	stuebinm	1	-2/+4

2021-09-20	lint map things that aren't custom properties	stuebinm	1	-8/+5

2021-09-20	lint general map properties	stuebinm	1	-6/+13

2021-09-18	collecting map dependencies	stuebinm	1	-5/+10

2021-09-18	moved types into Types.hs	stuebinm	1	-3/+4
	it's almost as if there's some structure to this code!
2021-09-18	can collect dependencies!	stuebinm	1	-7/+9
	There's now a Lint type, which may be either a "true lint" (which is a Hint, which contains some message and level of severity), or a Depends, which indicates that this map depends on some ressource or other (and is otherwise treated as a special info Hint in all other cases)
2021-09-18	tame the strings	stuebinm	1	-17/+16
	Adds a PrettyPrint typeclass which operates on Text and should replace Show, since constantly converting strings from linked lists to arrays seems somewhat silly.
2021-09-17	(somewhat) reasonable representation of parse errors	stuebinm	1	-13/+34
	This makes map loading (and parsing) part of the linter, and also makes it return "general lints" and nothing else in case that failed. Possibly a sum type would be nicer here, but I guess it's not really important since everything ends up as json anyways?
2021-09-16	input options, output json	stuebinm	1	-0/+74
	input options are mostly dummies for now, but some work (e.g. --inpath and --json). Lints can now be optionally printed as json to be reasonably machine-readable (and the json can be pretty-printed to make it human-readable again …).