CoreConfig
de.uni_luebeck.isp.tessla.CLIParser.CoreConfig
case class CoreConfig(specSource: CharStream, printCore: Boolean, printSyntax: Boolean, printCoreLanSpec: Boolean, printTyped: Boolean, printLocations: Boolean, printAllTypes: Boolean, listOutStreams: Boolean, listInStreams: Boolean, exportAnnotations: Option[File], compilerOptions: Options) extends Config
Attributes
- Graph
-
- Supertypes
Members list
In this article