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

Members list

Concise view

Type members

Classlikes

sealed trait Config

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class DocConfig
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
trait Serializable
trait Product
trait Equals
trait Config
class Object
trait Matchable
class Any
case class DocConfig(stdLib: Boolean, includes: Boolean, outfile: Option[File], sources: Seq[CharStream], compilerOptions: Options) extends Config

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Config
class Object
trait Matchable
class Any
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
trait Serializable
trait Product
trait Equals
trait Config
class Object
trait Matchable
class Any
case class Task[T <: Config](name: String, config: T)

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Config
class Object
trait Matchable
class Any

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