---

CodeIndexManager Interface Reference

Inheritance diagram for CodeIndexManager:[legend]List of all members.

Public Methods
void	reset ()
Index	select (Value position)

---

Detailed Description

This interface is used to partition the code to aid partitioning the values of the same type in a method created in different locations. This interface needs to be implemented by any CodeIndexManager that the user plans to provide to the flow analysis.

Author:

John Hatcliff ,

Version:

Name:

(

Revision:

1.1.1.1

)

Definition at line 57 of file CodeIndexManager.java.

---

Member Function Documentation

void CodeIndexManager::reset (    )

Resets the data structures. Reimplemented in CodeIndexManagerAlloc. Referenced by ValueVariantManager::reset().

Index CodeIndexManager::select (  Value   position )

Provides an index associated with the position depending on the partitioning choosen. Parameters: position   in the code being analyzed which needs to be indexed. Returns: the associated index. Reimplemented in CodeIndexManagerAlloc. Referenced by ValueVariantManager::select().

---

The documentation for this interface was generated from the following file:

• CodeIndexManager.java

---