// Equivalent to toFrame()
// Need to check out the sources for this method
public Frame toFrame() {
Frame F = new VinciFrame(); // hack around the fact that Frame is an abstract class
Object[] keys = dict.keySet().toArray();
String S;
Object O;
for (int i = 0; i < keys.length; i++) {
S = (String) keys[i];
O = dict.get(S);
// if (Frame.isFrame(O))
if (1 == 0) // hack to get it to compile - can't find the isFrame() method
F.fadd(S, (Frame) O);
else
F.fadd(S, O.toString());
}
return F;
}