Interface NodeToSlice

Represents a node during the slicing process, together with the environment it is traversed in (modified by function calls) and whether it is only used for its side effects.

interface NodeToSlice {
    baseEnvironment: REnvironmentInformation;
    envFingerprint: string;
    id: NodeId;
    onlyForSideEffects: boolean;
}

Properties

baseEnvironment envFingerprint id onlyForSideEffects

Properties

ReadonlybaseEnvironment

baseEnvironment: REnvironmentInformation

used for calling context, etc.

ReadonlyenvFingerprint

envFingerprint: string

the fingerprint of the environment

Readonlyid

id: NodeId

ReadonlyonlyForSideEffects

onlyForSideEffects: boolean

if we add a function call, we may need it only for its side effects (e.g., a redefinition of a global variable), if so, 'returns' links will not be traced

Settings

Member Visibility

On This Page

Properties