001 package org.util.xml.renderer.html2;
002
003
004 import java.util.*;
005 import java.io.*;
006 import java.net.*;
007 import java.awt.*;
008 import java.awt.event.*;
009 import javax.swing.*;
010 import javax.swing.event.*;
011
012 public class HTMLDocument {
013
014 private URL url_;
015 public HTMLDocument() {
016 }
017 public void setDocumentBase(URL url) {
018 url_ = url;
019 }
020 public URL getDocumentBase() {
021 return url_;
022 }
023 }