This module implements the 'implies' relation for guards.
Procs
proc addAsgnFact(m: var TModel; key, value: PNode) {....raises: [], tags: [], forbids: [].}
- Source Edit
proc addCaseBranchFacts(m: var TModel; n: PNode; i: int) {. ...raises: [ERecoverableError], tags: [], forbids: [].}
- Source Edit
proc addDiscriminantFact(m: var TModel; n: PNode) {....raises: [], tags: [], forbids: [].}
- Source Edit
proc addFactNeg(m: var TModel; n: PNode) {. ...raises: [ERecoverableError, KeyError], tags: [], forbids: [].}
- Source Edit
proc impliesNotNil(m: TModel; arg: PNode): TImplication {....raises: [ ERecoverableError, KeyError, Exception, ValueError, OSError, IOError], tags: [ RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect], forbids: [].}
- Source Edit
proc interestingCaseExpr(m: PNode): bool {....raises: [], tags: [], forbids: [].}
- Source Edit
proc invalidateFacts(m: var TModel; n: PNode) {....raises: [], tags: [], forbids: [].}
- Source Edit
proc invalidateFacts(s: var seq[PNode]; n: PNode) {....raises: [], tags: [], forbids: [].}
- Source Edit
proc sameSubexprs(m: TModel; a, b: PNode): bool {....raises: [ERecoverableError, KeyError, Exception, ValueError, OSError, IOError], tags: [RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect], forbids: [].}
- Source Edit
proc simpleSlice(a, b: PNode): BiggestInt {....raises: [], tags: [], forbids: [].}
- Source Edit