Check if interface is fully implemented by mixin (is it possible?)

[Niko-sk2x]

Currently it will fail at runtime if some methods in interface are not implemented when the mixin class is abstract (and it usually is to avoid implementing shadow methods). Would it be possible for the plugin to check if all of them are implemented?

I'm not entirely sure but it looks like it may be possible to implement different interface methods in different mixins, so that may be difficult.

Then there are methods in interfaces with the same name as vanilla methods - if the method has obfuscated name and there is no @Intrinsic method - it will fail at runtime in obfuscated environment. This also could be checked.

[Mumfrey]

Just FYI this is what -Dmixin.checks.interfaces=true is for, it dumps an implementation log into the console (and into .mixin.out/audit as a text file) so you can see which interfaces aren't fully implemented.

[Niko-sk2x]

The point is to do it at compile time instead of at runtime. This would help a lot when the project is still far from compiling and running and you can't just run it yet to check.

[Mumfrey]

It's certainly possible, the inspection would need to take into account soft implementations, intrinsics, and of course interfaces which are implemented as multiple mixins. I guess it would need to warn on all mixins for a particular target class since it won't know which mixin is supposed to be implementing the method (unless there is only one of course).

The thing is you still need to use auditing in production in order to verify your intrinsics.

[Niko-sk2x]

Are intrinsics impossible to check at compile time? The plugin knows MCP mappings so it could know when the implementation won't work in obfuscated environment. Some of them may still be impossible to check, but it can definitely know when an intrinsic is needed.