avail/avail.persistence.cache.record/NamesIndex/NameOccurrences

NameOccurrences

data class NameOccurrences(val declarations: MutableList<NamesIndex.Declaration>, val definitions: MutableList<NamesIndex.Definition>, val usages: MutableList<NamesIndex.Usage>)

The occurrences of things related to some name appearing in this module.

Constructors

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.

constructor(declarations: MutableList<NamesIndex.Declaration>, definitions: MutableList<NamesIndex.Definition>, usages: MutableList<NamesIndex.Usage>)

Properties

val declarations: MutableList<NamesIndex.Declaration>

A list of the name's Declarations present in this module.

val definitions: MutableList<NamesIndex.Definition>

A list of the name's Definitions present in this module.

val usages: MutableList<NamesIndex.Usage>

A list of places that the name has Usages within this module.

Functions

fun write(binaryStream: DataOutputStream, moduleNumbering: Map<String, Int>, nameNumbering: Map<String, Int>)

Write this NameOccurrences 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 NameOccurrences constructor taking a DataInputStream and the two lists).