File tree Expand file tree Collapse file tree 4 files changed +28
-68
lines changed Expand file tree Collapse file tree 4 files changed +28
-68
lines changed Original file line number Diff line number Diff line change @@ -84,10 +84,12 @@ pt46 :: ProtocolTranslator46();
84
84
FromDevice (eth0, 1 )
85
85
-> c;
86
86
87
+ q :: Queue (1024 )
88
+ -> td0 :: ToDevice (eth0);
89
+
87
90
c[0 ] -> nda
88
91
//-> Print(nda, 200)
89
- -> Queue (1024 )
90
- -> ToDevice (eth0);
92
+ -> q;
91
93
c[1 ] -> [1 ]nds;
92
94
c[2 ] //-> Print(before-Strip, 200)
93
95
-> Strip (14 )
@@ -98,8 +100,7 @@ c[2] //-> Print(before-Strip, 200)
98
100
99
101
c[3 ] //-> Print(arr, 200)
100
102
-> arr
101
- -> Queue (1024 )
102
- -> ToDevice (eth0) ;
103
+ -> q;
103
104
104
105
c[4 ] //-> Print(arp-reply, 200)
105
106
-> [1 ]arp;
@@ -111,7 +112,7 @@ c[5] //-> Print(c5-normal-ip-pkt, 200)
111
112
-> rt;
112
113
113
114
c[6 ] //-> Print(c6-normal-ip-pkt, 200)
114
- -> Discard;
115
+ -> Discard;
115
116
116
117
rt[0 ] -> Print (rt0, 200 ) -> Discard;
117
118
rt[1 ] //->Print(rt1, 200)
@@ -153,16 +154,7 @@ pt46[0] -> Print(after-pt460, 200)
153
154
-> [1 ]at;
154
155
155
156
arp[0 ] -> Print (arp0, 200 )
156
- -> ToDevice (eth0) ;
157
+ -> q ;
157
158
158
159
nds[0 ] //-> Print(nds, 200)
159
- -> ToDevice (eth0);
160
-
161
-
162
-
163
-
164
-
165
-
166
-
167
-
168
-
160
+ -> q;
Original file line number Diff line number Diff line change @@ -87,10 +87,12 @@ pt46 :: ProtocolTranslator46();
87
87
FromDevice (eth0, 1 )
88
88
-> c;
89
89
90
+ q :: Queue (1024 )
91
+ -> td0 :: ToDevice (eth0);
92
+
90
93
c[0 ] -> nda
91
94
//-> Print(nda, 200)
92
- -> Queue (1024 )
93
- -> ToDevice (eth0);
95
+ -> q;
94
96
95
97
c[1 ] -> [1 ]nds;
96
98
@@ -100,8 +102,7 @@ c[2] -> Strip(14)
100
102
-> rt6;
101
103
102
104
c[3 ] -> arr
103
- -> Queue (1024 )
104
- -> ToDevice (eth0) ;
105
+ -> q;
105
106
106
107
c[4 ] //-> Print(arp-reply, 200)
107
108
-> [1 ]arp;
@@ -153,16 +154,7 @@ pt46[0] //-> Print(after-pt460, 200)
153
154
-> [1 ]at;
154
155
155
156
arp[0 ] //-> Print(arp0, 200)
156
- -> ToDevice (eth0) ;
157
+ -> q ;
157
158
158
159
nds[0 ] //-> Print(nds, 200)
159
- -> ToDevice (eth0);
160
-
161
-
162
-
163
-
164
-
165
-
166
-
167
-
168
-
160
+ -> q;
Original file line number Diff line number Diff line change @@ -26,8 +26,6 @@ arp::ARPQuerier(18.26.4.116, 00:a0:c9:9c:fd:9e);
26
26
arr::ARPResponder (18.26.4.116 00:a0:c9:9c:fd:9e );
27
27
arr2::ARPResponder (18.26.4.17 00:a0:c9:9c:fd:9e );
28
28
29
- q::Queue (1024 );
30
-
31
29
nda :: IP6NDAdvertiser (
32
30
3ffe:1ce1:2 :0 :200 ::1 /128 00:A0:C9:9C:FD:9E ,
33
31
fe80::2a0 :c9ff:fe9c:fd9e /128 00:A0:C9:9C:FD:9E );
@@ -88,10 +86,11 @@ pt46 :: ProtocolTranslator46();
88
86
FromDevice (eth0, 1 )
89
87
-> c;
90
88
91
- c[0 ] -> nda
89
+ q :: Queue (1024 )
90
+ -> td0 :: ToDevice (eth0);
91
+
92
+ c[0 ] -> nda;
92
93
//-> Print(nda, 200)
93
- -> Queue (1024 )
94
- -> ToDevice (eth0);
95
94
96
95
c[1 ] -> [1 ]nds;
97
96
@@ -106,8 +105,6 @@ c[3] -> arr
106
105
c[4 ] -> arr2
107
106
-> q;
108
107
109
- q -> ToDevice (eth0) ;
110
-
111
108
c[5 ] //-> Print(arp-reply, 200)
112
109
-> [1 ]arp;
113
110
@@ -163,16 +160,7 @@ pt46[0] -> Print(after-pt46, 200)
163
160
-> [1 ]at;
164
161
165
162
arp[0 ] //-> Print(arp0, 200)
166
- -> ToDevice (eth0) ;
163
+ -> q ;
167
164
168
165
nds[0 ] -> Print (nds, 200 )
169
- -> ToDevice (eth0);
170
-
171
-
172
-
173
-
174
-
175
-
176
-
177
-
178
-
166
+ -> q;
Original file line number Diff line number Diff line change @@ -26,8 +26,6 @@ arp::ARPQuerier(18.26.4.116, 00:a0:c9:9c:fd:9e);
26
26
arr::ARPResponder (18.26.4.116 00:a0:c9:9c:fd:9e );
27
27
arr2::ARPResponder (18.26.4.17 00:a0:c9:9c:fd:9e );
28
28
29
- q::Queue (1024 );
30
-
31
29
nda :: IP6NDAdvertiser (
32
30
3ffe:1ce1:2 :0 :200 ::1 /128 00:A0:C9:9C:FD:9E ,
33
31
fe80::2a0 :c9ff:fe9c:fd9e /128 00:A0:C9:9C:FD:9E );
@@ -70,7 +68,6 @@ at :: AddressTranslator(
70
68
1 ,
71
69
0 ,
72
70
3ffe:1ce1:2 ::1 ::18 .26.4 .17 ,
73
-
74
71
0 )
75
72
76
73
//pt :: ProtocolTranslator();
@@ -80,10 +77,12 @@ pt46 :: ProtocolTranslator46();
80
77
FromDevice (eth0, 1 )
81
78
-> c;
82
79
80
+ q :: Queue (1024 )
81
+ -> td0 :: ToDevice (eth0);
82
+
83
83
c[0 ] -> nda
84
84
//-> Print(nda, 200)
85
- -> Queue (1024 )
86
- -> ToDevice (eth0);
85
+ -> q;
87
86
88
87
c[1 ] -> [1 ]nds;
89
88
@@ -92,13 +91,11 @@ c[2] -> Strip(14)
92
91
-> GetIP6Address (24 )
93
92
-> rt6;
94
93
95
- c[3 ] -> arr
94
+ c[3 ] -> arr
96
95
-> q;
97
96
98
97
c[4 ] -> arr2
99
98
-> q;
100
-
101
- q -> ToDevice (eth0) ;
102
99
103
100
c[5 ] //-> Print(arp-reply, 200)
104
101
-> [1 ]arp;
@@ -155,16 +152,7 @@ pt46[0] -> Print(after-pt46, 200)
155
152
-> [1 ]at;
156
153
157
154
arp[0 ] //-> Print(arp0, 200)
158
- -> ToDevice (eth0) ;
155
+ -> q ;
159
156
160
157
nds[0 ] -> Print (nds, 200 )
161
- -> ToDevice (eth0);
162
-
163
-
164
-
165
-
166
-
167
-
168
-
169
-
170
-
158
+ -> q;
You can’t perform that action at this time.
0 commit comments