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
Attributes
- 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
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any