Public Methods | |
CodeIndexManagerAlloc () | |
void | reset () |
Index | select (Value position) |
Private Attributes | |
Map | positionMap |
Definition at line 55 of file CodeIndexManagerAlloc.java.
|
Constructor for the class. Definition at line 96 of file CodeIndexManagerAlloc.java. |
|
Resets the data structures inside the manager. Reimplemented from CodeIndexManager. Definition at line 104 of file CodeIndexManagerAlloc.java. |
|
Provides the index corresponding to the given position. If an index does not exist then a new one is created.
Reimplemented from CodeIndexManager. Definition at line 115 of file CodeIndexManagerAlloc.java. |
|
Maps the Definition at line 60 of file CodeIndexManagerAlloc.java. |