parampatterns

Source Edit

This module implements the pattern matching features for term rewriting macro support.

Imports

ast, types, msgs, idents, renderer, wordrecg, trees, options

Types

TAliasRequest = enum
  aqNone = 1, aqShouldAlias, aqNoAlias

Source Edit

TAssignableResult = enum
  arNone, arLValue, arLocalLValue, arDiscriminant, arAddressableConst,
  arLentValue, arStrange

Source Edit

TSideEffectAnalysis = enum
  seUnknown, seSideEffect, seNoSideEffect

Source Edit

Consts

MaxStackSize = 64

max required stack size by the VM Source Edit

Procs

proc checkForSideEffects(n: PNode): TSideEffectAnalysis {....raises: [], tags: [],
    forbids: [].}

Source Edit

proc exprRoot(n: PNode; allowCalls = true): PSym {....raises: [], tags: [],
    forbids: [].}

Source Edit

proc isAssignable(owner: PSym; n: PNode): TAssignableResult {.
    ...raises: [KeyError, Exception, ERecoverableError], tags: [RootEffect],
    forbids: [].}

'owner' can be nil! Source Edit

proc isLValue(n: PNode): bool {....raises: [KeyError, Exception, ERecoverableError],
                                tags: [RootEffect], forbids: [].}

Source Edit

proc matchNodeKinds(p, n: PNode): bool {.
    ...raises: [KeyError, Exception, ERecoverableError], tags: [RootEffect],
    forbids: [].}

Source Edit

proc semNodeKindConstraints(n: PNode; conf: ConfigRef; start: Natural): PNode {....raises: [
    Exception, ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect],
    forbids: [].}

does semantic checking for a node kind pattern and compiles it into an efficient internal format. Source Edit

proc whichAlias(p: PSym): TAliasRequest {....raises: [], tags: [], forbids: [].}

Source Edit