The result of the slice step

interface SliceResult {
    result: ReadonlySet<NodeId>;
    slicedFor: readonly NodeId[];
    timesHitThreshold: number;
}

Properties

result: ReadonlySet<NodeId>

The ids of the nodes in the normalized ast that are part of the slice.

slicedFor: readonly NodeId[]

The ids of the nodes in the normalized ast that were used as seed ids for slicing. This is a subset of result.

timesHitThreshold: number

Number of times the set threshold was hit (i.e., the same node was visited too often). While any number above 0 might indicate a wrong slice, it does not have to as usually even revisiting the same node seldom causes more ids to be included in the slice.