[FLINK-30839] Relaxed looping group pattern make the following strict contiguity relaxed too

• Type: Bug
• Status: Open
• Priority: Major
• Resolution: Unresolved
• Affects Version/s: 1.15.3, 1.16.1
• Component/s: Library / CEP
• Assignee: Unassigned
• Reporter: Juntao Hu
• Created: 31/Jan/23 06:48
• Updated: 17/Feb/23 07:44

Description

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:

Pattern.begin(Pattern.begin("A").next("B")).oneOrMore().next("C")

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".