push.java

来自「emacs的一个非常有用的插件,叫xrefactory,可以实现source i」· Java 代码 · 共 43 行

package com.xrefactory.jedit;

import java.awt.*;
import javax.swing.*;
import java.io.*;
import org.gjt.sp.jedit.io.*;

public class Push implements Runnable {

	String[] 		options;
	DispatchData	data;
	XrefCharBuffer receipt;

	public void run() {
		if (Opt.updateBeforePush()) {
			boolean panic = s.synchronizedUpdateTagFile(data.callerComponent);
			if (panic) return;
		}
		receipt = data.xTask.callProcessOnFile(options, data);
		s.beforePushBrowserFiltersUpdates();
		Dispatch.dispatch(receipt, data);
		if (! data.panic) {
			BrowserTopPanel bp;
			DockableBrowser b = s.getParentBrowserPanel(data.callerComponent);
			if (b!=null) {
				b.browser.updateData();
			} else {
				bp = s.getBrowser(s.getParentView(data.callerComponent));
				if (bp!=null) bp.needToUpdate();
			}
		}
	}

	public Push(String[] options, DispatchData data) {
		this.options = options;
		this.data = data;
		//&Thread t = new Thread(this);
		this.run(); //t.start();
	}
}