/*
** j###t ########## #### ####
** j###t ########## #### ####
** j###T "###L J###"
** ######P' ########## #########
** ######k, ########## T######T
** ####~###L ####
** #### q###L ########## .#####
** #### \###L ########## #####"
**
** $Id$
**
** Class History
**
** Date Name Description
** ---------|------------|-----------------------------------------------
** 19Aug98 subtle start of recorded history
**
*/
package key.primitive;
import key.InteractiveConnection;
import key.Symbol;
import java.io.IOException;
import java.io.DataInput;
import java.io.DataOutput;
import java.net.UnknownHostException;
import java.net.ProtocolException;
import java.net.URL;
import java.net.URLConnection;
import java.net.MalformedURLException;
public class Webpage implements java.io.Serializable
{
URL page;
public Webpage()
{
page = null;
}
public String toString()
{
if( page != null )
return( page.toString() );
else
return( "not set" );
}
public String get()
{
if( page != null )
return( page.toString() );
else
return( null );
}
public void set( String newAddress, InteractiveConnection ic )
{
URL newPage;
try
{
newPage = new URL( newAddress );
}
catch( MalformedURLException e )
{
ic.sendError( "'" + newAddress + "' is not a valid URL: " + e.getMessage() );
return;
}
/*
// try to do some validation to check it's accurate...
URLConnection uc;
try
{
uc = newPage.openConnection();
}
catch( IOException e )
{
ic.sendError( "An error occurred trying to examine this URL." );
return;
}
ic.sendFeedback( "Please wait while your URL is validated... (if the time this takes is unbearable, think about reconnecting and trying later)" );
ic.flush();
try
{
uc.connect();
}
catch( IOException e )
{
ic.sendError( "An error occurred trying to examine this URL." );
return;
}
String contentType = uc.getContentType();
if( contentType != null )
{
*/
page = newPage;
ic.sendFeedback( "Your homepage has been set to the URL: " + page.toString() );
/*
ic.sendFeedback( "Your homepage has been set to the " + contentType + " URL: " + page.toString() );
}
else
{
ic.sendFeedback( "I couldn't determine the content type of this URL." );
}
*/
}
}