OutputDirectory

onera.pmlanalyzer.pml.exporters.FileManager$.OutputDirectory
See theOutputDirectory companion object
final case class OutputDirectory(name: String)

Util case class encoding an output directory used by exporters and solvers

Attributes

name

the name of the directory stored at the project location

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def clean(): Unit

remove all the existing files of the directory

remove all the existing files of the directory

Attributes

def getFile(s: String): File

Create a new file in the current directory

Create a new file in the current directory

Attributes

s

the file name

Returns:

the java File

def locate(name: String): Option[File]

find recursively a file by its name

find recursively a file by its name

Attributes

name

name of the file to find

Returns:

the java File if found

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product