Juntao Hu created FLINK-30839:
---------------------------------

             Summary: Relaxed looping group pattern make the following strict 
contiguity relaxed too
                 Key: FLINK-30839
                 URL: https://issues.apache.org/jira/browse/FLINK-30839
             Project: Flink
          Issue Type: Bug
          Components: Library / CEP
    Affects Versions: 1.16.1
            Reporter: Juntao Hu
         Attachments: looping-group-pattern-relaxed-1.png

If a group pattern loops with relaxed contiguity, the strict contiguity between 
group pattern and next pattern turns out to be as the same effect as relaxed 
contiguity.

E.g. for pattern:
{code:java}
Pattern.begin(Pattern.begin("A").next("B")).oneOrMore().next("C")
{code}
sequence (a b d c) is also a matched one, which is abviously wrong.

As part of the NFA below shows, the ignore edge on A state causes the 
unexpected ignoration of event "d".

!looping-group-pattern-relaxed.png!



--
This message was sent by Atlassian Jira
(v8.20.10#820010)

Reply via email to