/** * The framework calls this to see if the file is correct. * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ @Override protected boolean validatePage() { if (super.validatePage()) { String extension = new Path(getFileName()).getFileExtension(); if (extension == null || !FILE_EXTENSIONS.contains(extension)) { String key = FILE_EXTENSIONS.size() > 1 ? "_WARN_FilenameExtensions" : "_WARN_FilenameExtension"; setErrorMessage( MIDEditorPlugin.INSTANCE.getString(key, new Object[] {FORMATTED_FILE_EXTENSIONS})); return false; } return true; } return false; }
/** * * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ protected boolean validatePage() { URI fileURI = getFileURI(); if (fileURI == null || fileURI.isEmpty()) { setErrorMessage(null); return false; } String extension = fileURI.fileExtension(); if (extension == null || !FILE_EXTENSIONS.contains(extension)) { String key = FILE_EXTENSIONS.size() > 1 ? "_WARN_FilenameExtensions" : "_WARN_FilenameExtension"; setErrorMessage( WorkaroundEditorPlugin.INSTANCE.getString( key, new Object[] {FORMATTED_FILE_EXTENSIONS})); return false; } setErrorMessage(null); return getInitialObjectName() != null && getEncodings().contains(encodingField.getText()); }