?

?1? moduleinterface?INode
?2?
{
?3?
????parameters:
?4?????????int
?address;
?5?
????gates:
?6?
????????inout?port[];
?7?
}
?8?

?9? module?SensorNode?like?INode
10?
{
11?
????parameters:
12?????????int
?address;
13?
????????...
14?
????gates:
15?
????????inout?port[];
16?
????????...
17?
}
18?

19? network?Net6
20?
{
21?
????parameters:
22?????????string
?nodeType;
23?
????submodules:
24?????????node[6]:?<nodeType>
?like?INode?{
25?????????address?=
?index;
26?
????}
27?
????connections:
28?
????????...
29?}

nodeType作為node[6]的類型,可以延遲到以后模擬時輸入。例如,若將nodeType賦為SensorNode,則效果等同于:
??? node[6] : SensorNode;
同時,要求SensorNode必須是符合INode接口的。