Using enumerations for DFDL choices?

[Christofer Dutz]

Hi and sorry for opening all these topics 😉

But at least that means we’re working hard on utilizing Daffodil 😉

Sort of all Protocols use some discriminator fields to define what’s coming up 
and how to interpret the data.
When hand-coding drivers, we usually created Java enums with all the allowed 
values and were able to use these in the code.

With dfdl we are able to define some simpleTypes with restriction and 
enumeration, but are unable to reference instances of these enumerations.
It would be beneficial to for example give every enumeration an id and to use 
that in the choiceBranchKey …
right now it happened not just once, that a numeric value was used which wasn’t 
the expected one.

It was then quite difficult to track down what was wrong as it’s not that 
obvious.

Is something like this possible:

<xs:simpleType name="CotpTpduType">
    <xs:restriction base="plc4x:uint8">
        <xs:enumeration value="224" id=“ cotpTpduConnectionRequestId”>
            <xs:annotation>
                <xs:appinfo source="http://plc4x.apache.org/plc4x";>
                    <plc4x:enumName>ConnectionRequest</plc4x:enumName>
                </xs:appinfo>
            </xs:annotation>
        </xs:enumeration>
        <xs:enumeration value="208" id=“ cotpTpduConnectionResponseId”>
            <xs:annotation>
                <xs:appinfo source="http://plc4x.apache.org/plc4x";>
                    <plc4x:enumName>ConnectionResponse</plc4x:enumName>
                </xs:appinfo>
            </xs:annotation>
        </xs:enumeration>
        <xs:enumeration value="128" id=“ cotpTpduDisconnectRequestId”>
            <xs:annotation>
                <xs:appinfo source="http://plc4x.apache.org/plc4x";>
                    <plc4x:enumName>DisconnectRequest</plc4x:enumName>
                </xs:appinfo>
            </xs:annotation>
        </xs:enumeration>
        <xs:enumeration value="192" id=“ cotpTpduDisconnectResponseId”>
            <xs:annotation>
                <xs:appinfo source="http://plc4x.apache.org/plc4x";>
                    <plc4x:enumName>DisconnectResponse</plc4x:enumName>
                </xs:appinfo>
            </xs:annotation>
        </xs:enumeration>
        <xs:enumeration value="112" id=“ cotpTpduErrorId”>
            <xs:annotation>
                <xs:appinfo source="http://plc4x.apache.org/plc4x";>
                    <plc4x:enumName>Error</plc4x:enumName>
                </xs:appinfo>
            </xs:annotation>
        </xs:enumeration>
        <xs:enumeration value="240" id=“ cotpTpduDataId”>
            <xs:annotation>
                <xs:appinfo source="http://plc4x.apache.org/plc4x";>
                    <plc4x:enumName>Data</plc4x:enumName>
                </xs:appinfo>
            </xs:annotation>
        </xs:enumeration>
    </xs:restriction>
</xs:simpleType>

<xs:complexType name="CotpMessage">
    <xs:sequence>
        <!-- Length of the COTP header data -->
        <xs:element name="headerLength" type="plc4x:uint8"/>
        <xs:element name="type" type="s7:CotpTpduType"/>
        <xs:choice dfdl:choiceDispatchKey="{xs:string(type)}">
            <xs:element dfdl:choiceBranchKey="cotpTpduConnectionRequestId" 
name="cotpTpduConnectionRequest"
                        type="s7:CotpTpduConnectionRequest"/>
            <xs:element dfdl:choiceBranchKey="cotpTpduConnectionResponseId" 
name="cotpTpduConnectionResponse"
                        type="s7:CotpTpduConnectionResponse"/>
            <xs:element dfdl:choiceBranchKey="cotpTpduDisconnectRequestId" 
name="cotpTpduDisconnectRequest"
                        type="s7:CotpTpduDisconnectRequest"/>
            <xs:element dfdl:choiceBranchKey="cotpTpduDisconnectResponseId" 
name="cotpTpduDisconnectResponse"
                        type="s7:CotpTpduDisconnectResponse"/>
            <xs:element dfdl:choiceBranchKey="cotpTpduErrorId" 
name="cotpTpduError" type="s7:CotpTpduError"/>
            <xs:element dfdl:choiceBranchKey="cotpTpduDataId" 
name="cotpTpduData" type="s7:CotpTpduData"/>
        </xs:choice>
        <xs:element name="userData" type="s7:S7Message" minOccurs="0"
                    dfdl:occursCountKind="expression"
                    dfdl:occursCount="{if((../../length - (../headerLength + 
5)) gt 0) then 1 else 0}"/>
    </xs:sequence>
</xs:complexType>

Is just some pseudo-schema but I hope you get what I’m trying to do … I want do 
define the type of “type” and hereby name the branches in order to avoid errors.

Chris