Implementation--
Slice List and Entries

---

The Slice List holds information concerning the changes in state that occur in a test program and when those changes occur. The slice list entry holds a single slice in the test program (the line numbers of the first and last statements in the slice and the Variable Change List for the slice). A slice represents the change of state in the test program that occurs when the slice is executed. Slices and the slice list are built by the Slicer for the test program. There is one slice list built for each test program.

Functionality for the slice list includes the standard List functions as well as finding the slice starting with or containing a given line number.

Functionality for slice list entries includes setting and retrieving the starting and ending line numbers of the slice, retrieving the entire variable change list, and accessor functions for the variable change list.

---

Related include files:

• slicelist.h

---

Return ...

• To my web page.
• To the SimPlan Opening page.
• To the Implementation Overview page.
• To the next level up.

---

Andrew Tompkins
Beaverton, OR 97006
Last rev: 18 APR 02
URL:

http://home.comcast.net/~andytom/simplan.docs/control/slice.list.html

---

---