SourceSegments
de.uni_luebeck.isp.tessla.tessla_compiler.backends.rustBackend.SourceSegments
case class SourceSegments(stateTypes: ListBuffer[String], stateTraits: ListBuffer[String], stateDef: ListBuffer[String], stateFunctions: ListBuffer[String], stateInit: ListBuffer[String], stateImpl: ListBuffer[String], defaultStateTraits: ListBuffer[String], defaultStateFunctions: ListBuffer[String], input: ListBuffer[String], timestamp: ListBuffer[String], computation: ListBuffer[String], static: ListBuffer[String], store: ListBuffer[String], delayReset: ListBuffer[String])
Contains buffers for all segments where code should be inserted.
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any