julian.kiedaischandClaude Opus 5.5
65ccd9ddd7
WlanRun pings on the new network wlan-lan: over wireless cables, over a plain cable, and to and from a notebook on the switch's SSID without a cable. The engine matches Java without a change: it runs the links only. Swift's wirelessAssociations, which join a host to its SSID's switch at run time, are not taken. ScenarioNetwork sets wireless cables, wireless cards and SSIDs; a corpus test pings over the wireless cables of multicast_server.fls. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
86 lines
3.1 KiB
Java
86 lines
3.1 KiB
Java
// Runs wlan-lan's network in Java FILIUS (ScenarioNetwork) and records what a
|
|
// wireless connection does at run time: every frame each card saw and when
|
|
// each call started and ended.
|
|
//
|
|
// WlanRun <scenario.json> <story> <milliseconds> <out.json>
|
|
//
|
|
// Notebooks 192.168.1.11 and .12 with wireless cards on the switch's SSID
|
|
// "schule", each joined by a wireless cable; PC 192.168.1.13 on a plain
|
|
// cable; notebook 192.168.1.14 with a wireless card on "schule" but no cable
|
|
// (as after the switch's SSID changed: Java's editor removes the cable and
|
|
// does not lay it again). The stories:
|
|
// pingWired .11 pings .13
|
|
// pingWireless .11 pings .12
|
|
// pingWithoutCable .11 pings .14
|
|
// pingFromWithoutCable .14 pings .11
|
|
|
|
import filius.software.vermittlungsschicht.IcmpPaket;
|
|
|
|
import java.util.ArrayList;
|
|
import java.util.List;
|
|
|
|
public class WlanRun {
|
|
static final String NOTEBOOK = "00000000-0000-0000-0000-000000000601";
|
|
static final String UNCABLED = "00000000-0000-0000-0000-000000000605";
|
|
|
|
static ScenarioNetwork network;
|
|
static final List<Object[]> events = new ArrayList<>();
|
|
|
|
static synchronized void event(String what) {
|
|
events.add(new Object[] { System.currentTimeMillis() - network.start, what });
|
|
}
|
|
|
|
static String icmp(IcmpPaket packet) {
|
|
return packet == null ? "null" : "ICMP " + packet.getIcmpType() + "/" + packet.getIcmpCode() + " from " + packet.getSender();
|
|
}
|
|
|
|
static void ping(String from, String target) {
|
|
String label = "sendProbe " + target;
|
|
event(label + " called");
|
|
try {
|
|
event(label + " returned " + icmp(network.system(from).holeICMP().sendProbe(target, 64, 1, 1)));
|
|
} catch (Exception e) {
|
|
event(label + " failed " + e.getClass().getSimpleName());
|
|
}
|
|
}
|
|
|
|
public static void main(String[] args) throws Exception {
|
|
network = ScenarioNetwork.read(args[0]);
|
|
String story = args[1];
|
|
long end = Long.parseLong(args[2]);
|
|
network.start();
|
|
Thread.sleep(500);
|
|
switch (story) {
|
|
case "pingWired":
|
|
ping(NOTEBOOK, "192.168.1.13");
|
|
break;
|
|
case "pingWireless":
|
|
ping(NOTEBOOK, "192.168.1.12");
|
|
break;
|
|
case "pingWithoutCable":
|
|
ping(NOTEBOOK, "192.168.1.14");
|
|
break;
|
|
case "pingFromWithoutCable":
|
|
ping(UNCABLED, "192.168.1.11");
|
|
break;
|
|
default:
|
|
throw new IllegalArgumentException("unknown story " + story);
|
|
}
|
|
long rest = network.start + end - System.currentTimeMillis();
|
|
if (rest > 0) Thread.sleep(rest);
|
|
|
|
ScenarioNetwork.Json out = new ScenarioNetwork.Json();
|
|
out.open('{');
|
|
network.writeFrames(out);
|
|
synchronized (WlanRun.class) {
|
|
out.key("events").open('[');
|
|
for (Object[] each : events) out.open('[').number((Long) each[0]).string((String) each[1]).close(']');
|
|
out.close(']');
|
|
}
|
|
out.close('}');
|
|
network.stop();
|
|
ScenarioNetwork.write(args[3], out);
|
|
System.exit(0);
|
|
}
|
|
}
|