Module IP_ASP_TypeDefs

• CommonDefs
     all

• IP_Common
• IP_Config
• IPsec_Config
• IP_SocketHandling
• Socket_Common
• Socket_Datagram
• TCP_Socket
• UDP_Socket
• ICMP_Socket
• Socket_Primitives
• System_Interface

Details

type UInt16_Type PortNumber_Type;

type integer IP_DrbId_Type;

type integer IPsec_SPI_Type (0..tsc_IPsec_SPI_Max);

type octetstring Datagram_Content_Type;

type octetstring         TCP_Data_Type;

type enumerated InternetProtocol_Type {
udp,
tcp,
icmp,
icmpv6
  };

type enumerated IPsec_IntegrityAlgorithm_Type {
hmac_md5_96,
hmac_sha_1_96
  };

type enumerated IPsec_CipheringAlgorithm_Type {
des_ede3_cbc,
aes_cbc,
nociph                                      
  };

type enumerated InternetApplication_Type { ims, http };

type record IPv4_AddrInfo_Type {                      
charstring          Addr                            
  }

type record IPv6_AddrInfo_Type {                      
charstring          Addr,                           
UInt32_Type         ScopeId     optional            
  }

type record IP_Socket_Type {                          
IP_AddrInfo_Type    IpAddr      optional,           
PortNumber_Type     Port        optional            
  }

type record IP_Connection_Type {
InternetProtocol_Type Protocol,
IP_Socket_Type        Local     optional,
IP_Socket_Type        Remote    optional
  }

type record IP_EUTRA_DrbInfo_Type {
EUTRA_CellId_Type   CellId,         
IP_DrbId_Type       DrbId  optional 
  }

type record IP_UTRAN_GERAN_DrbInfo_Type {
integer             CellId,
IP_DrbId_Type       DrbId  optional 
  }

type record IP_RoutingInfo_Type {
IP_Connection_Type  IpInfo,         
IP_DrbInfo_Type     DRB
  }

type record IPsec_SecurityKeys_Type {         
bitstring   MD5_96Key       length (128),
bitstring   SHA_1_96Key     length (160),
bitstring   DES_EDE3_CBCKey length (192),
bitstring   AES_CBCKey      length (128)
  }

type record IPsec_SecurityAssociation_Type {  
IPsec_SPI_Type                      SPI,
charstring                          SrcAddress,
charstring                          DestAddress,
UInt16_Type                         SrcPort,
UInt16_Type                         DestPort,
IPsec_IntegrityAlgorithm_Type       IntegrityAlgorithm  optional,    
IPsec_CipheringAlgorithm_Type       CipheringAlgorithm  optional     
  }

type record IPsec_Configure_Type {    
IPsec_SecurityAssociationList_Type  SA_List,
IPsec_SecurityKeys_Type             SecurityKeys
  }

type record IPsec_Release_Type {      
IPsec_SecurityAssociationList_Type  SA_List
  }

type record Datagram_DL_Type {                
Datagram_Content_Type Buffer                
  }

type record Datagram_UL_Type {                
Datagram_Content_Type Buffer,               
IP_DrbInfo_Type       DrbInfo   optional    
  }

type record TCP_ConnectRequest_Type {         
IP_SockOptList_Type         SockOptList,    
InternetApplication_Type    Application     
  }

type record TCP_Listen_Type {                 
IP_SockOptList_Type         SockOptList,    
InternetApplication_Type    Application     
  }

type record UDP_SocketReq_Type {              
IP_SockOptList_Type         SockOptList     
  }

type record ICMP_SocketReq_Type {             
IP_SockOptList_Type         SockOptList     
  }

type record IP_SOCKET_CTRL_REQ {
IP_Connection_Type          ConnectionId,
IP_CtrlRequest_Type         Req
  }

type record IP_SOCKET_DATA_REQ {
IP_Connection_Type          ConnectionId,
IP_DataRequest_Type         Req
  }

type record IP_SOCKET_CTRL_IND {
IP_Connection_Type          ConnectionId,
IP_CtrlIndication_Type      Ind
  }

type record IP_SOCKET_DATA_IND {
IP_Connection_Type          ConnectionId,
IP_DataIndication_Type      Ind
  }

type record of IP_RoutingInfo_Type IP_RoutingTable_Type

type record of IPsec_SecurityAssociation_Type IPsec_SecurityAssociationList_Type

type record of IP_SockOpt_Type IP_SockOptList_Type

type union IP_AddrInfo_Type {
IPv4_AddrInfo_Type  V4,
IPv6_AddrInfo_Type  V6
  }

type union IP_DrbInfo_Type {
IP_EUTRA_DrbInfo_Type       Eutra,
IP_UTRAN_GERAN_DrbInfo_Type Utran,
IP_UTRAN_GERAN_DrbInfo_Type Geran
  }

type union IP_SockOpt_Type {          
boolean     SO_BROADCAST            
  }

type union IP_SocketError_Type {      
Null_Type   InvalidAddress,         
integer     System                  
  }

type union TCP_CtrlRequest_Type {
TCP_ConnectRequest_Type     ConnectReq,     
TCP_Listen_Type             Listen,         
Null_Type                   Close           
  }

type union TCP_DataRequest_Type {
TCP_Data_Type               Send            
  }

type union TCP_CtrlIndication_Type {
Null_Type                   ConnectCnf,     
Null_Type                   Accept,         
Null_Type                   Close,          
Null_Type                   CloseCnf        
  }

type union TCP_DataIndication_Type {
TCP_Data_Type               Recv            
  }

type union UDP_CtrlRequest_Type {
UDP_SocketReq_Type          SocketReq,      
Null_Type                   Close           
  }

type union UDP_DataRequest_Type {
   Datagram_DL_Type             SendTo          
  }

type union UDP_CtrlIndication_Type {
Null_Type                   SocketCnf       
  }

type union UDP_DataIndication_Type {
Datagram_UL_Type            RecvFrom        
  }

type union ICMP_CtrlRequest_Type {
ICMP_SocketReq_Type         SocketReq,      
Null_Type                   Close           
  }

type union ICMP_DataRequest_Type {
Datagram_DL_Type            SendTo          
  }

type union ICMP_CtrlIndication_Type {
Null_Type                   SocketCnf       
  }

type union ICMP_DataIndication_Type {
Datagram_UL_Type            RecvFrom        
  }

type union IP_CtrlRequest_Type {
TCP_CtrlRequest_Type        TCP,
UDP_CtrlRequest_Type        UDP,
ICMP_CtrlRequest_Type       ICMP
  }

type union IP_DataRequest_Type {
TCP_DataRequest_Type        TCP,
UDP_DataRequest_Type        UDP,
ICMP_DataRequest_Type       ICMP
  }

type union IP_CtrlIndication_Type {
TCP_CtrlIndication_Type     TCP,
UDP_CtrlIndication_Type     UDP,
ICMP_CtrlIndication_Type    ICMP,
IP_SocketError_Type         Error
  }

type union IP_DataIndication_Type {
TCP_DataIndication_Type     TCP,
UDP_DataIndication_Type     UDP,
ICMP_DataIndication_Type    ICMP
  }

type union DRBMUX_CONFIG_REQ {
IP_RoutingTable_Type        RoutingInfo
  }

type union DRBMUX_COMMON_IND_CNF {
Null_Type   Confirm,                
Null_Type   Error                   
  }

type union IPSEC_CONFIG_REQ {
IPsec_Configure_Type                Configure,
IPsec_Release_Type                  Release
  }

type union IPSEC_CONFIG_CNF {
Null_Type   Confirm,                
Null_Type   Error                   
  }

type union IP_SOCKET_REQ {
IP_SOCKET_CTRL_REQ          CTRL,
IP_SOCKET_DATA_REQ          DATA
  }

type union IP_SOCKET_IND {
IP_SOCKET_CTRL_IND          CTRL,
IP_SOCKET_DATA_IND          DATA
  }

type port IP_CONTROL_PORT message {
out DRBMUX_CONFIG_REQ;
in  DRBMUX_COMMON_IND_CNF;
  }

type port IPSEC_CONTROL_PORT message {
out IPSEC_CONFIG_REQ;
in  IPSEC_CONFIG_CNF;
  }

type port IP_SOCKET_PORT message {
out IP_SOCKET_REQ;
in  IP_SOCKET_IND;
  }

const integer tsc_IPsec_SPI_Max := 4294967295