146 |
// XXX assumes that parent is set already |
// XXX assumes that parent is set already |
147 |
int other_parent = interpList[k.parent]; |
int other_parent = interpList[k.parent]; |
148 |
|
|
149 |
Key other_key = new Key(mapkey(k.key), other_parent); |
// KLUDGE! |
150 |
|
Object mappedKey ; |
151 |
|
if(other == this) |
152 |
|
mappedKey = k.key; |
153 |
|
else |
154 |
|
mappedKey = mapkey(k.key); |
155 |
|
Key other_key = new Key(mappedKey, other_parent); |
156 |
interpList[i] = other.getCSByKeyObject(other_key); |
interpList[i] = other.getCSByKeyObject(other_key); |
157 |
|
|
158 |
if(dbg) pa(i+" "+k.parent+" "+other_parent+" "+ |
if(dbg) pa(i+" "+k.parent+" "+other_parent+" "+ |