Procs
proc checkForSink(config: ConfigRef; idgen: IdGenerator; owner: PSym; arg: PNode) {....raises: [ Exception, ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [ RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect], forbids: [].}
- Source Edit
proc checkMethodEffects(g: ModuleGraph; disp, branch: PSym) {....raises: [ Exception, ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [ RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect], forbids: [].}
- checks for consistent effects for multi methods. Source Edit
proc setEffectsForProcType(g: ModuleGraph; t: PType; n: PNode; s: PSym = nil) {....raises: [ Exception, ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [ RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect], forbids: [].}
- Source Edit