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