ExtendedSpecification
de.uni_luebeck.isp.tessla.tessla_compiler.ExtendedSpecification
case class ExtendedSpecification(spec: Specification, usageInfo: Option[Map[Identifier, Set[Identifier]]], lazyVars: Option[Set[Identifier]], inlining: Option[Set[Identifier]], traitInfo: Option[Map[Identifier, Set[String]]])
TeSSLa Core AST with additional information from the preprocessing
Attributes
- inlining
Set of all variables which are not translated as variables but inlined (must be final variables)
- lazyVars
Set of all variables that shall be translated with lazy assignments
- spec
The TeSSLa Core AST
- usageInfo
Map indication which Identifier is used in the definitions of other identifiers
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any