public class DocumentDescriptor
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
protected class |
DocumentDescriptor.Entry
To manage collisions
|
Modifier and Type | Field and Description |
---|---|
protected int |
count
The number of entries
|
protected static int |
INITIAL_CAPACITY
The table initial capacity
|
protected DocumentDescriptor.Entry[] |
table
The underlying array
|
Constructor and Description |
---|
DocumentDescriptor()
Creates a new table.
|
Modifier and Type | Method and Description |
---|---|
int |
getLocationColumn(org.w3c.dom.Element elt)
Returns the location column in the source file of the end element.
|
int |
getLocationLine(org.w3c.dom.Element elt)
Returns the location line in the source file of the end element.
|
int |
getNumberOfElements()
Returns the number of elements in the document.
|
protected void |
rehash()
Rehash the table
|
protected void |
removeEntry(DocumentDescriptor.Entry e) |
void |
setLocation(org.w3c.dom.Element elt,
int line,
int col)
Sets the location in the source file of the end element.
|
protected static final int INITIAL_CAPACITY
protected DocumentDescriptor.Entry[] table
protected int count
public int getNumberOfElements()
public int getLocationLine(org.w3c.dom.Element elt)
public int getLocationColumn(org.w3c.dom.Element elt)
public void setLocation(org.w3c.dom.Element elt, int line, int col)
protected void rehash()
protected void removeEntry(DocumentDescriptor.Entry e)