scopeManager

The scope manager which comprises the complete translation result. In case of sequential parsing, this scope manager is passed to the individual frontends one after another. In case of sequential parsing, individual scope managers will be spawned by each language frontend and then finally merged into this one.