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
Attributes
- userIncludes
Additional user-specific code which is included on top of the generated scala source. Can be used e.g. for additional includes
- Graph
- Supertypes
Attributes
- Graph
- 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
- Graph
- 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
- Graph
- 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
Attributes
- settings
Settings passed to the reporter
- Graph
- Supertypes
- class FilteringReporterclass Reporterclass Reporterclass Objecttrait Matchableclass Any