package scalaBackend
- Alphabetic
- Public
- Protected
Type Members
- class ScalaBackend extends BackendInterface
BackendInterface implementation for the translation to Scala code
- class ScalaCompiler extends TranslationPhase[String, Unit]
TranslationPhase generating a monitor as fat jar from Scala code
- class TesslaCompilerReporter extends FilteringReporter
A reporter implementation raising TeSSLa compiler errors if the supervised Scala compiler raises an error and collects TeSSLa warnings if it raises warnings or information
Value Members
- object ScalaCompiler
- object ScalaConstants
Class containing Scala-specific constants for the translation
- object ScalaIOHandling
Class containing code for parsing values from and to strings.
Class containing code for parsing values from and to strings. Used for generating the input/output parsing from stdio.
NOTE: A general parsing method which can be executed at runtime is not possible for input parsing since tuples of various type cannot be generated. Replacing tuples internally by Seq[Any] would be a solution but isn't nice at all