public class PageIdentifier
extends java.lang.Object
| Constructor and Description |
|---|
PageIdentifier(java.lang.String fileName,
int number)
Creates a new identifier.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object o)
Compares two identifiers for equality.
|
java.lang.String |
getFileName()
Retrieves the name of the file this page belongs to.
|
int |
getNumber()
Retrieves the number of this page.
|
int |
hashCode()
Overrides hash code for equals() consistency.
|
java.lang.String |
toString()
Returns a string representation of this identifier.
|
public PageIdentifier(java.lang.String fileName,
int number)
fileName - the file this page belongs to.number - the number of this page.public java.lang.String getFileName()
public int getNumber()
public boolean equals(java.lang.Object o)
equals in class java.lang.Objecto - the object this identifier is compared totrueif the two identifiers are equal,
falseotherwise
public int hashCode()
hashCode in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Object