// TODO: Switch to NIO

srecord noeq PortScan(S ip) {
  settable int numberOfThreads = 10;
  settable double timeout = 10; // seconds
  
  List<Int> openPorts;
  
  ExecutorService es;
  
  run {
    openPorts = new L;
    es = Executors.newFixedThreadPool(numberOfThreads);
    print("Port scanning " + ip + " with timeout " + timeout + " s in " + nThreads(numberOfThreads) + ".");
    new List<Future<Integer>> futures;
    for (int port = 1; port <= 65535; port++) {
      futures.add(portIsOpen(port));
    }
    es.shutdown();
    for (Future<Int> f : futures) {
      int port = f!;
      if (port != 0)
        openPorts.add(port);
    }
  }
  
  L<Int> get aka openPorts() {
    if (openPorts == null) run();
    ret openPorts;
  }

  Future<Int> portIsOpen(int port) {
    ret es.submit(new Callable<Integer>() {
        @Override public Integer call() {
          try {
            new Socket socket;
            socket.connect(new InetSocketAddress(ip, port), toMS_int(timeout));
            print("Connected to " + ip + ":" + port);
            socket.close();
            return port;
          } catch (Exception ex) {
            return 0;
          }
        }
     });
  }
}

Began life as a copy of #1000796