Generating Software from Specifications WS 2013/14 - Slide 509
Objectives:
Systematic computation of Env attributes
In the lecture:
The topics of the slide are explained
- the Range role,
- root of nested environments created by NewEnv(), (computation can be omitted for the Grammar root).
- in the example language fields may be associated to one structure s in several structure descriptions for s.
- The property Envir stores one envirenment for each structure entity in the definition module.
Author: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 07.10.2013