avail/avail.persistence.cache.record/NameInModule

NameInModule

data class NameInModule(val moduleName: String, val atomName: String) : Comparable<NameInModule>

A structure containing both a module name and the name of an atom declared in that module.

Constructors

Link copied to clipboard
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.

constructor(moduleName: String, atomName: String)

Construct a NameInModule from its parts.

Properties

Link copied to clipboard
val atomName: String

The name of the atom defined within that module.

Link copied to clipboard
val moduleName: String

The name of the referenced module.

Functions

Link copied to clipboard
open operator override fun compareTo(other: NameInModule): Int
Link copied to clipboard
fun write(binaryStream: DataOutputStream, moduleNumbering: Map<String, Int>, nameNumbering: Map<String, Int>)

Write this NameInModule onto the given DataOutputStream. Use the maps from module name to index and atom name to index for compression. The same maps will be provided in inverse form (as Lists of Strings) during subsequent decoding (via the NameInModule constructor taking a DataInputStream and the two lists).