graph2D.component.ts 24.8 KB
Newer Older
1
import { Component } from '@angular/core';
Diego Rey's avatar
Diego Rey committed
2
3
import { GHCIService } from '../../../shared/services/ghci.service';
import functionPlot from 'function-plot';
4
import { Animation, toJSON, triggerDownload } from './graph2D.helper';
Diego Rey's avatar
Diego Rey committed
5

6
7
@Component({
    moduleId: module.id,
Diego Rey's avatar
Diego Rey committed
8
9
    selector: 'graph2D-component',
    templateUrl: './graph2D.component.html',
10
    host: {
Diego Rey's avatar
Diego Rey committed
11

12
13
    }
})
Diego Rey's avatar
Diego Rey committed
14
export class Graph2DComponent {
Diego Rey's avatar
Diego Rey committed
15

16
17
    private ghciServiceSub: any;

18
19
    private instance: null;

20
    animation: Animation = {
21
22
23
24
25
26
27
        data: [],
        timer: null,
        currentFrame: 0,
        speed: 1000,
        playing: false,
        init: false
    };
Diego Rey's avatar
Diego Rey committed
28

29
    public constructor(private ghciService: GHCIService) {
30
        this.ghciServiceSub = ghciService.messages.subscribe(
Diego Rey's avatar
Diego Rey committed
31
            canvas => {
32
33
34
35
                // Stop Animation
                if (this.animation.init) {
                    this.stopAnimation();
                }
36
37
38
39
40
41
42
43
44
45
46
47
48
49
                switch(canvas.tipo) { 
                    case 'graph': {
                        var jsonCanvas = JSON.parse(canvas.resultado);
                        let fun = eval(this.generarFuncion(jsonCanvas));
                        var conjs = this.obtenerConjunto(jsonCanvas.funs[0]);
    
                        var d = conjs + "}";
    
                        var obj = JSON.parse(d);
                        //Para las funciones 
                        if (obj.conj.sets.fdom == "function(x)") {
                            var nom = jsonCanvas.funs[0].dom;
                            var elemento = this.recursionfuncion(jsonCanvas.funs[0].sets, nom);
                            obj.conj.sets.fdom = function (x) { return eval(elemento) }
50
                        }
51
52
53
54
                        if (obj.conj.sets.fcod == "function(x)") {
                            var nom = jsonCanvas.funs[0].cod;
                            var elemento = this.recursionfuncion(jsonCanvas.funs[0].sets, nom);
                            obj.conj.sets.fcod = function (x) { return (eval(elemento)) }
55
                        }
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
                        //para Enumerados
                        if (obj.conj.dom == 'Numer') {
                            var cantElementos = obj.conj.sets.fdom.length;
                            var j = 0;
                            for (var fun of obj.conj.sets.fdom) {
                                //var newstr = nuevo2.replace(fun, j); 
                                j = j + 1;
                            }
    
                        }
                        if (obj.conj.cod == 'Numer') {
                            var cantElementos = obj.conj.sets.fcod.length;
                            var j = 0;
                            for (var fun of obj.conj.sets.fcod) {
                                //var newstr = nuevo2.replace(fun, j); 
                                j = j + 1;
                            }
    
                        }
    
                        var colores = ['pink', 'red', 'blue', 'orange', 'green']
                        var num = this.getRandomArbitrary(0, 4);
                        var color = colores[num];
    
                        var tipoGraf;
                        if (obj.conj.baseDom != 'R'){
                            tipoGraf = 'scatter';
                        }else{
                            tipoGraf = 'polyline';
                        }
                        this.instance = functionPlot({
                            target: '#graph2D-container',
                            width: 620,
                            height: 450,
                            conj:obj.conj,
                            data: [{
                                sampler: 'builtIn',
                                fn: function(scope) {
                                  return fun(scope.x)
                                },
                                graphType: tipoGraf,
                                color: color
                            }],
                            plugins: [
                                functionPlot.plugins.zoomBox()
                            ]
                        })
                        break; 
104
                    }
105
                    case 'canvas': {
106
                        var shapesData = JSON.parse(canvas.resultado);
107
                        var shapesDataNormalized = this.normalizeShapesData(shapesData);
108
                        this.instance = null;
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
                        this.instance = functionPlot({
                            target: '#graph2D-container',
                            width: 800,
                            height: 700,
                            xAxis: {
                                label: 'x - axis',
                                scale: 'linear',
                                domain: {
                                    initial: [-10, 10],
                                    type: 'discrete'
                                }
                            },
                            data: shapesDataNormalized,
                            plugins: [
                                functionPlot.plugins.zoomBox()
                            ]
                        })
                        break; 
127
                    }
128
                    case 'animacion': {                        
129
130
131
                        var animationData = canvas.resultado.map(res => JSON.parse(res));
                        for (var frame of animationData) {
                            this.animation.data.push(this.normalizeShapesData(frame));
132
                        }
133
134
                        this.runAnimation();
                        this.animation.init = true;
135
136
                        break; 
                    }
137
                }
Diego Rey's avatar
Diego Rey committed
138
139
            },
            error => {
140
141
142
            }
        )
    }
Diego Rey's avatar
Diego Rey committed
143

144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
    /**
     * Angular lifecycle hook.
     * called after Angular has fully initialized a component's view.
     */
    ngAfterViewInit() {
        if (!this.instance) {
            this.instance = functionPlot({
                target: '#graph2D-container',
                width: 800,
                height: 700,
                xAxis: {
                    label: 'x - axis',
                    scale: 'linear',
                    domain: {
                        initial: [-10, 10],
                        type: 'discrete'
                    }
                },
162
                data: []
163
164
165
166
167
168
169
170
171
172
173
174
175
176
            })
        }
    }

    /**
     * Angular lifecycle hook.
     * called when a directive, pipe, or service is destroyed.
     */
    ngOnDestroy() {
        if (this.ghciServiceSub) {
          this.ghciServiceSub.unsubscribe();
        }
    }

177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
    /**
     * @name updateFrame
     * @desc update data for Function Plot and redraw the graph
     */
    public updateFrame = function(d) {
        if (this.instance) {
            this.instance.options.data = d;
            this.instance.draw();
        } else {
            this.instance = functionPlot({
                target: '#graph2D-container',
                width: 800,
                height: 700,
                xAxis: {
                    label: 'x - axis',
                    scale: 'linear',
                    domain: {
                        initial: [-10, 10],
                        type: 'discrete'
                    }
                },
                data: d,
                plugins: [
                    functionPlot.plugins.zoomBox()
                ]
Diego Rey's avatar
Diego Rey committed
202
            })
203
        }
204
205
        // Update Frame
        this.animation.currentFrame = (this.animation.currentFrame + 1) % this.animation.data.length;
206
207
208
209
210
211
212
213
    }
    /**
     * @name runAnimation
     * @desc Run Shapes Animation
     */
    public runAnimation = function() {
        var $this = this;
        if ($this.animation.timer !== null) return;
214
        $this.updateFrame($this.animation.data[$this.animation.currentFrame]);
215
216
217
218
219
220
221
222
223
224
225
226
227
228
        $this.animation.timer = setInterval(function(){
            $this.updateFrame($this.animation.data[$this.animation.currentFrame]);
        }, $this.animation.speed);
        $this.animation.playing = true;
    }
    /**
     * @name pauseAnimation
     * @desc Pause Shapes Animation
     */
    public pauseAnimation = function() {
        var $this = this;
        clearInterval($this.animation.timer);
        $this.animation.timer = null;
        $this.animation.playing = false;
Diego Rey's avatar
Diego Rey committed
229
    }
230
231
232
233
234
235
236
237
238
239
240
241
242
243
    /**
     * @name stopAnimation
     * @desc Stop Shapes Animation
     */
    public stopAnimation = function() {
        var $this = this;
        clearInterval($this.animation.timer);
        $this.animation.data = [];
        $this.animation.timer = null;
        $this.animation.currentFrame = 0;
        $this.animation.speed = 1000;
        $this.animation.playing = false;
        this.instance.removeAllGraphs();
    }
Diego Rey's avatar
Diego Rey committed
244

245
246
247
248
249
    /**
     * @name zoomOut
     * @desc Zoom Out Button Control
     */
    public zoomOut = function () {
Diego Rey's avatar
Diego Rey committed
250
        this.instance.zoomOut();
251
    }
252
253
254
255
256
    /**
     * @name zoomIn
     * @desc Zoom In Button Control 
     */
    public zoomIn = function () {
Diego Rey's avatar
Diego Rey committed
257
258
        this.instance.zoomIn();
    }
259
260
261
262
263
264
265
266
267
268
269
270
    /**
     * @name recenterPlot
     * @desc center the plot and it returns to the initial state.
     */
    public recenterPlot = function () {
        this.instance.recenter();
    }
    /**
     * @name cleanPlot
     * @desc remove all the graph from the instance.
     */
    public cleanPlot = function () {
271
272
273
274
275
        if (this.animation.playing) {
            this.stopAnimation();
        } else {
            this.instance.removeAllGraphs();
        }
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
    }

    /**
     * @name exportPlot
     * @desc Download Plot as an SVG image.
     */
    public exportPlot = function() {
        // Objects
        var svg = document.querySelector('svg');
        var canvas = document.createElement("canvas");

        // Set dimensions of the image
        var svgSize = svg.getBoundingClientRect();
        canvas.width = svgSize.width;
        canvas.height = svgSize.height;

        // Convert SVG DOM structure to xml
        var ctx = canvas.getContext('2d');
        var data = new XMLSerializer().serializeToString(svg);

        // URL Object used to parse, construct, normalise, and encode URLs.
        var DOMURL = window.URL || (<any>window).webkitURL || window;

        var img = new Image();
        var svgBlob = new Blob([data], { type: 'image/svg+xml;charset=utf-8' });
        var url = DOMURL.createObjectURL(svgBlob);

        img.onload = function () {
            ctx.drawImage(img, 0, 0);
            DOMURL.revokeObjectURL(url);

            var imgURI = canvas
                .toDataURL('image/png')
                .replace('image/png', 'image/octet-stream');

            triggerDownload(imgURI);
        };
        img.src = url;
    }

316

317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
    /**
     * @name normalizeRectData
     * @desc Normalize Rectangle data for Function Plot Library 
     * @param {Object} rectData Data of Rectangle to be normalized
     * @returns {Object}
     */
    public normalizeRectData = function ($rectData) {
        var $rectNormalized:any = {};
        var $shape:any = {};
        $shape.w = $rectData.w;
        $shape.h = $rectData.h;
        $shape.x = $rectData.x;
        $shape.y = $rectData.y;
        $rectData.color && ($shape.fill = $rectData.color);
        $rectData.rot !== 'undefined' && ($shape.rotation = $rectData.rot);

        $rectNormalized.shape = $shape;
        $rectNormalized.graphType = 'shape';
        $rectNormalized.shapeType = 'rect';
    
        return $rectNormalized;
    }
    /**
     * @name normalizeCircleData
     * @desc Normalize Circle data for Function Plot Library 
     * @param {Object} circleData Data of Circle to be normalized
     * @returns {Object}
     */
    public normalizeCircleData = function ($circleData) {
        var $circleNormalized:any = {};
        var $shape:any = {};
        $shape.r = $circleData.r;
        $shape.x = $circleData.x;
        $shape.y = $circleData.y;
        $circleData.color && ($shape.fill = $circleData.color);
        $circleData.rot !== 'undefined' && ($shape.rotation = $circleData.rot);

        $circleNormalized.shape = $shape;
        $circleNormalized.graphType = 'shape';
        $circleNormalized.shapeType = 'circle';
    
        return $circleNormalized;
    }
360
    /**
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
     * @name normalizeTextData
     * @desc Normalize Text data for Function Plot Library 
     * @param {Object} textData Data of Text to be normalized
     * @returns {Object}
     */
    public normalizeTextData = function ($textData) {
        var $textNormalized:any = {};
        var $shape:any = {};
        $shape.text = $textData.text;
        $shape.size = $textData.size;
        $shape.x = $textData.x;
        $shape.y = $textData.y;
        $textData.color && ($shape.fill = $textData.color);
        $textData.rot !== 'undefined' && ($shape.rotation = $textData.rot);

        $textNormalized.shape = $shape;
        $textNormalized.graphType = 'shape';
        $textNormalized.shapeType = 'text';
    
        return $textNormalized;
    }
382
383
384
385
    /**
     * @name normalizeLineData
     * @desc Normalize Line data for Function Plot Library 
     * @param {Object} lineData Data of Line to be normalized
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
     * @returns {Object}
     */
    // public normalizeLineData = function ($lineData) {
    //     var $lineNormalized:any = {};
    //     var $points = []
    //     for (var p of $lineData.pts) {
    //         $points.push([p[0],p[1]]);
    //     }
    //     $lineNormalized.points = $points;
    //     $lineNormalized.color = $lineData.color;
    //     $lineNormalized.rotation = $lineData.rot;
    //     $lineNormalized.fnType = 'points';
    //     $lineNormalized.polylineType = 'line';
    //     $lineNormalized.graphType = 'polyline';
    
    //     return $lineNormalized;
    // }
403
404
405
406
    /**
     * @name normalizePolygonData
     * @desc Normalize Polygon data for Function Plot Library 
     * @param {Object} textData Data of Polygon to be normalized
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
     * @returns {Object}
     */
    // public normalizePolygonData = function ($textData) {
    //     var $PoligonNormalized:any = {};
    //     var $shape:any = {};
    //     $shape.text = $textData.text;
    //     $shape.size = $textData.size;
    //     $shape.x = $textData.x;
    //     $shape.y = $textData.y;
    //     $textData.color && ($shape.fill = $textData.color);
    //     $textData.rot !== 'undefined' && ($shape.rotation = $textData.rot);

    //     $textNormalized.shape = $shape;
    //     $textNormalized.graphType = 'shape';
    //     $textNormalized.shapeType = 'text';
    
    //     return $textNormalized;
    // }
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446

    /**
     * @name normalizeShapesData
     * @desc Normalize Shapes data for Function Plot Library 
     * @param {Array} shapesData Data of Shapes to be normalized 
     * @returns {Array}
     */
    public normalizeShapesData = function (shapesData) {
        var normalized:Array<Object> = [];
        for (var shape of shapesData) {
            switch(shape.kind) { 
                case 'rect': { 
                    normalized.push(this.normalizeRectData(shape)); 
                    break; 
                } 
                case 'circle': { 
                    normalized.push(this.normalizeCircleData(shape)); 
                    break; 
                } 
                case 'text': { 
                    normalized.push(this.normalizeTextData(shape)); 
                    break; 
447
448
449
450
451
452
453
454
455
                }
                // case 'line': { 
                //     normalized.push(this.normalizeLineData(shape)); 
                //     break; 
                // }
                // case 'polygon': { 
                //     normalized.push(this.normalizePolygonData(shape)); 
                //     break; 
                // } 
456
457
458
459
460
            } 
        }
        return normalized;
    }

461
462


Diego Rey's avatar
Diego Rey committed
463
    getRandomArbitrary = function (min, max) {
464
465
        return Math.round(Math.random() * (max - min) + min);
    }
Diego Rey's avatar
Diego Rey committed
466
467
468
469
470
471
472
473
474
475

    generarFuncion = function (graph) {
        var funcionString = '';
        var grafica;
        for (var fun of graph.funs) {
            funcionString = 'var ' + fun.fun + ' = function(' + fun.args.join() + '){\n return ' + this.generarExpresion(fun.bdy) + '}\n' + funcionString;

            if (fun.fun == graph.graph) {
                funcionString += 'return ' + fun.fun + '(' + fun.args.join() + ');\n'
                grafica = fun;
476
477
            }
        }
Diego Rey's avatar
Diego Rey committed
478
479
480
481
        funcionString = '(' + grafica.args.join() + ',delta,hayPunto)=>{\n' + funcionString + '}';

        return funcionString;
    }
482

Diego Rey's avatar
Diego Rey committed
483
    generarExpresion = function (exp) {
484
485
        var expresion = '';
        if (exp.kind == 'cnd') {
Diego Rey's avatar
Diego Rey committed
486
            expresion = ' (' + this.generarExpresion(exp.cond) + '?' + this.generarExpresion(exp.exp1) + ':' + this.generarExpresion(exp.exp2) + ') ';
487
        } else if (exp.kind == 'bop') {
Diego Rey's avatar
Diego Rey committed
488
489
490
491
492
493
494
495
496
            if (exp.op == '==') {
                expresion = ' Math.abs((' + this.generarExpresion(exp.exp1) + ') - (' + this.generarExpresion(exp.exp2) + ')) < delta && hayPunto() ';
            } else if (exp.op == '/=') {
                expresion = ' Math.abs((' + this.generarExpresion(exp.exp1) + ') - (' + this.generarExpresion(exp.exp2) + ')) > delta ||  Math.abs((' + this.generarExpresion(exp.exp1) + ') - (' + this.generarExpresion(exp.exp2) + ')) < delta && !hayPunto()  ';
            } else if (exp.op == '^') {
                expresion = ' Math.pow(' + this.generarExpresion(exp.exp1) + ',' + this.generarExpresion(exp.exp2) + ') ';
            } else {
                expresion = ' (' + this.generarExpresion(exp.exp1) + ')' + exp.op + '(' + this.generarExpresion(exp.exp2) + ') ';
            }
497
        } else if (exp.kind == 'uop') {
Diego Rey's avatar
Diego Rey committed
498
            expresion = ' ' + exp.op + ' ' + this.generarExpresion(exp.exp) + ' ';
499
        } else if (exp.kind == 'app') {
500
501
502
503
504
505
506
507
508
509
			
			if (exp.fun == 'cos') {
				exp.fun = 'Math.cos'
			} else if (exp.fun == 'sin') {
				exp.fun = 'Math.sin'
			} else if (exp.fun == 'round') {
				exp.fun = 'Math.round'
			}
			expresion = ' ' + exp.fun + '(' + exp.args.map(e => this.generarExpresion(e)).join() + ') ';

510
        } else if (exp.kind == 'tup') {
Diego Rey's avatar
Diego Rey committed
511
            expresion = ' (' + exp.exps.map(e => this.generarExpresion(e)).join() + ') ';
512
        } else if (exp.kind == 'lit') {
Diego Rey's avatar
Diego Rey committed
513
            expresion = ' ' + exp.val + ' ';
514
        } else if (exp.kind == 'var') {
Diego Rey's avatar
Diego Rey committed
515
            expresion = ' ' + exp.var + ' ';
516
        } else {
Diego Rey's avatar
Diego Rey committed
517
            expresion = ' undefined ';
518
        }
Diego Rey's avatar
Diego Rey committed
519

520
521
        return expresion;
    }
522

Diego Rey's avatar
Diego Rey committed
523
    //Nuevo 20-07-2018
524
525


Diego Rey's avatar
Diego Rey committed
526
    obtenerConjunto = function (grf) {
527
528

        var setf = '\"sets\": {';
Diego Rey's avatar
Diego Rey committed
529
530
        var dominio = '{\"conj\": {';
        if (grf.dom == 'R') {
531
532
            dominio += "\"radio\": 0.3, \"baseDom\": \"R\", \"dom\": \"R\"";
            setf += "\"fdom\": \"R\",";
Diego Rey's avatar
Diego Rey committed
533
        } else if (grf.dom == 'Z') {
534
535
            dominio += "\"radio\": 2, \"baseDom\": \"Z\", \"dom\": \"Z\"";
            setf += "\"fdom\": \"Z\",";
Diego Rey's avatar
Diego Rey committed
536
        } else if (grf.dom == 'N') {
537
538
            dominio += "\"radio\":2, \"baseDom\": \"N\", \"dom\": \"N\"";
            setf += "\"fdom\": \"N\",";
Diego Rey's avatar
Diego Rey committed
539
        } else {
540
            var nom = grf.dom;
Diego Rey's avatar
Diego Rey committed
541
            if (Array.isArray(grf.sets[0][nom])) {
542
543
                var arreglo = grf.sets[0][nom];
                var arreglo2 = [];
Diego Rey's avatar
Diego Rey committed
544
545
                for (var item of arreglo) {
                    arreglo2.push("\"" + item + "\"");
546
547
548
                }
                dominio += "\"radio\":2, \"baseDom\": \"N\", \"dom\": \"Numer\"";
                setf += "\"fdom\": [" + arreglo2 + "], ";
Diego Rey's avatar
Diego Rey committed
549
550
551
            } else {

                dominio += this.recursivoDom(grf.sets, nom);
552
                setf += "\"fdom\":\"function(x)\",";
Diego Rey's avatar
Diego Rey committed
553
            }
554
        }
Diego Rey's avatar
Diego Rey committed
555
556
        dominio += ", ";
        if (grf.cod == 'R') {
557
558
            dominio += "\"baseCod\": \"R\", \"cod\": \"R\" ,";
            setf += "\"fcod\": \"R\"";
Diego Rey's avatar
Diego Rey committed
559
        } else if (grf.cod == 'Z') {
560
561
            dominio += "\"baseCod\": \"Z\", \"cod\": \"Z\" ,";
            setf += "\"fcod\": \"Z\"";
Diego Rey's avatar
Diego Rey committed
562
        } else if (grf.cod == 'N') {
563
564
            dominio += "\"baseCod\": \"N\", \"cod\": \"N\" ,";
            setf += "\"fcod\": \"N\"";
Diego Rey's avatar
Diego Rey committed
565
        } else {
566
            var nom = grf.cod;
Diego Rey's avatar
Diego Rey committed
567
            if (Array.isArray(grf.sets[0][nom])) {
568
569
                var arreglo = grf.sets[0][nom];
                var arreglo2 = [];
Diego Rey's avatar
Diego Rey committed
570
571
                for (var item of arreglo) {
                    arreglo2.push("\"" + item + "\"");
572
573
                }
                dominio += "\"baseCod\": \"N\", \"cod\": \"Numer\" ,";
Diego Rey's avatar
Diego Rey committed
574
575
576
                setf += '\"fcod\":[' + arreglo2 + ']';
            } else {
                dominio += this.recursivoCod(grf.sets, nom);
577
                setf += "\"fcod\": \"function(x)\"";
Diego Rey's avatar
Diego Rey committed
578
            }
579
580
581
582
        }
        return dominio + setf + "}}";
    }

Diego Rey's avatar
Diego Rey committed
583
    recursionfuncion = function (func, nombre) {
584
585
        var fun = func[0][nombre].set;
        var resul = "";
Diego Rey's avatar
Diego Rey committed
586
587
588
589
590
        if (fun == 'R' || fun == 'Z' || fun == 'N') {
            resul += this.generarF(func[0][nombre].cond);
        } else {
            resul += this.generarF(func[0][nombre].cond) + " && " + this.recursionfuncion(func, fun);

591
592
593
594
        }
        return resul;
    }

Diego Rey's avatar
Diego Rey committed
595
    recursivoDom = function (sets, nom) {
596
        var domin = "";
Diego Rey's avatar
Diego Rey committed
597
        if (sets[0][nom].set == 'R') {
598
            domin += "\"radio\": 0.3, \"baseDom\": \"R\", \"dom\": \"Func\"";
Diego Rey's avatar
Diego Rey committed
599
        } else if (sets[0][nom].set == 'Z') {
600
            domin += "\"radio\": 2, \"baseDom\": \"Z\", \"dom\": \"Func\"";
Diego Rey's avatar
Diego Rey committed
601
        } else if (sets[0][nom].set == 'N') {
602
            domin += "\"radio\": 2, \"baseDom\": \"N\", \"dom\": \"Func\"";
Diego Rey's avatar
Diego Rey committed
603
        } else {
604
            var nombre = sets[0][nom].set;
Diego Rey's avatar
Diego Rey committed
605
            domin = this.recursivoDom(sets, nombre);
606
607
608
609
        }
        return domin;
    }

Diego Rey's avatar
Diego Rey committed
610
611

    recursivoCod = function (sets, nom) {
612
        var coodo = "";
Diego Rey's avatar
Diego Rey committed
613
        if (sets[0][nom].set == 'R') {
614
            coodo += "\"baseCod\": \"R\", \"cod\": \"Func\",";
Diego Rey's avatar
Diego Rey committed
615
        } else if (sets[0][nom].set == 'Z') {
616
            coodo += "\"baseCod\": \"Z\", \"cod\": \"Func\",";
Diego Rey's avatar
Diego Rey committed
617
        } else if (sets[0][nom].set == 'N') {
618
            coodo += "\"baseCod\": \"N\", \"cod\": \"Func\",";
Diego Rey's avatar
Diego Rey committed
619
        } else {
620
            var nombre = sets[0][nom].set;
Diego Rey's avatar
Diego Rey committed
621
            coodo += this.recursivoDom(sets, nombre);
622
623
624
        }
        return coodo;
    }
Diego Rey's avatar
Diego Rey committed
625
626

    generarF = function (exp) {
627
628
        var expresion = '';
        if (exp.kind == 'cond') {
Diego Rey's avatar
Diego Rey committed
629
            expresion = ' (' + this.generarF(exp.cond) + '?' + this.generarF(exp.exp1) + ':' + this.generarF(exp.exp2) + ') ';
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
        } else if (exp.kind == 'bop') {
            if (exp.op == '==') {
                expresion = ' Math.abs((' + this.generarF(exp.exp1) + ') - (' + this.generarF(exp.exp2) + ')) == 0 ';
            } else if (exp.op == '/=') {
                expresion = ' Math.abs((' + this.generarF(exp.exp1) + ') - (' + this.generarF(exp.exp2) + ')) == 0 ||  Math.abs((' + this.generarF(exp.exp1) + ') - (' + this.generarF(exp.exp2) + ')) == 0  ';
            } else if (exp.op == '^') {
                expresion = ' Math.pow(' + this.generarF(exp.exp1) + ',' + this.generarF(exp.exp2) + ') ';
            } else {
                expresion = ' (' + this.generarF(exp.exp1) + ')' + exp.op + '(' + this.generarF(exp.exp2) + ') ';
            }
        } else if (exp.kind == 'uop') {
            expresion = ' ' + exp.op + ' ' + this.generarF(exp.exp) + ' ';
        } else if (exp.kind == 'app') {
            if (exp.fun == 'cos') {
                exp.fun = 'Math.cos'
645
            } else if (exp.fun == 'sin') {
646
647
648
649
650
651
652
653
654
655
                exp.fun = 'Math.sin'
            } else if (exp.fun == 'round') {
                exp.fun = 'Math.round'
            }
            expresion = ' ' + exp.fun + '(' + exp.args.map(e => this.generarF(e)).join() + ') ';
        } else if (exp.kind == 'tup') {
            expresion = ' (' + exp.exps.map(e => this.generarF(e)).join() + ') ';
        } else if (exp.kind == 'lit') {
            expresion = ' ' + exp.val + ' ';
        } else if (exp.kind == 'var') {
Diego Rey's avatar
Diego Rey committed
656
            expresion = ' ' + exp.var + ' ';
657
        } else {
Diego Rey's avatar
Diego Rey committed
658
            expresion = ' undefined ';
659
        }
Diego Rey's avatar
Diego Rey committed
660

661
662
663
        return expresion;
    }

Diego Rey's avatar
Diego Rey committed
664
    generarFun = function (graph) {
665
666
667
668
669
670
671
672
673
674
        var funcionString = '';
        var grafica;
        for (var fun of graph.funs) {
            funcionString = 'var ' + fun.fun + ' = function(' + fun.args.join() + '){\n return ' + this.generarF(fun.bdy) + '}\n' + funcionString;

            if (fun.fun == graph.graph) {
                funcionString += 'return ' + fun.fun + '(' + fun.args.join() + ');\n'
                grafica = fun;
            }
        }
Diego Rey's avatar
Diego Rey committed
675
        funcionString = '(' + grafica.args.join() + ')=>{\n' + funcionString + '}';
676
677
678

        return funcionString;
    }
Diego Rey's avatar
Diego Rey committed
679

680

681

682
683
}