NameOccurrences

constructor(binaryStream: DataInputStream, moduleNames: List<String>, atomNames: List<String>)

Reconstruct a NameOccurrences from a stream, using the already constructed lists of module names and atom names.

Parameters

binaryStream

The source of data from which to reconstruct a NameOccurrences.

moduleNames

The List of module names used in the reconstruction.

atomNames

The List of atom names used in the reconstruction.