22.24

java.io.File

THE PACKAGE JAVA.IO

22.24.6

public File(String dirname, String name)

throws NullPointerException

This constructor initializes a newly created

File

 so that it represents the path

whose directory part is specified by the argument

dirname

 and whose file name

part is specified by the argument

name

. If the

dirname

 argument is

null

, the

name

is used as the path; otherwise the concatenation of

dirname

, the

separatorChar

( 22.24.2), and the

name

 is used as the path.

If the

name

 is

null

, a

NullPointerException

 is thrown.

22.24.7

public File(File dir, String name)

throws NullPointerException

This constructor initializes a newly created

File

 so that it represents the path

whose directory part is specified by the

File

 object

dir

 and whose file name part

is specified by the argument

name

.

If the

name

 is

null

, a

NullPointerException

 is thrown.

22.24.8

public String toString()

The result is a

String

 equal to the path represented by this

File

 object.

Overrides the

toString

 method of

Object

 ( 20.1.2).

22.24.9

public boolean equals(Object obj)

The result is

true

 if and only if the argument is not

null

 and is a

File

 object that

represents the same path as this

File

 object. In other words, two

File

 objects are

equal if and only if the strings returned by the

getPath

 method ( 22.24.12) are

equal.

Overrides the

equals

 method of

Object

 ( 20.1.3).

22.24.10

public int hashCode()

The hash code of this

File

 object is equal to the exclusive OR of the hash code of

its path string and the decimal value

1234321

:

this.getPath().hashcode() ^ 1234321

Overrides the

hashCode

 method of

Object

 ( 20.1.4).

754