idgen

This module contains a simple persistent id generator.

Imports

idents, options, pathutils

Vars

gFrontEndId: int

Source Edit

Consts

debugIds = false

Source Edit

Procs

proc registerID(id: PIdObj) {...}{.raises: [], tags: [].}

Source Edit

proc getID(): int {...}{.inline, raises: [], tags: [].}

Source Edit

proc setId(id: int) {...}{.inline, raises: [], tags: [].}

Source Edit

proc idSynchronizationPoint(idRange: int) {...}{.raises: [], tags: [].}

Source Edit

proc saveMaxIds(conf: ConfigRef; project: AbsoluteFile) {...}{.
    raises: [IOError, OSError], tags: [ReadEnvEffect, ReadIOEffect,
                                       WriteDirEffect, ReadDirEffect,
                                       WriteIOEffect].}

Source Edit

proc loadMaxIds(conf: ConfigRef; project: AbsoluteFile) {...}{.
    raises: [OSError, IOError, ValueError], tags: [ReadEnvEffect, ReadIOEffect,
    WriteDirEffect, ReadDirEffect, WriteIOEffect].}

Source Edit