SourceListing
de.uni_luebeck.isp.tessla.tessla_compiler.IntermediateCode.SourceListing
case class SourceListing(stepSource: Seq[ImpLanStmt], tailSource: Seq[ImpLanStmt], tsGenSource: Seq[ImpLanStmt], inputProcessing: Seq[ImpLanStmt], staticSource: Seq[ImpLanStmt])
Container class for the translated abstract imperative code
Value parameters
- inputProcessing
-
Imperative statements executed to process the input
- staticSource
-
Imperative statements executed prior monitor execution
- stepSource
-
Imperative statements executed when a new timestamp arrives
- tailSource
-
Imperative statements executed when a calculation has just been performed
- tsGenSource
-
Imperative statements executed to negotiate the next active timestamp
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
Members list
In this article