[DAFFODIL-2673] enum no-match on unparsing causes Invariant Broken abort

• Type: Bug
• Status: Closed
• Priority: Critical
• Resolution: Fixed
• Affects Version/s: 3.2.1
• Fix Version/s: 3.3.0
• Component/s: Back End, Unparsing
• Assignee: Mike Beckerle
• Reporter: Mike Beckerle
• Created: 13/Mar/22 21:15
• Updated: 17/Mar/22 13:46
• Resolved: 15/Mar/22 17:57

Description

Reproducible in mil-std-2045 public schema. 

Just change the value of 

<enumeration value="OK_6016F" dfdlx:repValues="6"/>

to some other string, then run test

test_2045_D1_all_fields

(These are on mbeckerle's fork + pull request currently as of writing this. But will probably be merged before this gets attention.)

What is going on is that an array is iterating, an unparse fails because the string-to-int mapping for the enum fails.

This should fail the unparse, but not with an Invariant broken. 

I get this:

 Invariant broken: state.processorStatus.eq(org.apache.daffodil.processors.Success)
org.apache.daffodil.exceptions.Assert$.abort(Assert.scala:137)
org.apache.daffodil.processors.unparsers.RepeatingChildUnparser.endArrayOrOptional(SequenceChildUnparsers.scala:110)