Interface StringDomain

A string value abstract domain with string operations and a satisfiability check.

interface StringDomain {
    concat(other: this): this;
    from(...values: string[]): this;
    satisfies(value: string, comparator?: StringComparator): Ternary;
}

Hierarchy (View Summary)

ValueDomain<string>
- StringDomain

Hierarchy-Diagram

UML class diagram of StringDomain

Index

Methods

concat from satisfies

Methods

concat

concat(other: this): this
Concatenates this string abstract value with another string abstract value.
Parameters
- other: this
Returns this
- Defined in src/abstract-interpretation/domains/value-abstract-domain.ts:26

from

from(...values: string[]): this
Abstracts a list of concrete values into an abstract value of the value abstract domain.
Parameters
- ...values: string[]
Returns this
Inherited from ValueDomain.from
- Defined in src/abstract-interpretation/domains/value-abstract-domain.ts:10

satisfies

satisfies(value: string, comparator?: StringComparator): Ternary
Checks whether the current abstract value satisfies a concrete value (i.e. includes a concrete value).
Parameters
- value: string
- Optionalcomparator: StringComparator
Returns Ternary
See
Ternary for the returned satisfiability result
Overrides ValueDomain.satisfies
- Defined in src/abstract-interpretation/domains/value-abstract-domain.ts:28