class Application extends AnyRef
Contains the different running modes.
- Alphabetic
- By Inheritance
- Application
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new Application(global: GlobalConfig, tasks: List[Task[Config]])
- global
the global, task-independent configuration settings
- tasks
the tasks to be executed
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def run(): Unit
Decides which mode to run in depending on the configuration provided.
- def runCore(config: CoreConfig): Unit
Runs the compiler on the provided specification and prints the resulting Tessla-Core code, depending on the configuration.
- def runDoc(docConfig: DocConfig): Unit
Generates documentation.
Generates documentation.
This mode parses the input, then extracts and processes the documentation strings from each definition. The result is either printed to stdout or to a file, depending on the configuration.
- def runInstrumenter(config: InstrumenterConfig): Unit
Runs the instrumenter, which evaluates instrumentation annotations on a TeSSLa specification and instruments a provided C program accordingly.
- def runInterpreter(config: InterpreterConfig): Unit
Runs the interpreter on the provided specification and trace, or uses the stdin if no trace is provided.
- def runTesslaCompiler(config: TesslacConfig): Unit
Runs the TeSSLa compiler, which takes a TeSSLa specification and compiles it to a monitor in a target language.
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated