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

ScalaCompiler

de.uni_luebeck.isp.tessla.tessla_compiler.backends.scalaBackend.ScalaCompiler$
object ScalaCompiler

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

def apply(outDir: Path, jarName: String, debug: Boolean, executeableCode: Boolean)(settingsModifier: Settings => Unit): TesslaPhase[String, Unit]

TranslationPhase generating a monitor as fat jar from Scala code

TranslationPhase generating a monitor as fat jar from Scala code

Attributes

debug

Make compilation more verbose

executeableCode

Indicates whether passed source contains a Main.main method which is added to the jar's manifest

jarName

The name of the generated jar file

outDir

The directory where the jar shall be created. All temporary files will aslo be created in this directory. This directory has to exist.

settingsModifier

Function adjusting the settings for compilation

def compileCode(source: Path, settings: Settings, reporter: Reporter): Unit

Method triggering compilation of a single Scala source file to class file(s)

Method triggering compilation of a single Scala source file to class file(s)

Attributes

reporter

The reporter getting attached to the compiler

settings

The compilation settings

source

The path of the source file to be compiled

def defaultSettings(compileDir: Path, debug: Boolean): Settings

Creates a Settings instance for the scala compilation

Creates a Settings instance for the scala compilation

Attributes

compileDir

The working directory of the compilation

Returns:

Settings to be used for the compilation

def unzipScalaLibrary(dir: Path): Unit

Unzips all files from the scala-library.jar to a certain directory

Unzips all files from the scala-library.jar to a certain directory

Attributes

dir

Directory where files are extracted to

Generated with