Github user dawidwys commented on a diff in the pull request:

    https://github.com/apache/flink/pull/4331#discussion_r132173699
  
    --- Diff: 
flink-libraries/flink-cep/src/main/java/org/apache/flink/cep/nfa/compiler/NFACompiler.java
 ---
    @@ -150,6 +160,59 @@ long getWindowTime() {
                }
     
                /**
    +            * Check pattern after match skip strategy.
    +            */
    +           private void checkPatternSkipStrategy() {
    +                   AfterMatchSkipStrategy afterMatchSkipStrategy = 
currentPattern.getAfterMatchSkipStrategy();
    +                   if (afterMatchSkipStrategy.getStrategy() == 
AfterMatchSkipStrategy.SkipStrategy.SKIP_TO_FIRST ||
    +                           afterMatchSkipStrategy.getStrategy() == 
AfterMatchSkipStrategy.SkipStrategy.SKIP_TO_LAST) {
    +                           Pattern<T, ?> pattern = currentPattern;
    +                           while 
(!pattern.getName().equals(afterMatchSkipStrategy.getPatternName())) {
    +                                   pattern = pattern.getPrevious();
    +                           }
    +                           // pattern name match check.
    +                           if (pattern == null) {
    +                                   throw new 
MalformedPatternException("the pattern name specified in AfterMatchSkipStrategy 
" +
    +                                           "can not be found in the given 
Pattern");
    +                           } else {
    +                                   // can not be used with optional states.
    +                                   if 
(pattern.getQuantifier().hasProperty(Quantifier.QuantifierProperty.OPTIONAL)) {
    +                                           throw new 
MalformedPatternException("the AfterMatchSkipStrategy "
    +                                                   + 
afterMatchSkipStrategy.getStrategy() + " can not be used with optional 
pattern");
    +                                   }
    +                           }
    +
    +                           // start position check.
    +                           if (pattern.getPrevious() == null) {
    --- End diff --
    
    Had a second thought on all those cases, and I think you had a good point 
with one of the previous proposals, just to fall back to the 
`SKIP_TO_NEXT_EVENT`
    
    Maybe let's allow all those situations, but if within a match we cannot 
discard(e.g. skip is to the first pattern or the optional event is not present) 
then we discard nothing. The advantage in my opinion it is easier to understand 
than to understand and maintain all those cases. (As a side note the exceptions 
in SQL in all those cases in my opinion are just an implementation details as 
they keep a single partial match at a time). What do you think?  


---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at infrastruct...@apache.org or file a JIRA ticket
with INFRA.
---

Reply via email to