[new-parser] Improvement candidates

[tkobayas]

This issue aggregates improvement candidates. It may be something wrong or too tolerate in the old Antlr3 parser. Also it may be to drop features which would improve the maintainability. They will need to be discussed in [email protected] ML.

• In the old parser, duration attribute accepts any chunk text and expect validation at the compiler phase. We may define more strict parser syntax for the duration attribute.

  • Discussion: [incubator-kie-drools-5938] [new-parser] Tests using wrong duration a… #5969
  • [new-parser] Tests using wrong duration attribute format #5937
  • [new-parser] Support ISO 8601 format for duration attribute's value #5938

• Define expected value format where we use chunk, so we can reduce ambiguity (e.g. unexpected greediness)

  • Discussion: [incubator-kie-drools-5948] [new-parser] Broken testIncompatibleListO… #5975 (comment)

• Drop Half constraint

  • e.g. name == “Mark” || == “Mario”, age > 10 && < 20
  • It creates ambiguity between “conditionalOrExpression” and “orRestriction” / “conditionalAndExpression” and “andRestriction”
  • Currently we have a fix. See [incubator-kie-drools-5879] [new-parser] build failure on kie-dmn-val… #5899
  • This syntax is not widely used

• Drop Named consequence

  • e.g. if ( $a.price > Cheese.BASE_PRICE ) break[t1] else break[t2]
  • Very complex syntax.
  • This syntax is not widely used

• Drop Annotation inside LHS (except @watch)

  • For example, having an annotation on AndDescr makes sense? https://github.com/apache/incubator-kie-drools/blob/main/drools-test-coverage/test-compiler-integration/src/test/java/org/drools/compiler/integrationtests/AnnotationsTest.java#L282-L298

• Drop LanguageLevelOption

  • DRL5 : Very old
  • DRL6_STRICT : Not widely used. Not in document. See [new-parser] Strict annotation parsing #5920

• Disallow Java keywords in DRL

  • The old parser allows java keywords in DRL. For example, package some.other.package. It will fail at the compile stage anyway. It’s useless, but at the moment, we try to keep backward compatibility. Discussion is [new-parser] Allow package to be used as an identifier #5819

• || && as alternatives to infix or/and

  • Increases ambiguity. Not written in docs. See [new-parser] || and && should be allowed as alternatives to infix or and and #5936

• Additional syntax: ‘end’ has to end with a new line (may have trailing white-spaces / comment)

  • In other words, the next rule should not start in the same line (e.g. rule R1 when then end rule R2 when then end)
  • This limitation would simplify Lexer. Currently, Lexer does complex lookahead (for the backward compatibility) https://github.com/apache/incubator-kie-drools/blob/dev-new-parser/drools-drl/drools-drl-parser/src/main/java/org/drools/drl/parser/antlr4/LexerHelper.java#L59-L160

[yurloc]

• Improvement candidate: [new-parser] unit without package should not be allowed #5935.