onera.pmlanalyzer.pml.exporters.FileManager$.OutputDirectory
See theOutputDirectory companion object 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
remove all the existing files of the directory
remove all the existing files of the directory
Attributes
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
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
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product