Packages

  • package root
    Definition Classes
    root
  • object MainAsScalaParAM

    Execute some abstract machines on some Scheme programs depending of some parameters.

    Execute some abstract machines on some Scheme programs depending of some parameters.

    Run with --help command line parameter to show all options: $ java -cp scala-am.jar MainAsScalaParAM --help

    This main program is used to interact with Scala-Par-AM https://bitbucket.org/OPiMedia/scala-par-am/ a parallel version of this Scala-AM.

    Definition Classes
    root
  • ParamsConfig
c

MainAsScalaParAM

ParamsConfig

case class ParamsConfig(root: String = "", exceptsFilename: String = "", lattices: Seq[Config.Lattice.Value] = List(Config.Lattice.TypeSet), bounds: Seq[Int] = List(100), addresses: Seq[Config.Address.Value] = List(Config.Address.Classical), filenamesPattern: String = "regex:.+\\.scm", machines: Seq[Config.Machine.Value] = List(Config.Machine.AAMNS), filenamePrepare: String = "", nbRepetition: Int = 1, timeout: Option[Duration] = Some(Duration(1, "day")), headerEnabled: Boolean = true, printOldAAM: Boolean = false) extends Product with Serializable

Linear Supertypes
Serializable, Serializable, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ParamsConfig
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. AnyRef
  7. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ParamsConfig(root: String = "", exceptsFilename: String = "", lattices: Seq[Config.Lattice.Value] = List(Config.Lattice.TypeSet), bounds: Seq[Int] = List(100), addresses: Seq[Config.Address.Value] = List(Config.Address.Classical), filenamesPattern: String = "regex:.+\\.scm", machines: Seq[Config.Machine.Value] = List(Config.Machine.AAMNS), filenamePrepare: String = "", nbRepetition: Int = 1, timeout: Option[Duration] = Some(Duration(1, "day")), headerEnabled: Boolean = true, printOldAAM: Boolean = false)

Value Members

  1. val addresses: Seq[Config.Address.Value]
  2. val bounds: Seq[Int]
  3. val exceptsFilename: String
  4. val filenamePrepare: String
  5. val filenamesPattern: String
  6. val headerEnabled: Boolean
  7. val lattices: Seq[Config.Lattice.Value]
  8. val machines: Seq[Config.Machine.Value]
  9. val nbRepetition: Int
  10. val printOldAAM: Boolean
  11. val root: String
  12. val timeout: Option[Duration]
  13. def toString(): String
    Definition Classes
    ParamsConfig → AnyRef → Any