RustCompiler

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

object RustCompiler

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: RustCompiler.type

Members list

Concise view

Value members

Concrete methods

Creates a complete cargo workspace with all files necessary to expand it with your own code.

The Cargo.toml only gets written if it doesn't exist.

Attributes

exportMain: Whether the default main.rs IO interface should be created
sourceCode: The source code to be exported.
workspaceDir: The directory the workspace is put into.

Exports the rust library crate from resources into an external folder

Attributes

destination: the destination folder

Use cargo to compile a rust binary in a temporary directory

Attributes

artifactPath: the output directory or file for the binary
discardCargoOutput: disables cargo compilation progress output

Concrete fields

A set of warnings that we know are present in the generated output Some of these are merely stylistic (variable names) and some are more interesting, but very hard to eliminate (too many parentheses, unused variables, dead code)

Attributes

Generated with