SmarthomeEditor.java 文件源码

@Override
public void notifyChanged(Notification notification) {
    if (notification.getNotifier() instanceof Resource) {
        switch (notification.getFeatureID(Resource.class)) {
            case Resource.RESOURCE__IS_LOADED:
            case Resource.RESOURCE__ERRORS:
            case Resource.RESOURCE__WARNINGS: {
                Resource resource = (Resource)notification.getNotifier();
                Diagnostic diagnostic = analyzeResourceProblems(resource, null);
                if (diagnostic.getSeverity() != Diagnostic.OK) {
                    resourceToDiagnosticMap.put(resource, diagnostic);
                }
                else {
                    resourceToDiagnosticMap.remove(resource);
                }
                dispatchUpdateProblemIndication();
                break;
            }
        }
    }
    else {
        super.notifyChanged(notification);
    }
}