}
public OID mapToIndex(Object rowIdentifier) {
Object[] key = (Object[])rowIdentifier;
OID index = new OID(jvmMemManagerIndexSupport.mapToIndex(key[0]));
index.append(jvmMemPoolIndexSupport.mapToIndex(key[1]));
return index;
}
public Object mapToRowIdentifier(OID rowIndex) {
if (rowIndex == null) {