/** @generated */
public boolean isReadOnly(Object element) {
ResourceSetInfo info = getResourceSetInfo(element);
if (info != null) {
if (info.isUpdateCache()) {
try {
updateCache(element);
} catch (CoreException ex) {
StateChartDiagramEditorPlugin.getInstance()
.logError(Messages.StateChartDocumentProvider_isModifiable, ex);
// Error message to log was initially taken from
// org.eclipse.gmf.runtime.diagram.ui.resources.editor.ide.internal.l10n.EditorMessages.StorageDocumentProvider_isModifiable
}
}
return info.isReadOnly();
}
return super.isReadOnly(element);
}
