Class FiniteDomainBuilder<Top, Bottom, Elements>

Type Parameters

Top extends symbol
Bottom extends symbol
Elements extends LatticeElements<Top, Bottom> = [Top, Bottom]

Index

Constructors

Methods

addLeqOrder build setBottom setTop

Constructors

constructor

new FiniteDomainBuilder<
    Top extends symbol,
    Bottom extends symbol,
    Elements extends LatticeElements<Top, Bottom> = [Top, Bottom],
>(): FiniteDomainBuilder<Top, Bottom, Elements>
Type Parameters
- Top extends symbol
- Bottom extends symbol
- Elements extends LatticeElements<Top, Bottom> = [Top, Bottom]
Returns FiniteDomainBuilder<Top, Bottom, Elements>

Methods

addLeqOrder

addLeqOrder(
from: Elements[number],
to: Elements[number] | Elements[number][],
): this
Parameters
- from: Elements[number]
- to: Elements[number] | Elements[number][]
Returns this
- Defined in src/taint-analysis/builder/domain.ts:35

build

build(initialElement?: Elements[number]): FiniteDomain<Top, Bottom, Elements>
Parameters
- OptionalinitialElement: Elements[number]
Returns FiniteDomain<Top, Bottom, Elements>
- Defined in src/taint-analysis/builder/domain.ts:75

setBottom

setBottom(element: Bottom): this
Parameters
- element: Bottom
Returns this
- Defined in src/taint-analysis/builder/domain.ts:29

setTop

setTop(element: Top): this
Parameters
- element: Top
Returns this
- Defined in src/taint-analysis/builder/domain.ts:23