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