compiler/parampatterns

  Source   Edit

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

Types

TAliasRequest = enum
  aqNone = 1, aqShouldAlias, aqNoAlias
  Source   Edit
TAssignableResult = enum
  arNone, arLValue, arLocalLValue, arDiscriminant, 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: [].}
  Source   Edit
proc exprRoot(n: PNode): PSym {....raises: [], tags: [].}
  Source   Edit
proc isAssignable(owner: PSym; n: PNode; isUnsafeAddr = false): TAssignableResult {.
    ...raises: [KeyError, Exception, ERecoverableError], tags: [RootEffect].}
'owner' can be nil!   Source   Edit
proc isLValue(n: PNode): bool {....raises: [KeyError, Exception, ERecoverableError],
                                tags: [RootEffect].}
  Source   Edit
proc matchNodeKinds(p, n: PNode): bool {.
    ...raises: [KeyError, Exception, ERecoverableError], tags: [RootEffect].}
  Source   Edit
proc semNodeKindConstraints(n: PNode; conf: ConfigRef; start: Natural): PNode {.
    ...raises: [Exception, ValueError, KeyError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}
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: [].}
  Source   Edit