[DAFFODIL-2555] dfdl:occursCountKind aborts with expression results in ParseError

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 3.1.0
• Fix Version/s: 3.2.0
• Component/s: Back End
• Assignee: Steve Lawrence
• Reporter: Steve Lawrence
• Created: 19/Aug/21 15:24
• Updated: 27/Aug/21 15:10
• Resolved: 23/Aug/21 15:24

Description

If a dfdl:occursCount expression results in a parse error, for example referencing a string that cannot be converted to a number, then it results in the following abort:

 org.apache.daffodil.exceptions.Abort
	at org.apache.daffodil.processors.parsers.PState.verifyFinalState(PState.scala:520)
	at org.apache.daffodil.processors.DataProcessor.doParse(DataProcessor.scala:516)
	at org.apache.daffodil.processors.DataProcessor.parse(DataProcessor.scala:439)
...
	Suppressed: org.apache.daffodil.exceptions.Abort: Invariant broken: MPState.this.groupIndexStack.length.==(1)
org.apache.daffodil.exceptions.Assert$.abort(Assert.scala:137)
org.apache.daffodil.processors.parsers.MPState.verifyFinalState(PState.scala:144)
org.apache.daffodil.processors.parsers.PState.verifyFinalState(PState.scala:511)
org.apache.daffodil.processors.DataProcessor.doParse(DataProcessor.scala:516)
		at org.apache.daffodil.exceptions.Assert$.abort(Assert.scala:137)
		at org.apache.daffodil.processors.parsers.MPState.verifyFinalState(PState.scala:144)
		at org.apache.daffodil.processors.parsers.PState.verifyFinalState(PState.scala:511)
		... 8 more
Caused by: [CIRCULAR REFERENCE: org.apache.daffodil.exceptions.Abort: Invariant broken: MPState.this.groupIndexStack.length.==(1)
org.apache.daffodil.exceptions.Assert$.abort(Assert.scala:137)
org.apache.daffodil.processors.parsers.MPState.verifyFinalState(PState.scala:144)
org.apache.daffodil.processors.parsers.PState.verifyFinalState(PState.scala:511)
org.apache.daffodil.processors.DataProcessor.doParse(DataProcessor.scala:516)]