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)
47 public delegate void onEventHander (FileMonitor fm, File f_orig, File of_orig, FileMonitorEvent event_type);
51 * Monitor class - handles monitor managment for a large tree...
58 change : function () {
63 * x.stop() // stops all scanning.
64 * x.play(); // starts the scanning
71 public abstract class gitMonitorBase : Object
73 public abstract void monitor(string path, int depth = 0);
76 public class Monitor : gitMonitorBase
85 this.monitors = new Array<FileMonitor> ();
86 this.top = new Array<string> ();
90 public Array<FileMonitor> monitors;// Array of MonitorNamePathDirileMonitors
91 public Array<string> top; // list of top level directories..
94 * add a directory or file to monitor
96 public void add (string add)
99 print("Monitor.add: " + add);
100 this.top.append_val(add);
107 for(int i = 0; i < this.top.length ; i++) {
108 this.monitor(this.top.index(i));
112 * stop / pause monitoring
118 for(int i = 0; i < this.monitors.length ; i++) {
119 this.monitors.index(i).cancel();
121 this.monitors = new Array<FileMonitor>(); // clean /destroy/ kill old?
124 * pause monitoring - without changing what's monitored
131 * resume monitoring - without changing what's monitored
138 * monitor a file or directory (privatish)
140 * initially called with ~/gitlive null 0 (effectvely)
144 public override void monitor(string path, int depth = 0)
147 //GLib.debug("ADD: (%d): %s\n", depth, path);
149 //depth = typeof(depth) == 'number' ? depth *1 : 0;
150 depth = depth > 0 ? depth *1 : 0;
153 //fn = fn || function (fm, f, of, event_type, uh) {
154 // _this.onEvent(fm, f, of, event_type, uh);
157 var f = File.new_for_path(path);
158 //var cancel = new Gio.Cancellable ();
162 var fm = f.monitor(FileMonitorFlags.SEND_MOVED + FileMonitorFlags.WATCH_MOVES,null);
163 //var fm = f.monitor(FileMonitorFlags.WATCH_MOVES,null);
165 fm.changed.connect( this.onEvent );
166 this.monitors.append_val(fm);
169 GLib.debug("Error adding monitor: %s", e.message);
170 // FIXME -- show error? do nothing..
172 // print("ADD path " + depth + ' ' + path);
175 // - this is not used.
176 //if (GLib.file_test(path + '/.git' , GLib.FileTest.IS_DIR) && this.initRepo) {
178 // this.initRepo(path);
180 FileEnumerator file_enum;
181 var cancellable = new Cancellable ();
183 file_enum = f.enumerate_children(
184 FileAttribute.STANDARD_DISPLAY_NAME + "," + FileAttribute.STANDARD_TYPE,
185 FileQueryInfoFlags.NOFOLLOW_SYMLINKS, // FileQueryInfoFlags.NONE,
188 // FIXME - show error..
193 while (cancellable.is_cancelled () == false ) {
195 next_file = file_enum .next_file (cancellable);
201 if (next_file == null) {
205 //print("got a file " + next_file.sudo () + '?=' + Gio.FileType.DIRECTORY);
207 if (next_file.get_file_type() != FileType.DIRECTORY) {
213 //stdout.printf("Monitor.monitor: got file %s : type :%u\n",
214 // next_file.get_display_name(), next_file.get_file_type());
217 if (next_file.get_is_symlink()) {
222 if (next_file.get_display_name()[0] == '.') {
226 var sp = path+"/"+next_file.get_display_name();
228 //print("got a file : " + sp);
234 this.monitor(sp, depth + 1);
238 file_enum.close(null);
246 public File realpath(File file)
252 if (FileUtils.test(file.get_path(), FileTest.EXISTS)) {
253 var rp = Posix.realpath(file.get_path());
254 return File.new_for_path(rp);
257 // file does not currently exist..
260 // FIX ME - string split?/?
261 var bn = file.get_basename();
262 var ar = file.get_path().split("/");
263 ar.resize(ar.length-1);
264 var dirname = string.joinv("/",ar );
265 var rp = Posix.realpath(dirname);
266 return File.new_for_path(rp + "/" + bn);
273 public void onEvent(File f_orig, File? of_orig, FileMonitorEvent event_type)
278 // print("onEvent\n");
279 var f = this.realpath(f_orig);
282 MonitorNamePathDir src = new MonitorNamePathDir( f.get_basename(), f.get_path() , Path.get_dirname(f.get_path()));
286 //string event_name = "UKNOWN";
289 // extract the event names ... - not sure if introspection is feasible in vala..
290 //for(var i in Gio.FileMonitorEvent) {
291 // if (Gio.FileMonitorEvent[i] == event_type) {
299 //print (JSON.stringify([event_name , f.get_path(), of ? of.get_path() : false ] ));
300 //print ("got src: " + src.toString());
301 //print ("got event: " + src.toString());
306 case FileMonitorEvent.CHANGED:
307 src.action = "changed";
309 return; // ingore thise?? -wait for changes_done_htin?
311 case FileMonitorEvent.CHANGES_DONE_HINT:
312 src.action = "changed";
313 this.onChangesDoneHint(src);
316 case FileMonitorEvent.DELETED:
321 case FileMonitorEvent.CREATED:
322 src.action = "created";
326 case FileMonitorEvent.ATTRIBUTE_CHANGED: // eg. chmod/chatt
327 src.action = "attrib";
328 this.onAttributeChanged(src);
331 case FileMonitorEvent.MOVED: // eg. chmod/chatt
332 case FileMonitorEvent.MOVED_IN: // eg. chmod/chatt
333 case FileMonitorEvent.MOVED_OUT: // eg. chmod/chatt
334 case FileMonitorEvent.RENAMED: // eg. chmod/chatt
336 var of = this.realpath(of_orig);
337 var dest = new MonitorNamePathDir(
340 Path.get_dirname(of.get_path())
343 src.action = "moved";
344 dest.action = "moved";
345 this.onMoved(src,dest);
350 stdout.printf("event type not handled %u", event_type);
352 // rest are mount related - not really relivant.. maybe add later..
361 /** override these to do stuff.. */
362 //public void initRepo(MonitorNamePathDir src) { } // called on startup at the top level repo dir.
363 public virtual void onChanged(MonitorNamePathDir src) { }
364 public virtual void onChangesDoneHint(MonitorNamePathDir src) { }
365 public virtual void onDeleted(MonitorNamePathDir src) { }
366 public virtual void onCreated(MonitorNamePathDir src) { }
367 public virtual void onAttributeChanged(MonitorNamePathDir src) { }
368 public virtual void onMoved(MonitorNamePathDir src,MonitorNamePathDir dest) { }