Platform Interface: java.net.InetAddress

wrapper java.net.InetAddress {
  passwrapper <clinit>;

  wrapper String getHostName () {
    #;
    RNetwork.revealHostname (result);
  }

  wrapper static InetAddress getByName (String host) {
    RNetwork.revealHostname (host);
    #;
  }

  wrapper static InetAddress[] getAllByName(String host) {
    RNetwork.revealHostname (host);
    #;
  }

  wrapper static InetAddress getLocalHost () {
    #;
    RNetwork.revealLocalHostname ();
  }
  
  passwrapper String toString ();
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science