public int depth() {
if (contextFrame == null) {
return -1;
} else {
return contextFrame.depth();
}
}
public void openScope() {
contextFrame.openScope();
}
public void closeFrame() {
contextFrame = contextFrame.getParent();
}
public String addEntry(TypeRef type) {
String name = newName();
contextFrame.addEntry(name, type);
return name;
}
public int addEntry(String name, TypeRef type) {
return contextFrame.addEntry(name, type);
}
public ClosureLocalBinding lookupOnlyCurrentScope(String name) {
return contextFrame.lookupOnlyCurrentScope(name);
}
public ClosureLocalBinding lookup(String name) {
return contextFrame.lookup(name);
}
public void closeScope() {
contextFrame.closeScope();
}
