1 //<Script type="text/javascript">
2 //var Gio = imports.gi.Gio;
3 //var GLib = imports.gi.GLib;
5 //var XObject = imports.XObject.XObject;
6 //var File = imports.File.File;
8 /// # valac --pkg gio-2.0 --pkg posix Monitor.vala -o /tmp/Monitor
11 //using Gee; // for array list?
13 static int main (string[] args) {
14 // A reference to our file
15 //var file = File.new_for_path ("data.txt");
16 MainLoop loop = new MainLoop ();
18 var m = new Monitor();
20 m.add("/home/alan/gitlive");
29 public class MonitorNamePathDir {
35 public MonitorNamePathDir(string name, string path, string dir)
46 public delegate void onEventHander (FileMonitor fm, File f_orig, File of_orig, FileMonitorEvent event_type);
50 * Monitor class - handles monitor managment for a large tree...
57 change : function () {
62 * x.stop() // stops all scanning.
63 * x.play(); // starts the scanning
70 public class Monitor : Object
79 this.monitors = new Array<FileMonitor> ();
80 this.top = new Array<string> ();
84 public Array<FileMonitor> monitors;// Array of MonitorNamePathDirileMonitors
85 public Array<string> top; // list of top level directories..
88 * add a directory or file to monitor
90 public void add (string add)
92 this.top.append_val(add);
99 for(int i = 0; i < this.top.length ; i++) {
100 this.monitor(this.top.index(i));
104 * stop / pause monitoring
110 for(int i = 0; i < this.monitors.length ; i++) {
111 this.monitors.index(i).cancel();
113 this.monitors = new Array<FileMonitor>(); // clean /destroy/ kill old?
116 * pause monitoring - without changing what's monitored
123 * resume monitoring - without changing what's monitored
130 * monitor a file or directory (privatish)
132 * initially called with ~/gitlive null 0 (effectvely)
136 public void monitor(string path, int depth = 0)
139 print("ADD: " + path + "\n");
141 //depth = typeof(depth) == 'number' ? depth *1 : 0;
142 depth = depth > 0 ? depth *1 : 0;
145 //fn = fn || function (fm, f, of, event_type, uh) {
146 // _this.onEvent(fm, f, of, event_type, uh);
150 var f = File.new_for_path(path);
151 //var cancel = new Gio.Cancellable ();
156 var fm = f.monitor(FileMonitorFlags.SEND_MOVED,null); //Gio.FileMonitorFlags.SEND_MOVED
158 fm.changed.connect( ( fm, f_orig, of_orig, event_type) => {
160 this.onEvent (fm, f_orig, of_orig, event_type ) ;
163 //this.onEvent (fm, f_orig, of_orig, event_type ) ;
165 this.monitors.append_val(fm);
168 // FIXME -- show error? do nothing..
170 // print("ADD path " + depth + ' ' + path);
173 // - this is not used.
174 //if (GLib.file_test(path + '/.git' , GLib.FileTest.IS_DIR) && this.initRepo) {
176 // this.initRepo(path);
178 FileEnumerator file_enum;
180 file_enum = f.enumerate_children(
181 FileAttribute.STANDARD_DISPLAY_NAME + "," + FileAttribute.STANDARD_TYPE,
182 0, // FileQueryInfoFlags.NONE,
185 // FIXME - show error..
192 next_file = file_enum.next_file(null);
196 if (next_file == null) {
199 //print("got a file " + next_file.sudo () + '?=' + Gio.FileType.DIRECTORY);
201 if (next_file.get_file_type() != FileType.DIRECTORY) {
206 if (next_file.get_file_type() ==FileType.SYMBOLIC_LINK) {
211 if (next_file.get_display_name()[0] == '.') {
215 var sp = path+"/"+next_file.get_display_name();
217 //print("got a file : " + sp);
223 this.monitor(sp, depth + 1);
227 file_enum.close(null);
235 public File realpath(File file)
241 if (FileUtils.test(file.get_path(), FileTest.EXISTS)) {
242 var rp = Posix.realpath(file.get_path());
243 return File.new_for_path(rp);
246 // file does not currently exist..
249 // FIX ME - string split?/?
250 var bn = file.get_basename();
251 var ar = file.get_path().split("/");
252 ar.resize(ar.length-1);
253 var dirname = string.joinv("/",ar );
254 var rp = Posix.realpath(dirname);
255 return File.new_for_path(rp + "/" + bn);
262 public void onEvent(FileMonitor fm, File f_orig, File of_orig, FileMonitorEvent event_type)
268 var f = this.realpath(f_orig);
270 var of = this.realpath(of_orig);
274 MonitorNamePathDir src = new MonitorNamePathDir( f.get_basename(), f.get_path() , Path.get_dirname(f.get_path()));
275 MonitorNamePathDir dest = null;
278 dest = new MonitorNamePathDir( of.get_basename(), of.get_path(), Path.get_dirname(of.get_path()));
281 //string event_name = "UKNOWN";
284 // extract the event names ... - not sure if introspection is feasible in vala..
285 //for(var i in Gio.FileMonitorEvent) {
286 // if (Gio.FileMonitorEvent[i] == event_type) {
294 //print (JSON.stringify([event_name , f.get_path(), of ? of.get_path() : false ] ));
295 //print ("got src: " + src.toString());
296 //print ("got event: " + src.toString());
300 case FileMonitorEvent.CHANGED:
302 return; // ingore thise?? -wait for changes_done_htin?
304 case FileMonitorEvent.CHANGES_DONE_HINT:
305 this.onChangesDoneHint(src);
308 case FileMonitorEvent.DELETED:
312 case FileMonitorEvent.CREATED:
316 case FileMonitorEvent.ATTRIBUTE_CHANGED: // eg. chmod/chatt
317 this.onAttributeChanged(src);
320 case FileMonitorEvent.MOVED: // eg. chmod/chatt
321 this.onMoved(src,dest);
324 // rest are mount related - not really relivant.. maybe add later..
332 /** override these to do stuff.. */
333 public void initRepo(MonitorNamePathDir src) { } // called on startup at the top level repo dir.
334 public void onChanged(MonitorNamePathDir src) { }
335 public void onChangesDoneHint(MonitorNamePathDir src) { }
336 public void onDeleted(MonitorNamePathDir src) { }
337 public void onCreated(MonitorNamePathDir src) { }
338 public void onAttributeChanged(MonitorNamePathDir src) { }
339 public void onMoved(MonitorNamePathDir src,MonitorNamePathDir dest) { }