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

Concise view

Type members

Classlikes

final case class Assignment(lhs: Variable, rexpr: ImpLanExpr, defVal: Option[ImpLanExpr], typ: ImpLanType, glob: Boolean) extends ImpLanStmt

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case object BoolType extends ImpLanType

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
final case class BoolValue(value: Boolean) extends ImpLanVal

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case object DoubleType extends ImpLanType

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
final case class DoubleValue(value: Double) extends ImpLanVal

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanVal
class Object
trait Matchable
class Any
final case class EmptyFunction(typeHint: ImpLanType) extends ImpLanVal

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanVal
class Object
trait Matchable
class Any
final case class EmptyImmutableList(valType: ImpLanType) extends ImpLanVal

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanVal
class Object
trait Matchable
class Any
final case class EmptyImmutableSet(valType: ImpLanType) extends ImpLanVal

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanVal
class Object
trait Matchable
class Any
final case class EmptyMutableList(valType: ImpLanType) extends ImpLanVal

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanVal
class Object
trait Matchable
class Any
final case class EmptyMutableSet(valType: ImpLanType) extends ImpLanVal

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case object ErrorType extends ImpLanType

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
final case class If(guard: Seq[Seq[ImpLanExpr]], stmts: Seq[ImpLanStmt], elseStmts: Seq[ImpLanStmt]) extends ImpLanStmt

Attributes

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

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
sealed trait ImpLanExpr extends ImpLanStmt

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Equal
trait ImpLanVal
class BoolValue
object GeneralValue.type
class LongValue
object NoError.type
class NoneValue
class SomeValue
object UnitValue.type
class Variable
sealed trait ImpLanStmt

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class If
class Equal
trait ImpLanVal
class BoolValue
object GeneralValue.type
class LongValue
object NoError.type
class NoneValue
class SomeValue
object UnitValue.type
class Variable
sealed trait ImpLanType

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object BoolType.type
object DoubleType.type
object ErrorType.type
object GeneralType.type
object LongType.type
object StringType.type
object UnitType.type
object VoidType.type
sealed trait ImpLanVal extends ImpLanExpr

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
final case class LazyContainer(subType: ImpLanType) extends GenericImpLanType

Attributes

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

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
final case class LongValue(value: Long) extends ImpLanVal

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case object NoError extends ImpLanVal

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait ImpLanVal
class Object
trait Matchable
class Any
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

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 Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case object StringType extends ImpLanType

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
final case class StringValue(value: String) extends ImpLanVal

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case object UnitType extends ImpLanType

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
case object UnitValue extends ImpLanVal

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case object VoidType extends ImpLanType

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
Generated with