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
Value parameters
- 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
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
Members list
In this article