/**
* @requires the current block with focus must exist with non-null ID in a non-null widget with a
* non-null parent
* @modifies the current block with focus
* @effects removes the current block with focus and all its children from the GUI and destroys
* the link between the block with focus and it's parent block if one exists
*/
protected void automateBlockDeletion(Workspace workspace) {
TypeBlockManager typeBlockManager = workspace.getTypeBlockManager();
if (!typeBlockManager.isEnabled()) {
System.err.println("AutoMateBlockDeletion invoked but typeBlockManager is disabled.");
return;
}
if (!isNullBlockInstance(typeBlockManager.focusManager.getFocusBlockID())) {
typeBlockManager.deleteBlockAndChildren();
PageChangeEventManager.notifyListeners();
}
}
