Module IP_PTC_Templates

• IP_ASP_TypeDefs
     all

Details

template (value) IP_AddrInfo_Type cs_IPv4Addr(template (value) charstring p_IPv4Addr) :=
  { 
V4 := {
  Addr := p_IPv4Addr
}
  };

• p_IPv4Addr -

template (value) IP_AddrInfo_Type cs_IPv6Addr(template (value) charstring p_IPv6Addr) :=
  { 
V6 := {
  Addr := p_IPv6Addr,
  ScopeId := omit
}
  };

• p_IPv6Addr -

template (value) IP_Socket_Type cs_IP_Socket(template (omit) IP_AddrInfo_Type p_IpAddr,
                                       template (omit) PortNumber_Type  p_PortNumber) :=
  { 
IpAddr := p_IpAddr,
Port   := p_PortNumber
  };

• p_IpAddr -
• p_PortNumber -

template IP_Socket_Type cr_IP_Socket(template IP_AddrInfo_Type p_IpAddr,
                               template PortNumber_Type  p_PortNumber) :=
  { 
IpAddr := p_IpAddr,
Port   := p_PortNumber
  };

• p_IpAddr -
• p_PortNumber -

template IP_Socket_Type cr_IP_Socket_Any  := cr_IP_Socket(?, ?);

template IP_Socket_Type cr_IP_Socket_Omit := cr_IP_Socket(omit, omit);

template IP_Socket_Type cr_IP_Socket_AnyICMP  := cr_IP_Socket(?, omit);

template (value) IP_Connection_Type cs_IP_ConnectionId(InternetProtocol_Type p_Protocol,
                                                 template (omit) IP_Socket_Type p_LocalSocket := omit,
                                                 template (omit) IP_Socket_Type p_RemoteSocket := omit) :=
  { 
Protocol := p_Protocol,
Local := p_LocalSocket,
Remote := p_RemoteSocket
  };

• p_Protocol -
• p_LocalSocket -
• p_RemoteSocket -

template IP_Connection_Type cr_IP_ConnectionId(InternetProtocol_Type p_Protocol,
                                         template IP_Socket_Type p_LocalSocket,
                                         template IP_Socket_Type p_RemoteSocket) :=
  { 
Protocol := p_Protocol,
Local := p_LocalSocket,
Remote := p_RemoteSocket
  };

• p_Protocol -
• p_LocalSocket -
• p_RemoteSocket -

template (value) IP_Connection_Type cs_UDP_ConnectionId(template (omit) IP_Socket_Type p_LocalSocket,
                                                  template (omit) IP_Socket_Type p_RemoteSocket := omit) :=
cs_IP_ConnectionId(udp, p_LocalSocket, p_RemoteSocket);

• p_LocalSocket -
• p_RemoteSocket -

template IP_Connection_Type cr_UDP_ConnectionId(template IP_Socket_Type p_LocalSocket,
                                          template IP_Socket_Type p_RemoteSocket) :=
cr_IP_ConnectionId(udp, p_LocalSocket, p_RemoteSocket);

• p_LocalSocket -
• p_RemoteSocket -

template (value) IP_Connection_Type cs_ICMPv6_ConnectionId(template (omit) IP_Socket_Type p_LocalSocket,
                                                     template (omit) IP_Socket_Type p_RemoteSocket := omit) :=
cs_IP_ConnectionId(icmpv6, p_LocalSocket, p_RemoteSocket);

• p_LocalSocket -
• p_RemoteSocket -

template IP_Connection_Type cr_ICMPv6_ConnectionId(template IP_Socket_Type p_LocalSocket,
                                             template IP_Socket_Type p_RemoteSocket) :=
cr_IP_ConnectionId(icmpv6, p_LocalSocket, p_RemoteSocket);

• p_LocalSocket -
• p_RemoteSocket -

template (value) IP_Connection_Type cs_TCP_ConnectionId(template (omit) IP_Socket_Type p_LocalSocket,
                                                  template (omit) IP_Socket_Type p_RemoteSocket := omit) :=
cs_IP_ConnectionId(tcp, p_LocalSocket, p_RemoteSocket);

• p_LocalSocket -
• p_RemoteSocket -

template IP_Connection_Type cr_TCP_ConnectionId(template IP_Socket_Type p_LocalSocket,
                                          template IP_Socket_Type p_RemoteSocket) :=
cr_IP_ConnectionId(tcp, p_LocalSocket, p_RemoteSocket);

• p_LocalSocket -
• p_RemoteSocket -

template (value) IP_SOCKET_REQ cs_UDP_SOCKET_REQ(template (value) IP_Socket_Type p_LocalSocket,
                                           boolean p_AllowBroadcast) :=
  { 
CTRL := {
  ConnectionId := cs_UDP_ConnectionId(p_LocalSocket, omit),
  Req := {
UDP := {
  SocketReq := {
    SockOptList := fl_IP_SockOptList(p_AllowBroadcast)
  }
}
  }
}
  };

• p_LocalSocket -
• p_AllowBroadcast -

template (value) IP_SOCKET_REQ cs_UDP_DATA_REQ(template (value) IP_Socket_Type p_LocalSocket,
                                         template (value) IP_Socket_Type p_RemoteSocket,
                                         template (value) octetstring    p_UDP_Data) :=
  { 
DATA := {
  ConnectionId := cs_UDP_ConnectionId(p_LocalSocket, p_RemoteSocket),
  Req := {
UDP := {
  SendTo := {
    Buffer := p_UDP_Data
  }
}
  }
}
  };

• p_LocalSocket -
• p_RemoteSocket -
• p_UDP_Data -

template (value) IP_SOCKET_REQ cs_UDP_CLOSE_REQ(template (value) IP_Socket_Type p_LocalSocket) :=
  { 
CTRL := {
  ConnectionId := cs_UDP_ConnectionId(p_LocalSocket, omit),
  Req := {
UDP := {
  Close := true
}
  }
}
  };

• p_LocalSocket -

template (value) IP_SOCKET_REQ cs_ICMPv6_SOCKET_REQ(template (value) IP_Socket_Type p_LocalSocket,
                                              boolean p_AllowBroadcast) :=
  { 
CTRL := {
  ConnectionId := cs_ICMPv6_ConnectionId(p_LocalSocket, omit),
  Req := {
ICMP := {
  SocketReq := {
    SockOptList := fl_IP_SockOptList(p_AllowBroadcast)
  }
}
  }
}
  };

• p_LocalSocket -
• p_AllowBroadcast -

template (value) IP_SOCKET_REQ cs_ICMPv6_DATA_REQ(template (value) IP_Socket_Type p_LocalSocket,
                                            template (value) IP_Socket_Type p_RemoteSocket,
                                            template (value) Datagram_Content_Type p_ICMP_Data) :=
  { 
DATA := {
  ConnectionId := cs_ICMPv6_ConnectionId(p_LocalSocket, p_RemoteSocket),
  Req := {
ICMP := {
  SendTo := {
    Buffer := p_ICMP_Data
  }
}
  }
}
  };

• p_LocalSocket -
• p_RemoteSocket -
• p_ICMP_Data -

template (value) IP_SOCKET_REQ cs_ICMPv6_CLOSE_REQ(template (value) IP_Socket_Type p_LocalSocket) :=
  { 
CTRL := {
  ConnectionId := cs_ICMPv6_ConnectionId(p_LocalSocket, omit),
  Req := {
ICMP := {
  Close := true
}
  }
}
  };

• p_LocalSocket -

template (value) IP_SOCKET_REQ cs_TCP_CONNECT_REQ(template (value) IP_Socket_Type p_LocalSocket,
                                            template (value) IP_Socket_Type p_RemoteSocket,
                                            InternetApplication_Type p_Application := ims) :=
  { 
CTRL := {
  ConnectionId := cs_TCP_ConnectionId(p_LocalSocket, p_RemoteSocket),
  Req := {
TCP := {
  ConnectReq := {
    SockOptList := {},
    Application := p_Application
  }
}
  }
}
  };

• p_LocalSocket -
• p_RemoteSocket -
• p_Application -

template (value) IP_SOCKET_REQ cs_TCP_LISTEN_REQ(template (value) IP_Socket_Type p_LocalSocket,
                                           InternetApplication_Type p_Application := ims) :=
  { 
CTRL := {
  ConnectionId := cs_TCP_ConnectionId(p_LocalSocket, omit),
  Req := {
TCP := {
  Listen := {
    SockOptList := {},
    Application := p_Application
  }
}
  }
}
  };

• p_LocalSocket -
• p_Application -

template (value) IP_SOCKET_REQ cs_TCP_DATA_REQ(template (value) IP_Connection_Type p_IP_Connection,
                                         template (value) TCP_Data_Type p_TCP_Data) :=
  { 
DATA := {
  ConnectionId := p_IP_Connection,
  Req := {
TCP := {
  Send := p_TCP_Data
}
  }
}
  };

• p_IP_Connection -
• p_TCP_Data -

template (value) IP_SOCKET_REQ cs_TCP_CLOSE_REQ(template (value) IP_Connection_Type p_IP_Connection) :=
  { 
CTRL := {
  ConnectionId := p_IP_Connection,
  Req := {
TCP := {
  Close := true
}
  }
}
  };

• p_IP_Connection -

template IP_SOCKET_IND cr_UDP_SOCKET_CNF(template IP_Socket_Type p_LocalSocket) :=
  { 
CTRL := {
  ConnectionId := cr_UDP_ConnectionId(p_LocalSocket, cr_IP_Socket_Omit),
  Ind := {
UDP := {
  SocketCnf := true
}
  }
}
  };

• p_LocalSocket -

template IP_SOCKET_IND cr_UDP_DATA_IND(template IP_Socket_Type p_LocalSocket) :=
  { 
DATA := {
  ConnectionId := cr_UDP_ConnectionId(p_LocalSocket, cr_IP_Socket_Any),
  Ind := {
UDP := {
  RecvFrom := ?
}
  }
}
  };

• p_LocalSocket -

template IP_SOCKET_IND cr_ICMPv6_SOCKET_CNF(template IP_Socket_Type p_LocalSocket) :=
  { 
CTRL := {
  ConnectionId := cr_ICMPv6_ConnectionId(p_LocalSocket, cr_IP_Socket_Omit),
  Ind := {
ICMP := {
  SocketCnf := true
}
  }
}
  };

• p_LocalSocket -

template IP_SOCKET_IND cr_ICMPv6_DATA_IND(template IP_Socket_Type p_LocalSocket) :=
  { 
DATA := {
  ConnectionId := cr_ICMPv6_ConnectionId(p_LocalSocket, cr_IP_Socket_AnyICMP),
  Ind := {
ICMP := {
  RecvFrom := ?
}
  }
}
  };

• p_LocalSocket -

template IP_SOCKET_IND cr_TCP_CONNECT_CNF(template IP_Socket_Type p_LocalSocket,
                                    template IP_Socket_Type p_RemoteSocket) :=
  { 
CTRL := {
  ConnectionId := cr_TCP_ConnectionId(p_LocalSocket, p_RemoteSocket),
  Ind := {
TCP := {
  ConnectCnf := true
}
  }
}
  };

• p_LocalSocket -
• p_RemoteSocket -

template IP_SOCKET_IND cr_TCP_DATA_IND(template (present) IP_Connection_Type p_IP_Connection) :=
  { 
DATA := {
  ConnectionId := p_IP_Connection,
  Ind := {
TCP := {
  Recv := ?
}
  }
}
  };

• p_IP_Connection -

template IP_SOCKET_IND cr_TCP_CLOSE_CNF(template (present) IP_Connection_Type p_IP_Connection) :=
  { 
CTRL := {
  ConnectionId := p_IP_Connection,
  Ind := {
TCP := {
  CloseCnf := true
}
  }
}
  };

• p_IP_Connection -

template IP_SOCKET_IND cr_TCP_ACCEPT_IND(template IP_Socket_Type p_LocalSocket) :=
  { 
CTRL := {
  ConnectionId := cr_TCP_ConnectionId(p_LocalSocket, cr_IP_Socket_Any),
  Ind := {
TCP := {
  Accept := true
}
  }
}
  };

• p_LocalSocket -

template IP_SOCKET_IND cr_TCP_CLOSE_IND(template (present) IP_Connection_Type p_IP_Connection) :=
  { 
CTRL := {
  ConnectionId := p_IP_Connection,
  Ind := {
TCP := {
  Close := true
}
  }
}
  };

• p_IP_Connection -

function fl_IP_SockOptList(boolean p_AllowBroadcast) return IP_SockOptList_Type
  

• p_AllowBroadcast -