return top != null && top.getExecutable() != null;
}
/** Returns true if the top element contains an element that is yet to be executed. */
private boolean isTopExecutable(ElementTree tree) {
Element top = tree.getTop();
// check whether there is an executable
if (top != null && top.getExecutable() != null) {
// check whether it is already executed
Object executed = top.getProperty(Element.EXECUTED);
if (executed == null || executed.equals(Boolean.FALSE)) {
return true;
}
}
return false;