204 Commits

Author	SHA1	Message	Date
Jonathan Coates	b36b96e0bc	Make the main mod non-null by default ... This was actually much more work than I thought it would be. Tests pass, but I'm sure there's some regressions in here.	2022-11-09 18:59:51 +00:00
Jonathan Coates	c82f37d3bf	Switch the core library to be non-null by default ... See comments in c8c128d335385d5afd6857dc25cc090672cc8563 for further details. This requires /relatively/ few changes - mostly cases we were missing @Nullable annotations.	2022-11-06 11:55:26 +00:00
Jonathan Coates	c8c128d335	Switch the core-api to be non-null by default ... We'll do this everywhere eventually, but much easier to do it incrementally: - Use checker framework to default all field/methods/parameters to @Nonnull. - Start using ErrorProne[1] and NullAway[2] to check for possible null pointer issues. I did look into using CheckerFramework, but it's much stricter (i.e. it's actually Correct). This is technically good, but is a much steeper migration path, which I'm not sure we're prepared for yet! [1]: https://github.com/google/error-prone [2]: https://github.com/uber/NullAway	2022-11-06 10:28:49 +00:00
Jonathan Coates	acc254a1ef	Move dan200.computercraft.core into a separate module ... This is a very big diff in changed files, but very small in actual changes.	2022-11-06 10:02:14 +00:00