Converting Path to java File

[Stuart Roebuck]

I'm sure I'm being daft, but how do you convert a Path to a java File or a PathSet to a set of Java Files?

My current code converts a Path to a File like this:

    new File(path.toURL.getFile)

and converts a PathSet to a Set[File] like this:

    pathSet.filter(_.isFile).map(p => new File(p.toURL.getFile)).toSet

[Randall R Schulz]

Look on the "Implicits" page linked form the File section / page of the
ScalaIO documentation.

Randall Schulz

[Jesse Eichar]

To be honest.  I have not given so much thought to the Path to file options.  The intention was to not have as little of the Java API in the API as possible.  One of the things I have on the list of TODOs before 0.2.0 is to make a single Conversions object for the major conversions to and from java so they are nicely contained in a single place. 

I will ensure that FIle -> Path -> is well supported.

Making a ticket to that effect.

Jesse

[Jesse Eichar]

I just realized, when taking  a closer look at Path that there is no direct conversion to File because Path does not necessarily have to do with the normal Filesystem.  It can be a path to a zip file entry for example.  However you can do:

path match {

  case p:DefaultPath => p.jfile

  case _ => ...

}

Jesse

[Stuart Roebuck]

Jesse,

Many thanks.

I've just used an implicit like this:

 implicit def defaultPathToFile(path: Path): File = {

    case path: DefaultPath => path.jfile

  }

[Stuart Roebuck]

Apologies, typo in last post:

  private implicit def defaultPathToFile(path: Path): File = path match {