| Modifier and Type | Field and Description | 
|---|---|
| protected int | height | 
| protected Box | root | 
| protected java.net.URL | url | 
| protected int | width | 
| Constructor and Description | 
|---|
| DefaultPage(java.net.URL url) | 
| Modifier and Type | Method and Description | 
|---|---|
| Box | getBoxAt(int x,
        int y)Finds the deepest node in the tree that contains the given point. | 
| java.util.Vector<Box> | getBoxesInRegion(Rectangular r)Finds the root boxes of subtrees that intersect with the given region. | 
| int | getHeight()Obtains the page height. | 
| Box | getRoot()Returns the root box of the page. | 
| java.net.URL | getSourceURL()Obtains the source URL of the page. | 
| int | getWidth()Obtains the page width. | 
| protected Box | recursiveGetBoxAt(Box root,
                 int x,
                 int y) | 
| void | setHeight(int height) | 
| void | setRoot(Box root) | 
| void | setWidth(int width) | 
protected java.net.URL url
protected Box root
protected int width
protected int height
public java.net.URL getSourceURL()
PagegetSourceURL in interface Pagepublic Box getRoot()
Pagepublic void setRoot(Box root)
public int getWidth()
Pagepublic void setWidth(int width)
public int getHeight()
Pagepublic void setHeight(int height)
public Box getBoxAt(int x, int y)
Pagepublic java.util.Vector<Box> getBoxesInRegion(Rectangular r)
PagegetBoxesInRegion in interface Pager - The region to be tested