diff --git a/Frontend Angular 4/src/app/layout/matefun/codemirror/addons/hint_words.js b/Frontend Angular 4/src/app/layout/matefun/codemirror/addons/hint_words.js index 0bf43908262d086986c9c90236b3950ebadc90c3..ed01238369048b28b3ed758e8b4888f0d74c1b07 100755 --- a/Frontend Angular 4/src/app/layout/matefun/codemirror/addons/hint_words.js +++ b/Frontend Angular 4/src/app/layout/matefun/codemirror/addons/hint_words.js @@ -1,62 +1,155 @@ // English words var EN_functions = [ - '-', 'round', 'sin', 'cos', 'squareroot', 'rgb', 'rect', 'circ', 'segment', 'poli', 'join', 'color', 'move', 'rotate', 'scale', 'toFig', 'segment3D', 'sphere', 'cylinder', 'cube', 'ring', 'join3D', 'color3D', 'move3D', 'rotate3D', 'scale3D', 'range', 'first', 'rest' -] + "-", + "round", + "sin", + "cos", + "squareroot", + "rgb", + "rect", + "circ", + "segment", + "poli", + "join", + "color", + "move", + "rotate", + "scale", + "toFig", + "segment3D", + "sphere", + "cylinder", + "cube", + "ring", + "join3D", + "color3D", + "move3D", + "rotate3D", + "scale3D", + "range", + "first", + "rest", +]; -var EN_default_sets = [ - 'R', 'Color', 'Fig', 'A', 'Fig3D' -] +var EN_default_sets = ["R", "Color", "Fig", "A", "Fig3D"]; var EN_typed_functions = [ - '- :: R -> R', 'round :: R -> R', 'sin :: R -> R', 'cos :: R -> R', 'squareroot :: R -> R', - 'rgb :: (R X R X R) -> Color', 'rect :: (R X R) -> Fig', 'circ :: R -> Fig', 'segment :: ((R X R) X (R X R)) -> Fig', - 'poli :: (R X R)* -> Fig', 'join :: (Fig X Fig) -> Fig', 'color :: (Fig X Color) -> Fig', 'move :: (Fig X (R X R)) -> Fig', - 'rotate :: (Fig X R) -> Fig', 'scale :: (Fig X R) -> Fig', 'toFig :: A -> Fig', 'segment3D :: ((R X R X R) X (R X R X R)) -> Fig3D', - 'sphere :: R -> Fig3D', 'cylinder :: (R X R X R) -> Fig3D', 'cube :: (R X R X R) -> Fig3D', 'ring :: (R X R X R) -> Fig3D', - 'join3D :: (Fig3D X Fig3D) -> Fig3D', 'color3D :: (Fig3D X Color) -> Fig3D', 'move3D :: (Fig3D X (R X R X R)) -> Fig3D', - 'rotate3D :: (Fig3D X (R X R X R)) -> Fig3D', 'scale3D :: (Fig3D X R) -> Fig3D', 'range :: (R X R X R) -> R*', - 'first :: A* -> A', 'rest :: A* -> A*' -] + "- :: R -> R", + "round :: R -> R", + "sin :: R -> R", + "cos :: R -> R", + "squareroot :: R -> R", + "rgb :: (R X R X R) -> Color", + "rect :: (R X R) -> Fig", + "circ :: R -> Fig", + "segment :: ((R X R) X (R X R)) -> Fig", + "poli :: (R X R)* -> Fig", + "join :: (Fig X Fig) -> Fig", + "color :: (Fig X Color) -> Fig", + "move :: (Fig X (R X R)) -> Fig", + "rotate :: (Fig X R) -> Fig", + "scale :: (Fig X R) -> Fig", + "toFig :: A -> Fig", + "segment3D :: ((R X R X R) X (R X R X R)) -> Fig3D", + "sphere :: R -> Fig3D", + "cylinder :: (R X R X R) -> Fig3D", + "cube :: (R X R X R) -> Fig3D", + "ring :: (R X R X R) -> Fig3D", + "join3D :: (Fig3D X Fig3D) -> Fig3D", + "color3D :: (Fig3D X Color) -> Fig3D", + "move3D :: (Fig3D X (R X R X R)) -> Fig3D", + "rotate3D :: (Fig3D X (R X R X R)) -> Fig3D", + "scale3D :: (Fig3D X R) -> Fig3D", + "range :: (R X R X R) -> R*", + "first :: A* -> A", + "rest :: A* -> A*", +]; // Spanish words var ES_functions = [ - '-', 'red', 'sen', 'cos', 'raizcuad', 'rgb', 'rect', 'circ', 'segmento', 'poli', 'juntar', 'color', 'mover', 'rotar', 'escalar', 'aFig', 'segmento3D', 'esfera', 'cilindro', 'cubo', 'anillo', 'juntar3D', 'color3D', 'mover3D', 'rotar3D', 'escalar3D', 'rango', 'primero', 'resto' -] + "-", + "red", + "sen", + "cos", + "raizcuad", + "rgb", + "rect", + "circ", + "segmento", + "poli", + "juntar", + "color", + "mover", + "rotar", + "escalar", + "aFig", + "segmento3D", + "esfera", + "cilindro", + "cubo", + "anillo", + "juntar3D", + "color3D", + "mover3D", + "rotar3D", + "escalar3D", + "rango", + "primero", + "resto", +]; -var ES_default_sets = [ - 'R', 'Color', 'Fig', 'A', 'Fig3D' -] +var ES_default_sets = ["R", "Color", "Fig", "A", "Fig3D"]; var ES_typed_functions = [ - '- :: R -> R', 'red :: R -> R', 'sen :: R -> R', 'cos :: R -> R', 'raizcuad :: R -> R', - 'rgb :: (R X R X R) -> Color', 'rect :: (R X R) -> Fig', 'circ :: R -> Fig', 'segmento :: ((R X R) X (R X R)) -> Fig', - 'poli :: (R X R)* -> Fig', 'juntar :: (Fig X Fig) -> Fig', 'color :: (Fig X Color) -> Fig', - 'mover :: (Fig X (R X R)) -> Fig', 'rotar :: (Fig X R) -> Fig', 'escalar :: (Fig X R) -> Fig', - 'aFig :: A -> Fig', 'segmento3D :: ((R X R X R) X (R X R X R)) -> Fig3D', 'esfera :: R -> Fig3D', 'cilindro :: (R X R X R) -> Fig3D', - 'cubo :: (R X R X R) -> Fig3D', 'anillo :: (R X R X R) -> Fig3D', 'juntar3D :: (Fig3D X Fig3D) -> Fig3D', - 'color3D :: (Fig3D X Color) -> Fig3D', 'mover3D :: (Fig3D X (R X R X R)) -> Fig3D', - 'rotar3D :: (Fig3D X (R X R X R)) -> Fig3D', 'escalar3D :: (Fig3D X R) -> Fig3D', 'rango :: (R X R X R) -> R*', - 'primero :: A* -> A', 'resto :: A* -> A*' -] + "- :: R -> R", + "red :: R -> R", + "sen :: R -> R", + "cos :: R -> R", + "raizcuad :: R -> R", + "rgb :: (R X R X R) -> Color", + "rect :: (R X R) -> Fig", + "circ :: R -> Fig", + "segmento :: ((R X R) X (R X R)) -> Fig", + "poli :: (R X R)* -> Fig", + "juntar :: (Fig X Fig) -> Fig", + "color :: (Fig X Color) -> Fig", + "mover :: (Fig X (R X R)) -> Fig", + "rotar :: (Fig X R) -> Fig", + "escalar :: (Fig X R) -> Fig", + "aFig :: A -> Fig", + "segmento3D :: ((R X R X R) X (R X R X R)) -> Fig3D", + "esfera :: R -> Fig3D", + "cilindro :: (R X R X R) -> Fig3D", + "cubo :: (R X R X R) -> Fig3D", + "anillo :: (R X R X R) -> Fig3D", + "juntar3D :: (Fig3D X Fig3D) -> Fig3D", + "color3D :: (Fig3D X Color) -> Fig3D", + "mover3D :: (Fig3D X (R X R X R)) -> Fig3D", + "rotar3D :: (Fig3D X (R X R X R)) -> Fig3D", + "escalar3D :: (Fig3D X R) -> Fig3D", + "rango :: (R X R X R) -> R*", + "primero :: A* -> A", + "resto :: A* -> A*", +]; module.exports = { - EN_default_sets: function() { + EN_default_sets: function () { return EN_default_sets; }, - EN_functions: function() { + EN_functions: function () { return EN_functions; }, - EN_typed_functions: function() { + EN_typed_functions: function () { return EN_typed_functions; }, - ES_default_sets: function() { + ES_default_sets: function () { return ES_default_sets; }, - ES_functions: function() { + ES_functions: function () { return ES_functions; }, - ES_typed_functions: function() { + ES_typed_functions: function () { return ES_typed_functions; - } -} + }, +};