Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

com.eireneh.net
Class WebBrowser  view WebBrowser download WebBrowser.java

java.lang.Object
  extended bycom.eireneh.net.WebBrowser

public class WebBrowser
extends java.lang.Object


Field Summary
private  Header cook_head
          The special cookie header
private  java.util.Vector cookies
          The set of cookies
private  java.util.Vector headers
          The set of additional headers
protected static com.eireneh.util.Logger log
          The log stream
 
Constructor Summary
WebBrowser()
           
 
Method Summary
 void addCookie(Cookie cookie)
          Adds a new Cookie
 void addCookie(java.lang.String key, java.lang.String value)
          Adds a new Cookie
 void addHeader(Header header)
          Adds a new header
 void addHeader(java.lang.String key, java.lang.String value)
          Adds a new header
 java.util.Enumeration cookies()
          An enumeration over all the cookies
 WebPage getWebPage(java.lang.String url_str)
          Fetch a URL
 java.util.Enumeration headers()
          An enumeration over all the headers
 void printCookies()
          The cookies
 void printHeaders()
          The page headers
 void removeCookie(Cookie cookie)
          Removes a Cookie
 void removeHeader(Header header)
          Removes a header
private  void setCookieHeader()
          Sort the cookie header out
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

headers

private java.util.Vector headers
The set of additional headers


cookies

private java.util.Vector cookies
The set of cookies


cook_head

private Header cook_head
The special cookie header


log

protected static com.eireneh.util.Logger log
The log stream

Constructor Detail

WebBrowser

public WebBrowser()
Method Detail

getWebPage

public WebPage getWebPage(java.lang.String url_str)
Fetch a URL


addHeader

public void addHeader(java.lang.String key,
                      java.lang.String value)
Adds a new header


addHeader

public void addHeader(Header header)
Adds a new header


removeHeader

public void removeHeader(Header header)
Removes a header


headers

public java.util.Enumeration headers()
An enumeration over all the headers


printHeaders

public void printHeaders()
The page headers


addCookie

public void addCookie(java.lang.String key,
                      java.lang.String value)
Adds a new Cookie


addCookie

public void addCookie(Cookie cookie)
Adds a new Cookie


removeCookie

public void removeCookie(Cookie cookie)
Removes a Cookie


cookies

public java.util.Enumeration cookies()
An enumeration over all the cookies


printCookies

public void printCookies()
The cookies


setCookieHeader

private void setCookieHeader()
Sort the cookie header out