Enhance AtsPki / Titan

ttcn/GeoNetworking/LibItsGeoNetworking_TypesAndValues.ttcn

@@ -619,18 +619,6 @@ module LibItsGeoNetworking_TypesAndValues {
           variant "FIELDORDER(msb)" 
         }
                 
-        /**
-         * @desc Identifies the header type and the header subtype for Service Announcement SA.
-         * @member headerType
-         * @member reserved
-         */
-        type record SaHeaderType {
-          HeaderType      headerType(e_serviceAnnouncement),
-          HeaderSubTypeSa headerSubType
-        } with { 
-          variant "FIELDORDER(msb)" 
-        }
-                
         /**
          * @desc Identifies the header type and the header subtype for Topologically-Scoped Broadcast TSB.
          * @member headerType
@@ -720,7 +708,6 @@ module LibItsGeoNetworking_TypesAndValues {
             GeoBroadcastHeaderType  geoBroadcastHdr,
             TsbHeaderType           tsbHdr,
             LsHeaderType            lsHdr,
-            SaHeaderType            saHdr,
             UInt8                   reserved
         } with { 
           variant "FIELDORDER(msb)" 
@@ -737,7 +724,6 @@ module LibItsGeoNetworking_TypesAndValues {
           e_geoBroadcast(4),
           e_topologicallyScopedBroadcast(5),
           e_locationService(6),
-          e_serviceAnnouncement(7),
           e_reserved
         } with {
           variant "FIELDLENGTH(4)" //variant "4 bit"

ttcn/Pki/LibItsPki_TestSystem.ttcn

@@ -52,7 +52,9 @@ module LibItsPki_TestSystem {
     } // End of UpperTesterPort
     
     type port InfoPort message {
-        inout InfoPortData
+      inout InfoPortData
+    } with {
+      extension "internal"
     } // End of InfoPort
     
   } // End of group portDefinitions