Java XtextEditor.isDirty方法代码示例

import org.eclipse.xtext.ui.editor.XtextEditor; //导入方法依赖的package包/类
/**
 * Returns true iff for at least one of the given markers the corresponding editor is open and is dirty. Does not
 * open any editors if they aren't open already.
 */
private boolean existsDirtyEditorFor(IMarker[] markers) {
	// look for an editor containing one of the given markers that is already open and dirty
	for (IMarker marker : markers) {
		final XtextEditor editorForMarker = findEditor(marker.getResource()); // returns null if not open already
		if (editorForMarker != null && editorForMarker.isDirty())
			return true;
	}
	return false;
}
 

import org.eclipse.xtext.ui.editor.XtextEditor; //导入方法依赖的package包/类
@Override
protected Object executeOnEditor(ExecutionEvent event) {
	IWorkbenchWindow window = HandlerUtil.getActiveWorkbenchWindow(event);
	if (window == null) {
		return null;
	}

	final XtextEditor xtextEditor = EditorUtils.getActiveXtextEditor(event);
	if (xtextEditor == null) {
		return null;
	}

	FileEditorInput input = (FileEditorInput) xtextEditor.getEditorInput();
	final java.io.File fileOnDisk = input.getFile().getLocation().toFile();

	if (xtextEditor.isDirty()) {
		if (MessageDialog.openConfirm(window.getShell(), "Save and Run JLustre2Excel",
				"The file " + input.getName() + " has unsaved changes. Save file and continue?")) {
			xtextEditor.doSave(null);
		} else {
			return null;
		}
	}

	WorkspaceJob job = new WorkspaceJob("JLustre2Excel") {
		@Override
		public IStatus runInWorkspace(final IProgressMonitor monitor) {
			if (hasErrors(xtextEditor)) {
				return errorStatus("Lustre file contains errors");
			}
			if (hasFunctions(xtextEditor)) {
				return errorStatus("Functions are not support in JLustre2Excel");
			}
			return runJob(fileOnDisk);
		}
	};

	job.schedule();
	return null;
}
 

import org.eclipse.xtext.ui.editor.XtextEditor; //导入方法依赖的package包/类
@Override
protected Object executeOnEditor(ExecutionEvent event) {
	window = HandlerUtil.getActiveWorkbenchWindow(event);
	if (window == null) {
		return null;
	}

	final XtextEditor xtextEditor = EditorUtils.getActiveXtextEditor(event);
	if (xtextEditor == null) {
		return null;
	}

	FileEditorInput input = (FileEditorInput) xtextEditor.getEditorInput();
	final java.io.File fileOnDisk = input.getFile().getLocation().toFile();

	if (xtextEditor.isDirty()) {
		if (MessageDialog.openConfirm(window.getShell(), "Save and Run JKind", "The file "
				+ input.getName() + " has unsaved changes. Save file and continue?")) {
			xtextEditor.doSave(null);
		} else {
			return null;
		}
	}

	WorkspaceJob job = new WorkspaceJob("JKind Analysis") {
		@Override
		public IStatus runInWorkspace(final IProgressMonitor monitor) {
			activateTerminateHandler(monitor, this);
			JKindResult result = initializeJKindResult(xtextEditor);
			if (result == null) {
				return errorStatus("Lustre file contains errors");
			}
			return runJob(fileOnDisk, result, monitor);
		}
	};

	job.schedule();
	return null;
}
 

import org.eclipse.xtext.ui.editor.XtextEditor; //导入方法依赖的package包/类
@Override
protected Object executeOnEditor(ExecutionEvent event) {
	window = HandlerUtil.getActiveWorkbenchWindow(event);
	if (window == null) {
		return null;
	}

	final XtextEditor xtextEditor = EditorUtils.getActiveXtextEditor(event);
	if (xtextEditor == null) {
		return null;
	}

	FileEditorInput input = (FileEditorInput) xtextEditor.getEditorInput();
	final java.io.File fileOnDisk = input.getFile().getLocation().toFile();

	if (xtextEditor.isDirty()) {
		if (MessageDialog
				.openConfirm(window.getShell(), "Save and Run JRealizability", "The file "
						+ input.getName() + " has unsaved changes. Save file and continue?")) {
			xtextEditor.doSave(null);
		} else {
			return null;
		}
	}

	WorkspaceJob job = new WorkspaceJob("JKind Analysis") {
		@Override
		public IStatus runInWorkspace(final IProgressMonitor monitor) {
			activateTerminateHandler(monitor, this);
			if (!hasQuery(xtextEditor)) {
				return errorStatus("Main node does not contain realizability query");
			}
			JRealizabilityResult result = initializeJRealizabilityResult(xtextEditor);
			if (result == null) {
				return errorStatus("Lustre file contains errors");
			}
			return runJob(fileOnDisk, result, monitor);
		}
	};

	job.schedule();
	return null;
}