Packages

package preprocessing

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Value Members

  1. object InliningAnalysis extends TranslationPhase[ExtendedSpecification, ExtendedSpecification]

    Adds inlining/laziness information to an ExtendedSpecification, i.e.

    Adds inlining/laziness information to an ExtendedSpecification, i.e. which variables have to be assigned in a lazy manner and which variables are inlined. A variable is defined lazy if it is used as sub-expression of a lazy argument in a function call and not inlined. It is inlined if there is no other usage (even if if the usage is not lazy).

  2. object UsageAnalysis extends TranslationPhase[core.TesslaAST.Core.Specification, ExtendedSpecification]

    Translates a TeSSLa Core AST to an ExtendedSpecification (AST + usage information)

Ungrouped