package net.web;

import java.io.InputStreamReader;
import java.util.Properties;
import java.net.URLConnection;
import java.net.URL;
import java.net.Socket;
import utils.Encoder;

public class Browser {
  public static void main(String args[]) {
    //print(
    //  getUrl("http://www.docjava.com"));
    gui.html.HtmlViewer hv =
        new gui.html.HtmlViewer();
    String s =
        Browser.toString("http://www.docjava.com");
    hv.setHtml(s);
    hv.setText(s);
  }

  public static String toString(String url) {
    java.util.Vector v = getUrl(url);
    String s = "\n";
    for (int i = 0; i < v.size(); i++)
      s = s + v.elementAt(i);
    return s;
  }

  public static java.util.Vector getUrl(String
      _urlString) {
    try {
      java.net.URL url
          = new java.net.URL(_urlString);
      System.out.println("url="
                         + url);
      return
          getUrl(url);
    } catch (Exception e) {
      e.printStackTrace();
      return null;
    }
  }

  public static java.util.Vector getUrl(
      java.net.URL url)
      throws java.io.IOException {
    java.util.Vector v = new java.util.Vector();
    java.io.BufferedReader br
        = new java.io.BufferedReader(
            new InputStreamReader(
                url.openStream()));
    for (String l = br.readLine();
         l != null;
         l = br.readLine())
      v.addElement(l);
    return v;
  }

  public static void print(java.util.Vector v) {
    System.out.println("Vector print");
    for (int i = 0; i < v.size(); i++)
      System.out.println(v.elementAt(i));
  }
}