public URLConnection openConnection()

in infer/models/java/src/java/net/URL.java [47:55]


  public URLConnection openConnection(Proxy proxy) throws java.io.IOException {
    if (protocol == "jar") {
      return new JarURLConnection(this);
    } else if (protocol == "http") {
      return new HttpURLConnection(this);
    } else if (protocol == "https") {
      return new HttpsURLConnection(this);
    } else return new URLConnection(this);
  }