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

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

Value parameters

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

Attributes

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)

Value parameters

reporter

The reporter getting attached to the compiler

settings

The compilation settings

source

The path of the source file to be compiled

Attributes

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

Creates a Settings instance for the scala compilation

Creates a Settings instance for the scala compilation

Value parameters

compileDir

The working directory of the compilation

Attributes

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

Value parameters

dir

Directory where files are extracted to

Attributes