de.uni_luebeck.isp.tessla.tessla_compiler.preprocessing
Members list
Value members
Concrete fields
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).
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).
Attributes
Translates a TeSSLa Core AST to an ExtendedSpecification (AST + usage information)