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

de.uni_luebeck.isp.tessla.tessla_compiler.backends

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

Members list

Packages

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

Type members

Classlikes

abstract class BackendInterface(sourceTemplate: String, userIncludes: String)

Abstract base class for the translation from intermediate code to real source code

Abstract base class for the translation from intermediate code to real source code

Value parameters

sourceTemplate

Resource path of the template code, where generated code is inserted

userIncludes

Additional user-specific code which is inserted at the //USERINCLUDES comment in the source template. Can be used e.g. for additional includes.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class ScalaBackend
Generated with