NameInModule

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

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

binaryStream

The source stream from which to reconstruct the NameInModule.

moduleNames

The List of Strings in which to look up the new NameInModule's module name.

atomNames

The List of Strings in which to look up the new NameInModule's atom name.

constructor(moduleName: String, atomName: String)

Construct a NameInModule from its parts.