83e85cea55a782f9b24183b356f6e184b22234b4
[app.Builder.js] / src / Builder4 / Editor.vala
1 static Editor  _Editor;
2
3 public class Editor : Object
4 {
5     public Gtk.Box el;
6     private Editor  _this;
7
8     public static Editor singleton()
9     {
10         if (_Editor == null) {
11             _Editor= new Editor();
12         }
13         return _Editor;
14     }
15     public Xcls_save_button save_button;
16     public Xcls_key_edit key_edit;
17     public Xcls_RightEditor RightEditor;
18     public Xcls_view view;
19     public Xcls_buffer buffer;
20
21         // my vars (def)
22     public Xcls_MainWindow window;
23     public string activeEditor;
24     public int pos_root_x;
25     public int pos_root_y;
26     public string ptype;
27     public string key;
28     public JsRender.JsRender file;
29     public bool pos;
30     public bool dirty;
31     public signal void save ();
32     public JsRender.Node node;
33
34     // ctor
35     public Editor()
36     {
37         _this = this;
38         this.el = new Gtk.Box( Gtk.Orientation.VERTICAL, 0 );
39
40         // my vars (dec)
41         this.window = null;
42         this.activeEditor = "";
43         this.ptype = "";
44         this.key = "";
45         this.file = null;
46         this.pos = false;
47         this.dirty = false;
48         this.node = null;
49
50         // set gobject values
51         this.el.homogeneous = false;
52         var child_0 = new Xcls_Box2( _this );
53         child_0.ref();
54         this.el.pack_start (  child_0.el , false,true );
55         var child_1 = new Xcls_RightEditor( _this );
56         child_1.ref();
57         this.el.pack_end (  child_1.el , true,true );
58     }
59
60     // user defined functions
61     public   bool saveContents ()  {
62         
63         
64         if (_this.file == null) {
65             return true;
66         }
67         
68         
69         
70         
71        
72          
73          var str = _this.buffer.toString();
74          
75          _this.buffer.checkSyntax();
76          
77          
78          
79          // LeftPanel.model.changed(  str , false);
80          _this.dirty = false;
81          _this.save_button.el.sensitive = false;
82          
83         // find the text for the node..
84         if (_this.file.xtype != "PlainFile") {
85             if (ptype == "listener") {
86                 this.node.listeners.set(key,str);
87             
88             } else {
89                  this.node.props.set(key,str);
90             }
91         } else {
92             _this.file.setSource(  str );
93          }
94         
95         // call the signal..
96         this.save();
97         
98         return true;
99     
100     }
101     public   void show (JsRender.JsRender file, JsRender.Node? node, string ptype, string key)
102     {
103         this.file = file;    
104         this.ptype = "";
105         this.key  = "";
106         this.node = null;
107     
108         
109         if (file.xtype != "PlainFile") {
110         
111             this.ptype = ptype;
112             this.key  = key;
113             this.node = node;
114              string val = "";
115             // find the text for the node..
116             if (ptype == "listener") {
117                 val = node.listeners.get(key);
118             
119             } else {
120                 val = node.props.get(key);
121             }
122             this.view.load(val);
123             this.key_edit.el.show();
124             this.key_edit.el.text = key;  
125         
126         } else {
127             this.view.load(        file.toSource() );
128             this.key_edit.el.hide();
129         }
130     
131            
132     }
133     public class Xcls_Box2 : Object
134     {
135         public Gtk.Box el;
136         private Editor  _this;
137
138
139             // my vars (def)
140
141         // ctor
142         public Xcls_Box2(Editor _owner )
143         {
144             _this = _owner;
145             this.el = new Gtk.Box( Gtk.Orientation.HORIZONTAL, 0 );
146
147             // my vars (dec)
148
149             // set gobject values
150             this.el.homogeneous = false;
151             var child_0 = new Xcls_save_button( _this );
152             child_0.ref();
153             this.el.pack_start (  child_0.el , false,false );
154             var child_1 = new Xcls_key_edit( _this );
155             child_1.ref();
156             this.el.pack_end (  child_1.el , true,true );
157         }
158
159         // user defined functions
160     }
161     public class Xcls_save_button : Object
162     {
163         public Gtk.Button el;
164         private Editor  _this;
165
166
167             // my vars (def)
168
169         // ctor
170         public Xcls_save_button(Editor _owner )
171         {
172             _this = _owner;
173             _this.save_button = this;
174             this.el = new Gtk.Button();
175
176             // my vars (dec)
177
178             // set gobject values
179             this.el.label = "Save";
180
181             //listeners
182             this.el.clicked.connect( () => { 
183                 _this.saveContents();
184             });
185         }
186
187         // user defined functions
188     }
189
190     public class Xcls_key_edit : Object
191     {
192         public Gtk.Entry el;
193         private Editor  _this;
194
195
196             // my vars (def)
197
198         // ctor
199         public Xcls_key_edit(Editor _owner )
200         {
201             _this = _owner;
202             _this.key_edit = this;
203             this.el = new Gtk.Entry();
204
205             // my vars (dec)
206
207             // set gobject values
208         }
209
210         // user defined functions
211     }
212
213
214     public class Xcls_RightEditor : Object
215     {
216         public Gtk.ScrolledWindow el;
217         private Editor  _this;
218
219
220             // my vars (def)
221
222         // ctor
223         public Xcls_RightEditor(Editor _owner )
224         {
225             _this = _owner;
226             _this.RightEditor = this;
227             this.el = new Gtk.ScrolledWindow( null, null );
228
229             // my vars (dec)
230
231             // set gobject values
232             var child_0 = new Xcls_view( _this );
233             child_0.ref();
234             this.el.add (  child_0.el  );
235
236             // init method
237
238             this.el.set_policy(Gtk.PolicyType.AUTOMATIC, Gtk.PolicyType.AUTOMATIC);
239         }
240
241         // user defined functions
242     }
243     public class Xcls_view : Object
244     {
245         public Gtk.SourceView el;
246         private Editor  _this;
247
248
249             // my vars (def)
250
251         // ctor
252         public Xcls_view(Editor _owner )
253         {
254             _this = _owner;
255             _this.view = this;
256             this.el = new Gtk.SourceView();
257
258             // my vars (dec)
259
260             // set gobject values
261             this.el.auto_indent = true;
262             this.el.indent_width = 4;
263             this.el.show_line_marks = true;
264             this.el.insert_spaces_instead_of_tabs = true;
265             this.el.show_line_numbers = true;
266             this.el.highlight_current_line = true;
267             var child_0 = new Xcls_buffer( _this );
268             child_0.ref();
269             this.el.set_buffer (  child_0.el  );
270
271             // init method
272
273             var description =   Pango.FontDescription.from_string("monospace");
274                 description.set_size(8000);
275                 this.el.override_font(description);
276             
277             
278               
279                 var attrs = new Gtk.SourceMarkAttributes();
280                 var  pink =   Gdk.RGBA();
281                 pink.parse ( "pink");
282                 attrs.set_background ( pink);
283                 attrs.set_icon_name ( "process-stop");    
284                 attrs.query_tooltip_text.connect(( mark) => {
285                     //print("tooltip query? %s\n", mark.name);
286                     return mark.name;
287                 });
288                 
289                 this.el.set_mark_attributes ("ERR", attrs, 1);
290                 
291                  var wattrs = new Gtk.SourceMarkAttributes();
292                 var  blue =   Gdk.RGBA();
293                 blue.parse ( "#ABF4EB");
294                 wattrs.set_background ( blue);
295                 wattrs.set_icon_name ( "process-stop");    
296                 wattrs.query_tooltip_text.connect(( mark) => {
297                     //print("tooltip query? %s\n", mark.name);
298                     return mark.name;
299                 });
300                 
301                 this.el.set_mark_attributes ("WARN", wattrs, 1);
302                 
303              
304                 
305                  var dattrs = new Gtk.SourceMarkAttributes();
306                 var  purple =   Gdk.RGBA();
307                 purple.parse ( "#EEA9FF");
308                 dattrs.set_background ( purple);
309                 dattrs.set_icon_name ( "process-stop");    
310                 dattrs.query_tooltip_text.connect(( mark) => {
311                     //print("tooltip query? %s\n", mark.name);
312                     return mark.name;
313                 });
314                 
315                 this.el.set_mark_attributes ("DEPR", dattrs, 1);
316
317             //listeners
318             this.el.key_release_event.connect( (event) => {
319                 
320                 if (event.keyval == 115 && (event.state & Gdk.ModifierType.CONTROL_MASK ) > 0 ) {
321                     print("SAVE: ctrl-S  pressed");
322                     _this.saveContents();
323                     return false;
324                 }
325                // print(event.key.keyval)
326                 
327                 return false;
328             
329             });
330         }
331
332         // user defined functions
333         public   void load (string str) {
334         
335         // show the help page for the active node..
336            //this.get('/Help').show();
337         
338         
339           // this.get('/BottomPane').el.set_current_page(0);
340             var buf = (Gtk.SourceBuffer)this.el.get_buffer();
341             buf.set_text(str, str.length);
342             buf.set_undo_manager(null);
343             
344             var lm = Gtk.SourceLanguageManager.get_default();
345             var lang = "vala";
346             if (_this.file != null) {
347                  lang = _this.file.language;
348             }
349             print("lang=%s, content_type = %s\n", lang, _this.file.content_type);
350             var lg = _this.file.content_type.length > 0  ?
351                     lm.guess_language(_this.file.path, _this.file.content_type) :
352                     lm.get_language(lang);
353             
354            
355            
356             ((Gtk.SourceBuffer)(this.el.get_buffer())) .set_language(lg); 
357         
358             this.el.insert_spaces_instead_of_tabs = true;
359             if (lg.name == "vala") {
360                 this.el.insert_spaces_instead_of_tabs = false;
361             }
362              
363             _this.dirty = false;
364             this.el.grab_focus();
365             _this.save_button.el.sensitive = false;
366         }
367     }
368     public class Xcls_buffer : Object
369     {
370         public Gtk.SourceBuffer el;
371         private Editor  _this;
372
373
374             // my vars (def)
375         public bool check_queued;
376         public int error_line;
377         public bool check_running;
378
379         // ctor
380         public Xcls_buffer(Editor _owner )
381         {
382             _this = _owner;
383             _this.buffer = this;
384             this.el = new Gtk.SourceBuffer( null );
385
386             // my vars (dec)
387             this.check_queued = false;
388             this.error_line = -1;
389             this.check_running = false;
390
391             // set gobject values
392
393             //listeners
394             this.el.changed.connect( () => {
395                 // check syntax??
396                 // ??needed..??
397                 _this.save_button.el.sensitive = true;
398                 print("EDITOR CHANGED");
399                 this.checkSyntax();
400                
401                 _this.dirty = true;
402             
403                 // this.get('/LeftPanel.model').changed(  str , false);
404                 return ;
405             });
406         }
407
408         // user defined functions
409         public bool highlightErrors ( Gee.HashMap<int,string> validate_res) {
410                  
411                 this.error_line = validate_res.size;
412         
413                 if (this.error_line < 1) {
414                       return true;
415                 }
416                 var tlines = this.el.get_line_count ();
417                 Gtk.TextIter iter;
418                 var valiter = validate_res.map_iterator();
419                 while (valiter.next()) {
420                 
421             //        print("get inter\n");
422                     var eline = valiter.get_key();
423                     if (eline > tlines) {
424                         continue;
425                     }
426                     this.el.get_iter_at_line( out iter, eline);
427                     //print("mark line\n");
428                     this.el.create_source_mark(valiter.get_value(), "ERR", iter);
429                 }   
430                 return false;
431             }
432         public   string toString () {
433             
434             Gtk.TextIter s;
435             Gtk.TextIter e;
436             this.el.get_start_iter(out s);
437             this.el.get_end_iter(out e);
438             var ret = this.el.get_text(s,e,true);
439             //print("TO STRING? " + ret);
440             return ret;
441         }
442         public   bool checkSyntax () {
443          
444             if (this.check_running) {
445                 print("Check is running\n");
446                 if (this.check_queued) { 
447                     print("Check is already queued");
448                     return true;
449                 }
450                 this.check_queued = true;
451                 print("Adding queued Check ");
452                 GLib.Timeout.add_seconds(1, () => {
453                     this.check_queued = false;
454                     
455                     this.checkSyntax();
456                     return false;
457                 });
458             
459         
460                 return true;
461             }
462             var str = this.toString();
463             
464             // needed???
465             if (this.error_line > 0) {
466                  Gtk.TextIter start;
467                  Gtk.TextIter end;     
468                 this.el.get_bounds (out start, out end);
469         
470                 this.el.remove_source_marks (start, end, null);
471             }
472             if (str.length < 1) {
473                 print("checkSyntax - empty string?\n");
474                 return true;
475             }
476             
477             if (_this.file.xtype == "PlainFile") {
478             
479                 // assume it's gtk...
480                    this.check_running = true;
481         
482                  if (!_this.window.windowstate.valasource.checkPlainFileSpawn(
483                    _this.file,
484                     str
485                  )) {
486                     this.check_running = false;
487                 }
488                 
489                 return true;
490             
491             }
492            if (_this.file == null) {
493                return true;
494            }
495             var p = Palete.factory(_this.file.xtype);   
496             
497         
498              
499             this.check_running = true;
500             
501             
502             if (_this.file.language == "js") {
503                 this.check_running = false;
504                 print("calling validate javascript\n"); 
505                 return this.highlightErrors(p.validateJavascript(
506                     str, 
507                      _this.key, 
508                     _this.ptype,
509                     _this.file,
510                     _this.node
511                 ));    
512                 
513             }
514                 
515                 
516             print("calling validate vala\n");    
517             // clear the buttons.
518          
519             
520            if (! _this.window.windowstate.valasource.checkFileWithNodePropChange(
521                 _this.file,
522                 _this.node,
523                  _this.key,        
524                  _this.ptype,
525                     str
526                 )) {
527                 this.check_running = false;
528             } 
529              
530             
531             
532             //print("done mark line\n");
533              
534             return true; // at present allow saving - even if it's invalid..
535         }
536         public bool highlightErrorsJson (string type, Json.Object obj) {
537               Gtk.TextIter start;
538              Gtk.TextIter end;     
539                 this.el.get_bounds (out start, out end);
540                 
541                 this.el.remove_source_marks (start, end, type);
542                          
543              
544              // we should highlight other types of errors..
545             
546             if (!obj.has_member(type)) {
547                 print("Return has no errors\n");
548                 return true;
549             }
550             
551             if (_this.window.windowstate.state != WindowState.State.CODEONLY && 
552                 _this.window.windowstate.state != WindowState.State.CODE
553                 ) {
554                 return true;
555             } 
556             
557             
558             var err = obj.get_object_member(type);
559             
560             
561             if (_this.file == null) {
562                 return true;
563             
564             }
565             var valafn = _this.file.path;
566          
567             if (_this.file.xtype != "PlainFile") {
568         
569         
570                 
571                 
572                  valafn = "";
573                   try {             
574                        var  regex = new Regex("\\.bjs$");
575                        // should not happen
576                       
577                      
578                         valafn = regex.replace(_this.file.path,_this.file.path.length , 0 , ".vala");
579                      } catch (GLib.RegexError e) {
580                         return true;
581                     }   
582         
583         
584         
585               }
586                if (!err.has_member(valafn)) {
587                     print("File path has no errors\n");
588                     return  true;
589                 }
590         
591                 var lines = err.get_object_member(valafn);
592                 
593                 var offset = 1;
594                 if (obj.has_member("line_offset")) {
595                     offset = (int)obj.get_int_member("line_offset") + 1;
596                 }
597             
598         
599              
600             
601             var tlines = this.el.get_line_count () +1;
602             
603             lines.foreach_member((obj, line, node) => {
604                 
605                      Gtk.TextIter iter;
606             //        print("get inter\n");
607                     var eline = int.parse(line) - offset;
608                     print("GOT ERROR on line %s -- converted to %d\n", line,eline);
609                     
610                     
611                     if (eline > tlines || eline < 0) {
612                         return;
613                     }
614                     this.el.get_iter_at_line( out iter, eline);
615                     //print("mark line\n");
616                     var msg  = "Line: %d".printf(eline+1);
617                     var ar = lines.get_array_member(line);
618                     for (var i = 0 ; i < ar.get_length(); i++) {
619                             msg += (msg.length > 0) ? "\n" : "";
620                             msg += ar.get_string_element(i);
621                     }
622                     
623                     
624                     this.el.create_source_mark(msg, type, iter);
625                 } );
626                 return false;
627             
628         
629         
630         
631         
632         }
633     }
634
635
636
637 }