tessla
API
Generated with
tessla/de.uni_luebeck.isp.tessla/CLIParser

CLIParser

de.uni_luebeck.isp.tessla.CLIParser
object CLIParser

Parser of the command line interface of the Tessla front-end. This also generates the different configuration data structures for each of the existing commands.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
CLIParser.type

Members list

Type members

Classlikes

sealed trait Config

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class CoreConfig
class DocConfig
class LspConfig
Show all
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

Supertypes
trait Serializable
trait Product
trait Equals
trait Config
class Object
trait Matchable
class Any
Show all
case class DocConfig(stdLib: Boolean, includes: Boolean, outfile: Option[File], sources: Seq[CharStream], compilerOptions: Options) extends Config

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Config
class Object
trait Matchable
class Any
Show all
case class GlobalConfig(userStdLib: Boolean, diagnostics: Boolean, debug: Boolean)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class InstrumenterConfig(specSource: CharStream, cFile: File, includes: Seq[File], compilerOptions: Options) extends Config

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Config
class Object
trait Matchable
class Any
Show all
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

Supertypes
trait Serializable
trait Product
trait Equals
trait Config
class Object
trait Matchable
class Any
Show all
case class LspConfig(compilerOptions: Options) extends Config

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Config
class Object
trait Matchable
class Any
Show all
case class Task[T <: Config](name: String, config: T)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class TesslacRustConfig(specSource: CharStream, exportBinary: Option[Path], exportWorkspace: Option[Path], generateMain: Boolean, additionalSource: String, compilerOptions: Options) extends Config

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Config
class Object
trait Matchable
class Any
Show all
case class TesslacScalaConfig(specSource: CharStream, optimise: Boolean, outFile: Option[File], jarFile: Option[File], additionalSource: String, ioInterface: Boolean, compilerOptions: Options) extends Config

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Config
class Object
trait Matchable
class Any
Show all

Value members

Concrete methods

def parse(args: Array[String], helpIfEmpty: Boolean): (GlobalConfig, List[Task[Config]])

Concrete fields

val licenseLocation: String
val programDescription: String
val programName: String
val programVersion: String
Generated with