[DROOLS-7635] ansible-rulebook : Raise an error when a condition compares incompatible types

[tkobayas]

This draft PR requires
apache/incubator-kie-drools#6104
to be built beforhand.

Cross repo PR check doesn't work for now.

[tkobayas]

@mariofusco
With apache/incubator-kie-drools#6104 , now alpha index and node sharing is supported.

Limitation: in case of node sharing, the error message has only one ruleSetName/ruleName/conditionExpression. It means that when a user fixes a condition based on the error message, they may hit the similar issue in another condition next time. It might be invasive to "combine" error messages upon node sharing in drools code base. We may ask Madhu if it's important.

Feel free to share your thought, thanks!

[tkobayas]

The point I mentioned at #112 (comment) still remains

• Alpha index skips unmatched AlphaNodes and jumps to the next sink of the right AlphaNode. That means, when an event doesn't match any AlphaNode because of type mismatch , the custom predicate would not be executed. This is actually the case that users want to read the error message ... "No rule fires, I don't know if constraints are wrong". I think we would need to add the check logic in CompositeObjectSinkAdapter.propagateAssertObject.

I'll need to consider further.

[tkobayas]

DO-NOT-MERGE until apache/incubator-kie-drools#6104 will be merged and the commit is synced to kiegroup/drools

[rgdoliveira]

DO-NOT-MERGE until apache/incubator-kie-drools#6104 will be merged and the commit is synced to kiegroup/drools

@tkobayas FYI I'm doing the sync in PR kiegroup/drools#80