Variable ControlDependency

Type Declaration

• Readonlyappend: (
      target: ControlDependency[],
      toAdd: readonly ControlDependency[] | undefined,
  ) => void

  See

  appendCds

• happensInEveryBranch: (cds: readonly ControlDependency[] | undefined) => boolean

  See

  happensInEveryBranch

• happensInEveryBranchSet: (cds: ReadonlySet<ControlDependency> | undefined) => boolean

  See

  happensInEveryBranchSet

• isIterated: function

  • isIterated(
        this: void,
        cd: ControlDependency,
        idMap: AstIdMap | undefined,
    ): boolean

    Whether the dependency stems from a loop, so what it guards may happen more than once.

    Parameters

    • this: void
    • cd: ControlDependency
    • idMap: AstIdMap | undefined

    Returns boolean

• minus: function

  • minus(
        this: void,
        a: readonly ControlDependency[],
        b: readonly ControlDependency[],
    ): ControlDependency[]

    The dependencies of a that b is not subject to as well.

    Parameters

    • this: void
    • a: readonly ControlDependency[]
    • b: readonly ControlDependency[]

    Returns ControlDependency[]

• Readonlyname: "ControlDependency"

• Readonlynegate: (cd: ControlDependency) => ControlDependency

  See

  negateControlDependency

• Readonlysame: (a: ControlDependency, b: ControlDependency) => boolean

  Whether the two trigger on the same condition and branch.

• Readonlywith: (
      base: readonly ControlDependency[] | undefined,
      toAdd: readonly ControlDependency[] | undefined,
  ) => ControlDependency[]

  See

  withCds