Network OSPF_RFC2328_Fig6

Package: inet.examples.ospfv2.fulltest
File: examples/ospfv2/fulltest/FullTest.ned

(no description)

OSPF_Area1 OSPF_Area2 OSPF_Area3 OSPFRouter OSPFRouter OSPFRouter OSPFRouter OSPFRouter OSPFRouter OSPFRouter OspfLan OspfLan OspfLan OspfLan IPv4NetworkConfigurator

Usage diagram:

The following diagram shows usage relationships between types. Unresolved types are missing from the diagram.

Inheritance diagram:

The following diagram shows inheritance relationships for this type. Unresolved types are missing from the diagram.

Properties:

Name Value Description
isNetwork
display p=10,10;b=704,560

Unassigned submodule parameters:

Name Type Default value Description
Area1.RT1.status.initialStatus string "UP"

TODO @signal, @statistic

Area1.RT1.routingTable.forwarding bool
Area1.RT1.routingTable.multicastForwarding bool
Area1.RT1.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

Area1.RT1.pcapRecorder.verbose bool false

whether to log packets on the module output

Area1.RT1.pcapRecorder.pcapFile string ""

the PCAP file to be written

Area1.RT1.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

Area1.RT1.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

Area1.RT1.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

Area1.RT1.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

Area1.RT1.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

Area1.RT1.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

Area1.RT1.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

Area1.RT1.lo0.lo.mtu int 4470B
Area1.RT1.bgp.interfaceTableModule string

The path to the InterfaceTable module

Area1.RT1.bgp.routingTableModule string
Area1.RT1.bgp.ospfRoutingModule string hasOSPF ? "^.ospf" : ""
Area1.RT1.bgp.dataTransferMode string
Area1.RT2.status.initialStatus string "UP"

TODO @signal, @statistic

Area1.RT2.routingTable.forwarding bool
Area1.RT2.routingTable.multicastForwarding bool
Area1.RT2.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

Area1.RT2.pcapRecorder.verbose bool false

whether to log packets on the module output

Area1.RT2.pcapRecorder.pcapFile string ""

the PCAP file to be written

Area1.RT2.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

Area1.RT2.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

Area1.RT2.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

Area1.RT2.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

Area1.RT2.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

Area1.RT2.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

Area1.RT2.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

Area1.RT2.lo0.lo.mtu int 4470B
Area1.RT2.bgp.interfaceTableModule string

The path to the InterfaceTable module

Area1.RT2.bgp.routingTableModule string
Area1.RT2.bgp.ospfRoutingModule string hasOSPF ? "^.ospf" : ""
Area1.RT2.bgp.dataTransferMode string
Area1.N1.host.status.initialStatus string "UP"

TODO @signal, @statistic

Area1.N1.host.routingTable.forwarding bool
Area1.N1.host.routingTable.multicastForwarding bool
Area1.N1.host.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

Area1.N1.host.pcapRecorder.verbose bool false

whether to log packets on the module output

Area1.N1.host.pcapRecorder.pcapFile string ""

the PCAP file to be written

Area1.N1.host.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

Area1.N1.host.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

Area1.N1.host.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

Area1.N1.host.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

Area1.N1.host.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

Area1.N1.host.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

Area1.N1.host.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

Area1.N1.host.lo0.lo.mtu int 4470B
Area1.N2.host.status.initialStatus string "UP"

TODO @signal, @statistic

Area1.N2.host.routingTable.forwarding bool
Area1.N2.host.routingTable.multicastForwarding bool
Area1.N2.host.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

Area1.N2.host.pcapRecorder.verbose bool false

whether to log packets on the module output

Area1.N2.host.pcapRecorder.pcapFile string ""

the PCAP file to be written

Area1.N2.host.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

Area1.N2.host.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

Area1.N2.host.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

Area1.N2.host.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

Area1.N2.host.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

Area1.N2.host.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

Area1.N2.host.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

Area1.N2.host.lo0.lo.mtu int 4470B
Area1.N3.host.status.initialStatus string "UP"

TODO @signal, @statistic

Area1.N3.host.routingTable.forwarding bool
Area1.N3.host.routingTable.multicastForwarding bool
Area1.N3.host.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

Area1.N3.host.pcapRecorder.verbose bool false

whether to log packets on the module output

Area1.N3.host.pcapRecorder.pcapFile string ""

the PCAP file to be written

Area1.N3.host.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

Area1.N3.host.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

Area1.N3.host.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

Area1.N3.host.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

Area1.N3.host.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

Area1.N3.host.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

Area1.N3.host.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

Area1.N3.host.lo0.lo.mtu int 4470B
Area1.N4.host.status.initialStatus string "UP"

TODO @signal, @statistic

Area1.N4.host.routingTable.forwarding bool
Area1.N4.host.routingTable.multicastForwarding bool
Area1.N4.host.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

Area1.N4.host.pcapRecorder.verbose bool false

whether to log packets on the module output

Area1.N4.host.pcapRecorder.pcapFile string ""

the PCAP file to be written

Area1.N4.host.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

Area1.N4.host.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

Area1.N4.host.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

Area1.N4.host.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

Area1.N4.host.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

Area1.N4.host.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

Area1.N4.host.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

Area1.N4.host.lo0.lo.mtu int 4470B
Area2.RT8.status.initialStatus string "UP"

TODO @signal, @statistic

Area2.RT8.routingTable.forwarding bool
Area2.RT8.routingTable.multicastForwarding bool
Area2.RT8.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

Area2.RT8.pcapRecorder.verbose bool false

whether to log packets on the module output

Area2.RT8.pcapRecorder.pcapFile string ""

the PCAP file to be written

Area2.RT8.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

Area2.RT8.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

Area2.RT8.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

Area2.RT8.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

Area2.RT8.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

Area2.RT8.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

Area2.RT8.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

Area2.RT8.lo0.lo.mtu int 4470B
Area2.RT8.bgp.interfaceTableModule string

The path to the InterfaceTable module

Area2.RT8.bgp.routingTableModule string
Area2.RT8.bgp.ospfRoutingModule string hasOSPF ? "^.ospf" : ""
Area2.RT8.bgp.dataTransferMode string
Area2.N6.host.status.initialStatus string "UP"

TODO @signal, @statistic

Area2.N6.host.routingTable.forwarding bool
Area2.N6.host.routingTable.multicastForwarding bool
Area2.N6.host.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

Area2.N6.host.pcapRecorder.verbose bool false

whether to log packets on the module output

Area2.N6.host.pcapRecorder.pcapFile string ""

the PCAP file to be written

Area2.N6.host.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

Area2.N6.host.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

Area2.N6.host.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

Area2.N6.host.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

Area2.N6.host.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

Area2.N6.host.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

Area2.N6.host.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

Area2.N6.host.lo0.lo.mtu int 4470B
Area2.N7.host.status.initialStatus string "UP"

TODO @signal, @statistic

Area2.N7.host.routingTable.forwarding bool
Area2.N7.host.routingTable.multicastForwarding bool
Area2.N7.host.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

Area2.N7.host.pcapRecorder.verbose bool false

whether to log packets on the module output

Area2.N7.host.pcapRecorder.pcapFile string ""

the PCAP file to be written

Area2.N7.host.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

Area2.N7.host.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

Area2.N7.host.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

Area2.N7.host.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

Area2.N7.host.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

Area2.N7.host.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

Area2.N7.host.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

Area2.N7.host.lo0.lo.mtu int 4470B
Area2.N8.host.status.initialStatus string "UP"

TODO @signal, @statistic

Area2.N8.host.routingTable.forwarding bool
Area2.N8.host.routingTable.multicastForwarding bool
Area2.N8.host.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

Area2.N8.host.pcapRecorder.verbose bool false

whether to log packets on the module output

Area2.N8.host.pcapRecorder.pcapFile string ""

the PCAP file to be written

Area2.N8.host.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

Area2.N8.host.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

Area2.N8.host.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

Area2.N8.host.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

Area2.N8.host.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

Area2.N8.host.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

Area2.N8.host.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

Area2.N8.host.lo0.lo.mtu int 4470B
Area3.RT9.status.initialStatus string "UP"

TODO @signal, @statistic

Area3.RT9.routingTable.forwarding bool
Area3.RT9.routingTable.multicastForwarding bool
Area3.RT9.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

Area3.RT9.pcapRecorder.verbose bool false

whether to log packets on the module output

Area3.RT9.pcapRecorder.pcapFile string ""

the PCAP file to be written

Area3.RT9.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

Area3.RT9.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

Area3.RT9.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

Area3.RT9.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

Area3.RT9.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

Area3.RT9.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

Area3.RT9.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

Area3.RT9.lo0.lo.mtu int 4470B
Area3.RT9.bgp.interfaceTableModule string

The path to the InterfaceTable module

Area3.RT9.bgp.routingTableModule string
Area3.RT9.bgp.ospfRoutingModule string hasOSPF ? "^.ospf" : ""
Area3.RT9.bgp.dataTransferMode string
Area3.RT12.status.initialStatus string "UP"

TODO @signal, @statistic

Area3.RT12.routingTable.forwarding bool
Area3.RT12.routingTable.multicastForwarding bool
Area3.RT12.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

Area3.RT12.pcapRecorder.verbose bool false

whether to log packets on the module output

Area3.RT12.pcapRecorder.pcapFile string ""

the PCAP file to be written

Area3.RT12.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

Area3.RT12.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

Area3.RT12.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

Area3.RT12.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

Area3.RT12.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

Area3.RT12.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

Area3.RT12.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

Area3.RT12.lo0.lo.mtu int 4470B
Area3.RT12.bgp.interfaceTableModule string

The path to the InterfaceTable module

Area3.RT12.bgp.routingTableModule string
Area3.RT12.bgp.ospfRoutingModule string hasOSPF ? "^.ospf" : ""
Area3.RT12.bgp.dataTransferMode string
Area3.N9.host.status.initialStatus string "UP"

TODO @signal, @statistic

Area3.N9.host.routingTable.forwarding bool
Area3.N9.host.routingTable.multicastForwarding bool
Area3.N9.host.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

Area3.N9.host.pcapRecorder.verbose bool false

whether to log packets on the module output

Area3.N9.host.pcapRecorder.pcapFile string ""

the PCAP file to be written

Area3.N9.host.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

Area3.N9.host.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

Area3.N9.host.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

Area3.N9.host.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

Area3.N9.host.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

Area3.N9.host.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

Area3.N9.host.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

Area3.N9.host.lo0.lo.mtu int 4470B
Area3.N10.host.status.initialStatus string "UP"

TODO @signal, @statistic

Area3.N10.host.routingTable.forwarding bool
Area3.N10.host.routingTable.multicastForwarding bool
Area3.N10.host.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

Area3.N10.host.pcapRecorder.verbose bool false

whether to log packets on the module output

Area3.N10.host.pcapRecorder.pcapFile string ""

the PCAP file to be written

Area3.N10.host.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

Area3.N10.host.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

Area3.N10.host.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

Area3.N10.host.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

Area3.N10.host.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

Area3.N10.host.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

Area3.N10.host.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

Area3.N10.host.lo0.lo.mtu int 4470B
Area3.N11.host.status.initialStatus string "UP"

TODO @signal, @statistic

Area3.N11.host.routingTable.forwarding bool
Area3.N11.host.routingTable.multicastForwarding bool
Area3.N11.host.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

Area3.N11.host.pcapRecorder.verbose bool false

whether to log packets on the module output

Area3.N11.host.pcapRecorder.pcapFile string ""

the PCAP file to be written

Area3.N11.host.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

Area3.N11.host.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

Area3.N11.host.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

Area3.N11.host.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

Area3.N11.host.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

Area3.N11.host.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

Area3.N11.host.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

Area3.N11.host.lo0.lo.mtu int 4470B
Area3.H1.status.initialStatus string "UP"

TODO @signal, @statistic

Area3.H1.routingTable.forwarding bool
Area3.H1.routingTable.multicastForwarding bool
Area3.H1.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

Area3.H1.pcapRecorder.verbose bool false

whether to log packets on the module output

Area3.H1.pcapRecorder.pcapFile string ""

the PCAP file to be written

Area3.H1.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

Area3.H1.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

Area3.H1.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

Area3.H1.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

Area3.H1.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

Area3.H1.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

Area3.H1.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

Area3.H1.lo0.lo.mtu int 4470B
RT3.status.initialStatus string "UP"

TODO @signal, @statistic

RT3.routingTable.forwarding bool
RT3.routingTable.multicastForwarding bool
RT3.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

RT3.pcapRecorder.verbose bool false

whether to log packets on the module output

RT3.pcapRecorder.pcapFile string ""

the PCAP file to be written

RT3.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

RT3.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

RT3.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

RT3.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

RT3.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

RT3.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

RT3.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

RT3.lo0.lo.mtu int 4470B
RT3.bgp.interfaceTableModule string

The path to the InterfaceTable module

RT3.bgp.routingTableModule string
RT3.bgp.ospfRoutingModule string hasOSPF ? "^.ospf" : ""
RT3.bgp.dataTransferMode string
RT4.status.initialStatus string "UP"

TODO @signal, @statistic

RT4.routingTable.forwarding bool
RT4.routingTable.multicastForwarding bool
RT4.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

RT4.pcapRecorder.verbose bool false

whether to log packets on the module output

RT4.pcapRecorder.pcapFile string ""

the PCAP file to be written

RT4.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

RT4.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

RT4.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

RT4.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

RT4.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

RT4.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

RT4.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

RT4.lo0.lo.mtu int 4470B
RT4.bgp.interfaceTableModule string

The path to the InterfaceTable module

RT4.bgp.routingTableModule string
RT4.bgp.ospfRoutingModule string hasOSPF ? "^.ospf" : ""
RT4.bgp.dataTransferMode string
RT5.status.initialStatus string "UP"

TODO @signal, @statistic

RT5.routingTable.forwarding bool
RT5.routingTable.multicastForwarding bool
RT5.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

RT5.pcapRecorder.verbose bool false

whether to log packets on the module output

RT5.pcapRecorder.pcapFile string ""

the PCAP file to be written

RT5.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

RT5.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

RT5.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

RT5.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

RT5.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

RT5.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

RT5.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

RT5.lo0.lo.mtu int 4470B
RT5.bgp.interfaceTableModule string

The path to the InterfaceTable module

RT5.bgp.routingTableModule string
RT5.bgp.ospfRoutingModule string hasOSPF ? "^.ospf" : ""
RT5.bgp.dataTransferMode string
RT6.status.initialStatus string "UP"

TODO @signal, @statistic

RT6.routingTable.forwarding bool
RT6.routingTable.multicastForwarding bool
RT6.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

RT6.pcapRecorder.verbose bool false

whether to log packets on the module output

RT6.pcapRecorder.pcapFile string ""

the PCAP file to be written

RT6.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

RT6.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

RT6.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

RT6.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

RT6.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

RT6.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

RT6.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

RT6.lo0.lo.mtu int 4470B
RT6.bgp.interfaceTableModule string

The path to the InterfaceTable module

RT6.bgp.routingTableModule string
RT6.bgp.ospfRoutingModule string hasOSPF ? "^.ospf" : ""
RT6.bgp.dataTransferMode string
RT7.status.initialStatus string "UP"

TODO @signal, @statistic

RT7.routingTable.forwarding bool
RT7.routingTable.multicastForwarding bool
RT7.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

RT7.pcapRecorder.verbose bool false

whether to log packets on the module output

RT7.pcapRecorder.pcapFile string ""

the PCAP file to be written

RT7.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

RT7.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

RT7.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

RT7.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

RT7.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

RT7.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

RT7.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

RT7.lo0.lo.mtu int 4470B
RT7.bgp.interfaceTableModule string

The path to the InterfaceTable module

RT7.bgp.routingTableModule string
RT7.bgp.ospfRoutingModule string hasOSPF ? "^.ospf" : ""
RT7.bgp.dataTransferMode string
RT10.status.initialStatus string "UP"

TODO @signal, @statistic

RT10.routingTable.forwarding bool
RT10.routingTable.multicastForwarding bool
RT10.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

RT10.pcapRecorder.verbose bool false

whether to log packets on the module output

RT10.pcapRecorder.pcapFile string ""

the PCAP file to be written

RT10.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

RT10.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

RT10.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

RT10.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

RT10.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

RT10.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

RT10.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

RT10.lo0.lo.mtu int 4470B
RT10.bgp.interfaceTableModule string

The path to the InterfaceTable module

RT10.bgp.routingTableModule string
RT10.bgp.ospfRoutingModule string hasOSPF ? "^.ospf" : ""
RT10.bgp.dataTransferMode string
RT11.status.initialStatus string "UP"

TODO @signal, @statistic

RT11.routingTable.forwarding bool
RT11.routingTable.multicastForwarding bool
RT11.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

RT11.pcapRecorder.verbose bool false

whether to log packets on the module output

RT11.pcapRecorder.pcapFile string ""

the PCAP file to be written

RT11.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

RT11.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

RT11.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

RT11.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

RT11.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

RT11.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

RT11.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

RT11.lo0.lo.mtu int 4470B
RT11.bgp.interfaceTableModule string

The path to the InterfaceTable module

RT11.bgp.routingTableModule string
RT11.bgp.ospfRoutingModule string hasOSPF ? "^.ospf" : ""
RT11.bgp.dataTransferMode string
N12.host.status.initialStatus string "UP"

TODO @signal, @statistic

N12.host.routingTable.forwarding bool
N12.host.routingTable.multicastForwarding bool
N12.host.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

N12.host.pcapRecorder.verbose bool false

whether to log packets on the module output

N12.host.pcapRecorder.pcapFile string ""

the PCAP file to be written

N12.host.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

N12.host.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

N12.host.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

N12.host.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

N12.host.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

N12.host.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

N12.host.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

N12.host.lo0.lo.mtu int 4470B
N13.host.status.initialStatus string "UP"

TODO @signal, @statistic

N13.host.routingTable.forwarding bool
N13.host.routingTable.multicastForwarding bool
N13.host.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

N13.host.pcapRecorder.verbose bool false

whether to log packets on the module output

N13.host.pcapRecorder.pcapFile string ""

the PCAP file to be written

N13.host.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

N13.host.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

N13.host.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

N13.host.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

N13.host.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

N13.host.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

N13.host.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

N13.host.lo0.lo.mtu int 4470B
N14.host.status.initialStatus string "UP"

TODO @signal, @statistic

N14.host.routingTable.forwarding bool
N14.host.routingTable.multicastForwarding bool
N14.host.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

N14.host.pcapRecorder.verbose bool false

whether to log packets on the module output

N14.host.pcapRecorder.pcapFile string ""

the PCAP file to be written

N14.host.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

N14.host.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

N14.host.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

N14.host.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

N14.host.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

N14.host.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

N14.host.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

N14.host.lo0.lo.mtu int 4470B
N15.host.status.initialStatus string "UP"

TODO @signal, @statistic

N15.host.routingTable.forwarding bool
N15.host.routingTable.multicastForwarding bool
N15.host.interfaceTable.displayAddresses bool false

whether to display IP addresses on links

N15.host.pcapRecorder.verbose bool false

whether to log packets on the module output

N15.host.pcapRecorder.pcapFile string ""

the PCAP file to be written

N15.host.pcapRecorder.snaplen int 65535

maximum number of bytes to record per packet

N15.host.pcapRecorder.dumpBadFrames bool true

enable dump of frames with hasBitError

N15.host.pcapRecorder.moduleNamePatterns string "wlan[*] eth[*] ppp[*] ext[*]"

space-separated list of sibling module names to listen on

N15.host.pcapRecorder.sendingSignalNames string "packetSentToLower"

space-separated list of outbound packet signals to subscribe to

N15.host.pcapRecorder.receivingSignalNames string "packetReceivedFromLower"

space-separated list of inbound packet signals to subscribe to

N15.host.pcapRecorder.alwaysFlush bool false

flush the pcapFile after each write to ensure that all packets are captured in case of a crash

N15.host.lo0.lo.interfaceTableModule string

The path to the InterfaceTable module

N15.host.lo0.lo.mtu int 4470B
configurator.minLinkWeight double 1E-3
configurator.assignAddresses bool true

assign IP addresses to all interfaces in the network

configurator.assignDisjunctSubnetAddresses bool true

avoid using the same address prefix and netmask on different links when assigning IP addresses to interfaces

configurator.addSubnetRoutes bool true

add subnet routes instead of destination interface routes (only where applicable; used only if addStaticRoutes is true)

configurator.optimizeRoutes bool true

optimize routing tables by merging routes, the resulting routing table might route more packets than the original (used only if addStaticRoutes is true)

configurator.dumpTopology bool false

print extracted network topology to the module output

configurator.dumpLinks bool false

print recognized network links to the module output

configurator.dumpAddresses bool false

print assigned IP addresses for all interfaces to the module output

configurator.dumpRoutes bool false

print configured and optimized routing tables for all nodes to the module output

configurator.dumpConfig string ""

write configuration into the given config file that can be fed back to speed up subsequent runs (network configurations)

Source code:

network OSPF_RFC2328_Fig6
{
    parameters:
        @display("p=10,10;b=704,560");
    submodules:
        Area1: OSPF_Area1 {
            parameters:
                @display("p=120,172;b=176,168");
        }
        Area2: OSPF_Area2 {
            parameters:
                @display("p=448,468;b=176,168");
        }
        Area3: OSPF_Area3 {
            parameters:
                @display("p=128,468;b=176,168");
        }
        RT3: OSPFRouter {
            parameters:
                @display("p=276,208");
            gates:
                ethg[3];
        }
        RT4: OSPFRouter {
            parameters:
                @display("p=276,144");
            gates:
                ethg[2];
        }
        RT5: OSPFRouter {
            parameters:
                @display("p=496,144");
            gates:
                ethg[6];
        }
        RT6: OSPFRouter {
            parameters:
                @display("p=424,208");
            gates:
                ethg[3];
        }
        RT7: OSPFRouter {
            parameters:
                @display("p=496,328");
            gates:
                ethg[4];
        }
        RT10: OSPFRouter {
            parameters:
                @display("p=424,328");
            gates:
                ethg[3];
        }
        RT11: OSPFRouter {
            parameters:
                @display("p=284,468");
            gates:
                ethg[2];
        }
        N12: OspfLan {
            parameters:
                h = 1;
                @display("p=620,277");
        }
        N13: OspfLan {
            parameters:
                h = 1;
                @display("p=620,97");
        }
        N14: OspfLan {
            parameters:
                h = 1;
                @display("p=496,42");
        }
        N15: OspfLan {
            parameters:
                h = 1;
                @display("p=608,356");
        }
        configurator: IPv4NetworkConfigurator {
            parameters:
                config = xml("<config>"+"\n"+
                            "<interface among='Area1.N1.* Area1.RT1' address='10.1.11.x' netmask='255.255.255.0' />"+"\n"+
                            "<interface among='Area1.N2.* Area1.RT2' address='10.1.12.x' netmask='255.255.255.0' />"+"\n"+
                            "<interface among='Area1.N3.* Area1.RT1 Area1.RT2 RT3 RT4' address='10.1.13.x' netmask='255.255.255.0' metric='1' />"+"\n"+
                            "<interface among='Area1.N4.* RT3' address='10.1.14.x' netmask='255.255.255.0' metric='1' />"+"\n"+
                            "<interface among='Area1.N2.* Area1.RT2' address='10.1.15.x' netmask='255.255.255.0' />"+"\n"+

                            "<interface among='Area2.N8.* RT10 RT11' address='10.2.21.x' netmask='255.255.255.0' />"+"\n"+
                            "<interface hosts='Area2.N6.*' address='10.2.22.x' netmask='255.255.255.0' />"+"\n"+
                            "<interface hosts='RT7 RT10 Area2.RT8' towards='Area2.N6.*' address='10.2.22.x' netmask='255.255.255.0' />"+"\n"+
                            "<interface among='Area2.N7.* Area2.RT8' address='10.2.23.x' netmask='255.255.255.0' />"+"\n"+

                            "<interface among='Area3.N10.* Area3.RT12' address='10.3.31.x' netmask='255.255.255.0' />"+"\n"+
                            "<interface among='Area3.N11.* Area3.RT9' address='10.3.32.x' netmask='255.255.255.0' />"+"\n"+
                            "<interface among='Area3.H1 Area3.RT12' address='10.3.33.x' netmask='255.255.255.0' />"+"\n"+
                            "<interface among='Area3.N9 Area3.N9.* Area3.RT* RT11' address='10.3.34.x' netmask='255.255.255.0' />"+"\n"+

                            "<interface hosts='RT5 RT7' towards='N12.*' address='10.99.12.x' netmask='255.255.255.0' />"+"\n"+
                            "<interface hosts='N12.*' address='10.99.12.x' netmask='255.255.255.0' />"+"\n"+
                            "<interface among='RT5 N13.*' address='10.99.13.x' netmask='255.255.255.0' />"+"\n"+
                            "<interface among='RT5 N14.*' address='10.99.14.x' netmask='255.255.255.0' />"+"\n"+
                            "<interface among='RT3 RT4 RT5 RT6 RT7 RT10' address='10.0.104.x' netmask='255.255.255.x' />"+"\n"+
                            "<interface among='RT7 N15.*' address='10.99.15.x' netmask='255.255.255.0' />"+"\n"+

                            "<route hosts='Area*.H* Area*.N*.host[*] N*.host[*]' destination='*' netmask='0.0.0.0' interface='eth0' />"+"\n"+
                            "</config>"+"\n");
                addStaticRoutes = false;
                addDefaultRoutes = false;
                @display("p=120,43");
        }
    connections:
        RT3.ethg[0] <--> C <--> Area1.ethg[1];
        RT3.ethg[1] <--> C <--> Area1.ethg[2];
        RT3.ethg[2] <--> C <--> RT6.ethg[0];
        RT4.ethg[0] <--> C <--> Area1.ethg[0];
        RT4.ethg[1] <--> C <--> RT5.ethg[1];
        RT5.ethg[5] <--> C <--> N14.ethg++;
        RT5.ethg[3] <--> C <--> RT7.ethg[0];
        RT5.ethg[2] <--> C <--> RT6.ethg[2];
        RT5.ethg[4] <--> C <--> N12.ethg++;
        RT5.ethg[0] <--> C <--> N13.ethg++;
        RT6.ethg[1] <--> C <--> RT10.ethg[0];
        RT7.ethg[1] <--> C <--> Area2.ethg[3];
        RT7.ethg[3] <--> C <--> N12.ethg++;
        RT7.ethg[2] <--> C <--> N15.ethg++;
        RT10.ethg[1] <--> C <--> Area2.ethg[1];
        RT10.ethg[2] <--> C <--> Area2.ethg[2];
        RT11.ethg[1] <--> C <--> Area2.ethg[0];
        RT11.ethg[0] <--> C <--> Area3.ethg[0];
}