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.Object
o
- the object this identifier is compared totrueif the two identifiers are equal,
falseotherwise
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object