/**
* 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());
}
