Commit bd4a61e0 authored by garciay's avatar garciay
Browse files

Validate on TCT3

parent e634d2de
Loading
Loading
Loading
Loading
+10 −0
Original line number Original line Diff line number Diff line
@@ -80,6 +80,8 @@ module LibItsDenm_TypesAndValues {
        type record UtDenmTriggerResult {
        type record UtDenmTriggerResult {
            boolean result,
            boolean result,
            ActionID actionId
            ActionID actionId
        } with {
			encode (actionId) "LibItsDenm_asn1"
        }
        }
        
        
        /**
        /**
@@ -97,6 +99,8 @@ module LibItsDenm_TypesAndValues {
            integer trafficClass optional, // FIXME: check if useful
            integer trafficClass optional, // FIXME: check if useful
            TransmissionInterval transmissionInterval optional,
            TransmissionInterval transmissionInterval optional,
            boolean keepAliveForwardingRequest 
            boolean keepAliveForwardingRequest 
        } with {
			encode "LibItsDenm_asn1"
        }
        }
        
        
        /**
        /**
@@ -105,6 +109,8 @@ module LibItsDenm_TypesAndValues {
        type record UtDenmUpdateResult { 
        type record UtDenmUpdateResult { 
        	boolean result,
        	boolean result,
            ActionID actionId
            ActionID actionId
        } with {
			encode (actionId) "LibItsDenm_asn1"
        }
        }
        
        
        /**
        /**
@@ -112,6 +118,8 @@ module LibItsDenm_TypesAndValues {
         */
         */
        type record UtDenmTermination {
        type record UtDenmTermination {
            ActionID actionId
            ActionID actionId
        } with {
			encode (actionId) "LibItsDenm_asn1"
        }
        }
        
        
        /**
        /**
@@ -124,6 +132,8 @@ module LibItsDenm_TypesAndValues {
         */
         */
        type record UtDenmEventInd {
        type record UtDenmEventInd {
            DENM denMsg
            DENM denMsg
        } with {
			encode (denMsg) "LibItsDenm_asn1"
        }
        }
        
        
        /**
        /**