(no description)
The following diagram shows usage relationships between types. Unresolved types are missing from the diagram.
The following diagram shows inheritance relationships for this type. Unresolved types are missing from the diagram.
Name | Type | Description |
---|---|---|
MobilityHeader | packet |
extends IPv6ExtensionHeader // TODO check how to define MobilityHeader as subclass of IPv6ExtensionHeader |
Name | Type | Description |
---|---|---|
homeInitCookie | unsigned int | |
homeKeyGenToken | unsigned int |
home nonce index not modelled |
mobilityHeaderType | int |
packet HomeTest extends MobilityHeader { unsigned int homeInitCookie; unsigned int homeKeyGenToken; // home nonce index not modelled } //=============Message definition of Care-of Test Init Message ==========