InterpreterConfig
de.uni_luebeck.isp.tessla.CLIParser.InterpreterConfig
case class InterpreterConfig(specSource: CharStream, traceFile: Option[File], stopOn: Option[String], abortAt: Option[BigInt], traceFormat: String, rejectUndeclaredInputs: Boolean, ctfTrace: Boolean, csvTrace: Boolean, compilerOptions: Options) extends Config
Attributes
- Graph
-
- Supertypes
Members list
In this article