Type Members

1.  final case class Assignment(lhs: Variable, rexpr: ImpLanExpr, defVal: Option[ImpLanExpr], typ: ImpLanType) extends ImpLanStmt with Product with Serializable
2.  final case class BoolValue(value: Boolean) extends ImpLanVal with Product with Serializable
3.  final case class CastingExpression(e: ImpLanExpr, from: ImpLanType, target: ImpLanType) extends ImpLanExpr with Product with Serializable
4.  final case class DoubleValue(value: Double) extends ImpLanVal with Product with Serializable
5.  final case class EmptyFunction(typeHint: ImpLanType) extends ImpLanVal with Product with Serializable
6.  final case class EmptyImmutableList(valType: ImpLanType) extends ImpLanVal with Product with Serializable
7.  final case class EmptyImmutableMap(keyType: ImpLanType, valType: ImpLanType) extends ImpLanVal with Product with Serializable
8.  final case class EmptyImmutableSet(valType: ImpLanType) extends ImpLanVal with Product with Serializable
9.  final case class EmptyMutableList(valType: ImpLanType) extends ImpLanVal with Product with Serializable
10.  final case class EmptyMutableMap(keyType: ImpLanType, valType: ImpLanType) extends ImpLanVal with Product with Serializable
11.  final case class EmptyMutableSet(valType: ImpLanType) extends ImpLanVal with Product with Serializable
12.  final case class Equal(e1: ImpLanExpr, e2: ImpLanExpr) extends ImpLanExpr with Product with Serializable
13.  final case class FinalAssignment(lhs: Variable, defVal: ImpLanExpr, typ: ImpLanType, lazyVar: Boolean) extends ImpLanStmt with Product with Serializable
14.  final case class FunctionCall(name: String, params: Seq[ImpLanExpr], typeHint: FunctionType) extends ImpLanExpr with Product with Serializable
15.  final case class FunctionType(argsTypes: Seq[ImpLanType], retType: ImpLanType) extends GenericImpLanType with Product with Serializable
16.  sealed abstract class GenericImpLanType extends ImpLanType
17.  final case class If(guard: Seq[Seq[ImpLanExpr]], stmts: Seq[ImpLanStmt], elseStmts: Seq[ImpLanStmt]) extends ImpLanStmt with Product with Serializable
18.  final case class ImmutableListType(valType: ImpLanType) extends GenericImpLanType with Product with Serializable
19.  final case class ImmutableMapType(keyType: ImpLanType, valType: ImpLanType) extends GenericImpLanType with Product with Serializable
20.  final case class ImmutableSetType(valType: ImpLanType) extends GenericImpLanType with Product with Serializable
21.  sealed trait ImpLanExpr extends ImpLanStmt
22.  sealed trait ImpLanStmt extends AnyRef
23.  sealed trait ImpLanType extends AnyRef
24.  sealed trait ImpLanVal extends ImpLanExpr
25.  final case class LambdaApplication(exp: ImpLanExpr, params: Seq[ImpLanExpr]) extends ImpLanExpr with Product with Serializable
26.  final case class LambdaExpression(argNames: Seq[String], argsTypes: Seq[ImpLanType], retType: ImpLanType, body: Seq[ImpLanStmt]) extends ImpLanExpr with Product with Serializable
27.  final case class LazyContainer(subType: ImpLanType) extends GenericImpLanType with Product with Serializable
28.  final case class LongValue(value: Long) extends ImpLanVal with Product with Serializable
29.  final case class MutableListType(valType: ImpLanType) extends GenericImpLanType with Product with Serializable
30.  final case class MutableMapType(keyType: ImpLanType, valType: ImpLanType) extends GenericImpLanType with Product with Serializable
31.  final case class MutableSetType(valType: ImpLanType) extends GenericImpLanType with Product with Serializable
32.  final case class NoneValue(typeHint: ImpLanType) extends ImpLanVal with Product with Serializable
33.  final case class OptionType(valType: ImpLanType) extends GenericImpLanType with Product with Serializable
34.  final case class ReturnStatement(expr: ImpLanExpr) extends ImpLanStmt with Product with Serializable
35.  final case class SomeValue(content: ImpLanVal) extends ImpLanVal with Product with Serializable
36.  case class SourceListing(stepSource: Seq[ImpLanStmt], tailSource: Seq[ImpLanStmt], tsGenSource: Seq[ImpLanStmt], inputProcessing: Seq[ImpLanStmt], staticSource: Seq[ImpLanStmt]) extends Product with Serializable

    Container class for the translated abstract imperative code

    Container class for the translated abstract imperative code

    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

    inputProcessing

    Imperative statements executed to process the input

    staticSource

    Imperative statements executed prior monitor execution

37.  final case class StringValue(value: String) extends ImpLanVal with Product with Serializable
38.  final case class StructType(subTypes: Seq[ImpLanType], fieldNames: Seq[String]) extends ImpLanType with Product with Serializable
39.  final case class StructValue(values: Map[String, ImpLanVal]) extends ImpLanVal with Product with Serializable
40.  final case class TernaryExpression(guard: Seq[Seq[ImpLanExpr]], e1: ImpLanExpr, e2: ImpLanExpr) extends ImpLanExpr with Product with Serializable
41.  final case class TryCatchBlock(tr: Seq[ImpLanStmt], cat: Seq[ImpLanStmt]) extends ImpLanStmt with Product with Serializable
42.  final case class Variable(name: String) extends ImpLanExpr with Product with Serializable