FileManager

onera.pmlanalyzer.pml.exporters.FileManager$

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

final case class OutputDirectory(name: String)

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

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

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Value members

Concrete methods

def extractResource(name: String): Option[BufferedSource]