@eagleoutice/flowr - v2.15.9
    Preparing search index...

    Variable RValueConst

    RValue: {
        name: "RValue";
        numberOf(this: void, value: Value): number | undefined;
        ofStringLiteral: (
            this: void,
            value: RStringValue,
        ) => ValueString<Lift<(...)>> | undefined;
        stringOf(this: void, value: Value): string | undefined;
        unescapeString: (this: void, str: string) => string | undefined;
    } = ...

    Reads the plain TS value a Value stands for, undefined whenever it stands for more than one, for none, or for another kind. Prefer these over reaching into a value's shape by hand.

    This is the constant-folding view: it answers "is this one known constant" and nothing else. It runs no fixpoint, knows no control flow, and widens nothing. For an abstract state that does, use the dedicated abstract interpretation in src/abstract-interpretation/.

    Type Declaration

    • Readonlyname: "RValue"
    • numberOf: function

      • The number the value stands for, collapsing an interval that admits a single one.

        Parameters

        Returns number | undefined

    • ReadonlyofStringLiteral: (this: void, value: RStringValue) => ValueString<Lift<(...)>> | undefined

      The string a literal stands for, undefined when R would not accept it; see stringFromLiteral.

    • stringOf: function
    • ReadonlyunescapeString: (this: void, str: string) => string | undefined

      What the escapes in a string literal stand for; see unescapeRString.

    values

    Settings
    Member Visibility