de.uni_luebeck.isp.tessla.tessla_compiler.backends.scalaBackend
Members list
Type members
Classlikes
BackendInterface implementation for the translation to Scala code
BackendInterface implementation for the translation to Scala code
Value parameters
- userIncludes
-
Additional user-specific code which is included on top of the generated scala source. Can be used e.g. for additional includes
Attributes
- Supertypes
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
ScalaCompiler.type
Class containing Scala-specific constants for the translation
Class containing Scala-specific constants for the translation
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
ScalaConstants.type
Class containing code for parsing values from and to strings. Used for generating the input/output parsing from stdio.
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
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
ScalaIOHandling.type
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
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 parameters
- settings
-
Settings passed to the reporter
Attributes
- Supertypes
-
class FilteringReporterclass Reporterclass Reporterclass Objecttrait Matchableclass AnyShow all