ModuleHeader

Construct a new ModuleHeader.

A List of Strings which name entry points defined in this module header.

The names of methods that are module entry points.

The names defined and exported by the module undergoing compilation.

The list of local module names imported by this module header, in the order they appear in the Uses and Extends clauses.

The module imports imported by the module undergoing compilation. This includes both modules being extended and modules being simply used.

The ModuleName of the module undergoing compilation.

The pragma tokens, which are always string literals.

The line number in the file where the body starts (on the same line as the "body" token).

The position in the file where the body starts (right after the "body" token).

The versions for which the module undergoing compilation guarantees support.

Update the given AvailLoader's module to correspond with information that has been accumulated in this ModuleHeader.

Extract the module's header information from the Deserializer.

Output the module header.