tessla-compiler
API
Generated with
tessla-compiler/de.uni_luebeck.isp.tessla.tessla_compiler/IntermediateCode

IntermediateCode

de.uni_luebeck.isp.tessla.tessla_compiler.IntermediateCode
object IntermediateCode

Class containing subclasses for the representation of abstract imperative code which can afterwards be transduced into Scala/Java/Rust/... code

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

case object AnyType extends ImpLanType

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait ImpLanType
class Object
trait Matchable
class Any
Show all
Self type
AnyType.type
case object AnyValue extends ImpLanVal

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait ImpLanVal
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
Self type
AnyValue.type
final case class Assignment(lhs: Variable, rexpr: ImpLanExpr, defVal: Option[ImpLanExpr], typ: ImpLanType, glob: Boolean) extends ImpLanStmt

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
case object BoolType extends ImpLanType

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait ImpLanType
class Object
trait Matchable
class Any
Show all
Self type
BoolType.type
final case class BoolValue(value: Boolean) extends ImpLanVal

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanVal
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
final case class CastingExpression(e: ImpLanExpr, from: ImpLanType, target: ImpLanType) extends ImpLanExpr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
case object DoubleType extends ImpLanType

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait ImpLanType
class Object
trait Matchable
class Any
Show all
Self type
DoubleType.type
final case class DoubleValue(value: Double) extends ImpLanVal

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanVal
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
final case class EmptyFunction(typeHint: ImpLanType) extends ImpLanVal

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanVal
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
final case class EmptyImmutableList(valType: ImpLanType) extends ImpLanVal

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanVal
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
final case class EmptyImmutableMap(keyType: ImpLanType, valType: ImpLanType) extends ImpLanVal

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanVal
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
final case class EmptyImmutableSet(valType: ImpLanType) extends ImpLanVal

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanVal
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
final case class EmptyMutableList(valType: ImpLanType) extends ImpLanVal

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanVal
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
final case class EmptyMutableMap(keyType: ImpLanType, valType: ImpLanType) extends ImpLanVal

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanVal
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
final case class EmptyMutableSet(valType: ImpLanType) extends ImpLanVal

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanVal
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
final case class Equal(e1: ImpLanExpr, e2: ImpLanExpr) extends ImpLanExpr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
case object ErrorType extends ImpLanType

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait ImpLanType
class Object
trait Matchable
class Any
Show all
Self type
ErrorType.type
final case class FinalAssignment(lhs: Variable, defVal: Option[ImpLanExpr], typ: ImpLanType, lazyVar: Boolean) extends ImpLanStmt

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
final case class FunctionCall(name: String, params: Seq[ImpLanExpr], typeHint: FunctionType) extends ImpLanExpr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
final case class FunctionType(argsTypes: Seq[ImpLanType], retType: ImpLanType) extends GenericImpLanType

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanType
class Object
trait Matchable
class Any
Show all
case object GeneralType extends ImpLanType

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait ImpLanType
class Object
trait Matchable
class Any
Show all
Self type
case object GeneralValue extends ImpLanVal

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait ImpLanVal
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
Self type
sealed abstract class GenericImpLanType(gt: Seq[ImpLanType]) extends ImpLanType

Attributes

Supertypes
trait ImpLanType
class Object
trait Matchable
class Any
Known subtypes
class FunctionType
class NativeType
class OptionType
Show all
final case class If(guard: Seq[Seq[ImpLanExpr]], stmts: Seq[ImpLanStmt], elseStmts: Seq[ImpLanStmt]) extends ImpLanStmt

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
final case class ImmutableListType(valType: ImpLanType) extends GenericImpLanType

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanType
class Object
trait Matchable
class Any
Show all
final case class ImmutableMapType(keyType: ImpLanType, valType: ImpLanType) extends GenericImpLanType

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanType
class Object
trait Matchable
class Any
Show all
final case class ImmutableSetType(valType: ImpLanType) extends GenericImpLanType

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanType
class Object
trait Matchable
class Any
Show all
sealed trait ImpLanExpr extends ImpLanStmt

Attributes

Supertypes
trait ImpLanStmt
class Object
trait Matchable
class Any
Known subtypes
class Equal
class FunctionCall
trait ImpLanVal
object AnyValue.type
class BoolValue
class DoubleValue
object GeneralValue.type
class LongValue
object NoError.type
class NoneValue
class SomeValue
class StringValue
class StructValue
object UnitValue.type
class Variable
Show all
sealed trait ImpLanStmt

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Assignment
class If
trait ImpLanExpr
class Equal
class FunctionCall
trait ImpLanVal
object AnyValue.type
class BoolValue
class DoubleValue
object GeneralValue.type
class LongValue
object NoError.type
class NoneValue
class SomeValue
class StringValue
class StructValue
object UnitValue.type
class Variable
Show all
sealed trait ImpLanType

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object AnyType.type
object BoolType.type
object DoubleType.type
object ErrorType.type
object GeneralType.type
class FunctionType
class NativeType
class OptionType
object LongType.type
object StringType.type
class StructType
object UnitType.type
object VoidType.type
Show all
sealed trait ImpLanVal extends ImpLanExpr

Attributes

Supertypes
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Known subtypes
object AnyValue.type
class BoolValue
class DoubleValue
object GeneralValue.type
class LongValue
object NoError.type
class NoneValue
class SomeValue
class StringValue
class StructValue
object UnitValue.type
Show all
final case class LambdaApplication(exp: ImpLanExpr, params: Seq[ImpLanExpr]) extends ImpLanExpr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
final case class LambdaExpression(argNames: Seq[String], argsTypes: Seq[ImpLanType], retType: ImpLanType, body: Seq[ImpLanStmt]) extends ImpLanExpr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
final case class LazyContainer(subType: ImpLanType) extends GenericImpLanType

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanType
class Object
trait Matchable
class Any
Show all
case object LongType extends ImpLanType

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait ImpLanType
class Object
trait Matchable
class Any
Show all
Self type
LongType.type
final case class LongValue(value: Long) extends ImpLanVal

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanVal
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
final case class MutableListType(valType: ImpLanType) extends GenericImpLanType

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanType
class Object
trait Matchable
class Any
Show all
final case class MutableMapType(keyType: ImpLanType, valType: ImpLanType) extends GenericImpLanType

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanType
class Object
trait Matchable
class Any
Show all
final case class MutableSetType(valType: ImpLanType) extends GenericImpLanType

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanType
class Object
trait Matchable
class Any
Show all
final case class NativeType(name: String, subTypes: Seq[ImpLanType]) extends GenericImpLanType

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanType
class Object
trait Matchable
class Any
Show all
case object NoError extends ImpLanVal

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait ImpLanVal
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
Self type
NoError.type
final case class NoneValue(typeHint: ImpLanType) extends ImpLanVal

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanVal
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
final case class OptionType(valType: ImpLanType) extends GenericImpLanType

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanType
class Object
trait Matchable
class Any
Show all
final case class ReturnStatement(expr: ImpLanExpr) extends ImpLanStmt

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
final case class SomeValue(content: ImpLanVal) extends ImpLanVal

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanVal
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
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

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

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case object StringType extends ImpLanType

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait ImpLanType
class Object
trait Matchable
class Any
Show all
Self type
StringType.type
final case class StringValue(value: String) extends ImpLanVal

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanVal
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
final case class StructType(subTypes: Seq[ImpLanType], fieldNames: Seq[String]) extends ImpLanType

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanType
class Object
trait Matchable
class Any
Show all
final case class StructValue(values: Map[String, ImpLanVal]) extends ImpLanVal

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanVal
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
final case class TernaryExpression(guard: Seq[Seq[ImpLanExpr]], e1: ImpLanExpr, e2: ImpLanExpr) extends ImpLanExpr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
final case class TryCatchBlock(tr: Seq[ImpLanStmt], cat: Seq[ImpLanStmt]) extends ImpLanStmt

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
case object UnitType extends ImpLanType

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait ImpLanType
class Object
trait Matchable
class Any
Show all
Self type
UnitType.type
case object UnitValue extends ImpLanVal

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait ImpLanVal
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
Self type
UnitValue.type
final case class Variable(name: String) extends ImpLanExpr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanExpr
trait ImpLanStmt
class Object
trait Matchable
class Any
Show all
case object VoidType extends ImpLanType

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait ImpLanType
class Object
trait Matchable
class Any
Show all
Self type
VoidType.type
Generated with