TesslacScalaConfig
de.uni_luebeck.isp.tessla.CLIParser$.TesslacScalaConfig
case class TesslacScalaConfig(specSource: CharStream, optimise: Boolean, outFile: Option[File], jarFile: Option[File], additionalSource: String, ioInterface: Boolean, compilerOptions: Options) extends Config
Attributes
- Graph
- Supertypes