throw new IllegalStateException(
"Popped locator does not match pushed locator");
}
}
// TODO: move it to finally or explain why this is not inside finally
cup.stopProcess();
}
// Javadoc inherited.
public boolean exitCurrentLevel() {
return manager.shouldExitCurrentLevel();