sempass2

Imports

ast, astalgo, msgs, renderer, magicsys, types, idents, trees, wordrecg, options, guards, lineinfos, semfold, semdata, modulegraphs, varpartitions, typeallowed, liftdestructors

Procs

proc checkForSink(config: ConfigRef; owner: PSym; arg: PNode) {...}{.
    raises: [Exception, ValueError, IOError, ERecoverableError],
    tags: [RootEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}

Source Edit

proc checkMethodEffects(g: ModuleGraph; disp, branch: PSym) {...}{.
    raises: [Exception, ValueError, IOError, ERecoverableError],
    tags: [RootEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}

checks for consistent effects for multi methods. Source Edit

proc setEffectsForProcType(g: ModuleGraph; t: PType; n: PNode) {...}{.
    raises: [Exception, ValueError, IOError, ERecoverableError],
    tags: [RootEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}

Source Edit

proc trackProc(c: PContext; s: PSym; body: PNode) {...}{.
    raises: [Exception, ValueError, IOError, ERecoverableError, KeyError],
    tags: [RootEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect, TimeEffect].}

Source Edit

proc trackStmt(c: PContext; module: PSym; n: PNode; isTopLevel: bool) {...}{.
    raises: [Exception, ValueError, IOError, ERecoverableError, KeyError],
    tags: [RootEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect, TimeEffect].}

Source Edit