Commit 6f366846 authored by garciay's avatar garciay
Browse files

Add dummy TCPv4 templates

parent c5ad3bf0
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
@@ -32,7 +32,7 @@ module AtsCommon_Tcpv4_Rfc793_TypesAndValues {
     * @member payload          TCP payload
     * @reference http://tools.ietf.org/html/rfc793
     */
    type record TCPPv4Msg {
    type record TCPv4Msg {
        UInt16          srcPort,
        UInt16          dstPort,
        UInt32          seqNumber,
@@ -46,7 +46,7 @@ module AtsCommon_Tcpv4_Rfc793_TypesAndValues {
        octetstring     options length(0..40),
        octetstring     pad optional,
        TCPv4Payload    payload
    } // End of type TCPPv4Msg
    } // End of type TCPv4Msg
    
    /**
     * @desc Aka Control bits
+84 −3
Original line number Diff line number Diff line
@@ -6,19 +6,100 @@
module AtsCommon_Templates {
    
    // LibCommon
    import from LibCommon_BasicTypesAndValues {
        type UInt16
    };
    import from LibCommon_DataStrings {
        type Oct4
    };
    
    // LibIPv6
    import from LibIpv6_CommonRfcsDhcp_TypesAndValues all;
    import from AtsCommon_Dhcpv4_CommonRfcs_TypesAndValues all;
    import from AtsCommon_Dhcpv4_Rfc1533_TypesAndValues all;
    import from AtsCommon_Dhcpv4_Rfc5969_TypesAndValues all;
    import from LibIpv6_Rfc3315Dhcp_TypesAndValues all;
    import from LibIpv6_Rfc3646Dhcp_TypesAndValues all;
    import from LibIpv6_Rfc6334Dhcp_TypesAndValues all;
    
    // AtsCommon
    import from AtsCommon_Tcpv4_Rfc793_TypesAndValues all;
    import from AtsCommon_Dhcpv4_CommonRfcs_TypesAndValues all;
    import from AtsCommon_Dhcpv4_Rfc1533_TypesAndValues all;
    import from AtsCommon_Dhcpv4_Rfc5969_TypesAndValues all;
    
    group tcpv4MessageTemplates {
        
        group tcpv4DummySendTemplates {
            
            template (value) TCPv4Msg m_tcpv4_packet(
                                                        in template (value) UInt16 p_srcPort,
                                                        in template (value) UInt16 p_dstPort,
                                                        in template (value) TCPv4Payload p_payload
            ) := {
                srcPort         := p_srcPort,
                dstPort         := p_dstPort,
                seqNumber       := 0,
                ackNumber       := omit,
                dataOffset      := '0101'B,
                reserved        := '000'B, 
                flags           := m_tcpv4_flags_dummy,
                widowSize       := 0,
                checksum        := 0,
                urgentPointer   := 0,
                options         := ''O,
                pad             := omit,
                payload         := p_payload
            } // End of template m_tcpv4_packet
            
            template (value) TCPv4Flags m_tcpv4_flags_dummy := {
                ns      := '0'B,
                cwr     := '0'B,
                ece     := '0'B,
                urg     := '0'B,
                ack     := '0'B,
                psh     := '0'B,
                rst     := '0'B,
                syn     := '0'B,
                fin     := '0'B
            } // End of template m_tcpv4_flags_dummy
            
        } // End of group tcpv4DummySendTemplates
        
        group tcpv4MessagesDummyRecvTemplates {
            
            template (present) TCPv4Msg mw_tcpv4_packet := {
                srcPort         := ?,
                dstPort         := ?,
                seqNumber       := ?,
                ackNumber       := *,
                dataOffset      := ?,
                reserved        := '000'B, 
                flags           := mw_tcpv4_flags_dummy,
                widowSize       := ?,
                checksum        := ?,
                urgentPointer   := ?,
                options         := ?,
                pad             := *,
                payload         := ?
            } // End of template mw_tcpv4_packet
            
            
            template (present) TCPv4Flags mw_tcpv4_flags_dummy := {
                ns      := ?,
                cwr     := ?,
                ece     := ?,
                urg     := ?,
                ack     := ?,
                psh     := ?,
                rst     := ?,
                syn     := ?,
                fin     := ?
            } // End of template mw_tcpv4_flags_dummy
            
            
            
        } // End of group tcpv4MessagesDummyRecvTemplates 
        
    } // End of group tcpv4MessageTemplates 
    
    group dhcpv4MessageTemplates {
        
        group dhcpv4DummySendTemplates {