tessla-compiler
API
Generated with
tessla-compiler/de.uni_luebeck.isp.tessla.tessla_compiler.backends.rustBackend

de.uni_luebeck.isp.tessla.tessla_compiler.backends.rustBackend

package de.uni_luebeck.isp.tessla.tessla_compiler.backends.rustBackend

Members list

Concise view

Type members

Classlikes

object RustCompiler

Invokes cargo to generate a binary artifact from Rust code.

Invokes cargo to generate a binary artifact from Rust code.

Attributes

artifactPath

A path where the final monitor binary will be copied to.

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class RustFiles(monitor: String, main: String)

Contains the content of the translated Rust file.

Contains the content of the translated Rust file.

Attributes

main

The main file handling IO.

monitor

The monitor library.

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
class RustNonStreamCodeGenerator(extSpec: ExtendedSpecification) extends NonStreamCodeGeneratorInterface[String, String]

Class handling the translation of non-stream expressions

Class handling the translation of non-stream expressions

Attributes

Graph
Supertypes
class NonStreamCodeGeneratorInterface[String, String]
class Object
trait Matchable
class Any
class RustStreamCodeGenerator(rustNonStreamCodeGenerator: RustNonStreamCodeGenerator) extends StreamCodeGeneratorInterface[SourceSegments, Unit]

Handles the translation of stream related functions.

Handles the translation of stream related functions.

Attributes

rustNonStreamCodeGenerator

A RustNonStreamCodeGenerator that handles non-stream related code.

Graph
Supertypes
class Object
trait Matchable
class Any
object RustUtils

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class SourceSegments(stateTypes: ListBuffer[String], stateTraits: ListBuffer[String], stateDef: ListBuffer[String], stateFunctions: ListBuffer[String], stateInit: ListBuffer[String], stateImpl: ListBuffer[String], defaultStateTraits: ListBuffer[String], defaultStateFunctions: ListBuffer[String], input: ListBuffer[String], timestamp: ListBuffer[String], computation: ListBuffer[String], static: ListBuffer[String], store: ListBuffer[String], delayReset: ListBuffer[String])

Contains buffers for all segments where code should be inserted.

Contains buffers for all segments where code should be inserted.

Attributes

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

Value members

Concrete methods

def TesslaCoreToRust(userIncludes: String): TesslaPhase[ExtendedSpecification, RustFiles]

Class implementing TranslationPhase for the translation from TeSSLa Core to rust code The translation of stream functions is performed in RustStreamCodeGenerator The translation of other expressions in RustNonStreamCodeGenerator

Class implementing TranslationPhase for the translation from TeSSLa Core to rust code The translation of stream functions is performed in RustStreamCodeGenerator The translation of other expressions in RustNonStreamCodeGenerator

Attributes

userIncludes

Optional rust code to be inserted at the top of the monitor.rs file

Generated with