crossnox
/
7514-rust-interpreter-in-clojure
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
209 Commits
1 Branch
0 Tags
2.5 MiB
 
 
Tag: Branch: Tree: 42b734d6c9
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '42b734d6c9'
${ noResults }
7514-rust-interpreter-in-cl.../test/rustint/core_test.clj

1087 lines
34 KiB
Raw Blame History

(ns rustint.core-test
(:require [clojure.test :refer :all]
[rustint.core :refer :all]))
(deftest pasar-a-float-test01
(testing "Test 01 pasar-a-float"
(is (= (pasar-a-float 10) 10.0))
)
)
(deftest pasar-a-float-test02
(testing "Test 02 pasar-a-float"
(is (= (pasar-a-float "10") 10.0))
)
)
(deftest pasar-a-float-test03
(testing "Test 03 pasar-a-float"
(is (= (pasar-a-float 10.0) 10.0))
)
)
(deftest pasar-a-float-test04
(testing "Test 04 pasar-a-float"
(is (= (pasar-a-float 'a) 'a))
)
)
(deftest pasar-a-float-test05
(testing "Test 05 pasar-a-float"
(is (= (pasar-a-float [10]) [10]))
)
)
(deftest pasar-a-int-test01
(testing "Test 01 int pasar-a-int"
(is (= (pasar-a-int "10") 10))
)
)
(deftest pasar-a-int-test02
(testing "Test 02 int pasar-a-int"
(is (= (pasar-a-int 10.0) 10))
)
)
(deftest pasar-a-int-test03
(testing "Test 03 int pasar-a-int"
(is (= (pasar-a-int 10) 10))
)
)
(deftest pasar-a-int-test04
(testing "Test 04 int pasar-a-int"
(is (= (pasar-a-int 'a) 'a))
)
)
(deftest pasar-a-int-test05
(testing "Test 05 int pasar-a-int"
(is (= (pasar-a-int [10]) [10]))
)
)
(deftest compatibles-test01
(testing "Test 01 compatibles?"
(is (= (compatibles? 'i64 5) true))
)
)
(deftest compatibles-test02
(testing "Test 02 compatibles?"
(is (= (compatibles? 'i64 5.0) false))
)
)
(deftest compatibles-test03
(testing "Test 03 compatibles?"
(is (= (compatibles? 'i64 [5.0]) true))
)
)
(deftest compatibles-test04
(testing "Test 04 compatibles?"
(is (= (compatibles? 'f64 5.0) true))
)
)
(deftest compatibles-test05
(testing "Test 05 compatibles?"
(is (= (compatibles? 'String "Hola") true))
)
)
(deftest compatibles-test06
(testing "Test 06 compatibles?"
(is (= (compatibles? 'bool true) true))
)
)
(deftest compatibles-test07
(testing "Test 07 compatibles?"
(is (= (compatibles? 'bool 1) false))
)
)
(deftest compatibles-test08
(testing "Test 08 compatibles?"
(is (= (compatibles? 'usize 1) true))
)
)
(deftest compatibles-test09
(testing "Test 09 compatibles?"
(is (= (compatibles? 'char \a) true))
)
)
(deftest compatibles-test10
(testing "Test 10 compatibles?"
(is (= (compatibles? 'char 'a) false))
)
)
(deftest compatibles-test11
(testing "Test 11 compatibles?"
(is (= (compatibles? 'char ['a]) true))
)
)
(deftest dividir-test01
(testing "Test 01 dividir"
(is (= (dividir 12 3) 4))
)
)
(deftest dividir-test02
(testing "Test 02 dividir"
(is (= (dividir 12.0 3) 4.0))
)
)
(deftest dividir-test03
(testing "Test 03 dividir"
(is (= (dividir 12 3.0) 4.0))
)
)
(deftest dividir-test04
(testing "Test 04h dividir"
(is (= (dividir 12.0 3.0) 4.0))
)
)
(deftest dividir-test05
(testing "Test 05 dividir"
(is (= (dividir 1 2) 0))
)
)
(deftest dividir-test06
(testing "Test 06 dividir"
(is (= (dividir 1 2.0) 0.5))
)
)
(deftest dividir-test07
(testing "Test 07 dividir"
(is (= (dividir 1.4 0.7) 2.0))
)
)
(deftest dividir-test08
(testing "Test 08 dividir"
(is (= (dividir 1.75 1.25) 1.4))
)
)
(deftest dividir-test09
(testing "Test 09 dividir"
(is (= (dividir 17.0 8.0) 2.125))
)
)
(deftest identificador-test01
(testing "Test 01 identificador"
(is (= (identificador? 'boolean) true))
)
)
(deftest identificador-test02
(testing "Test 02 identificador"
(is (= (identificador? 'bool) false))
)
)
(deftest identificador-test03
(testing "Test 03 identificador"
(is (= (identificador? 'e120) true))
)
)
(deftest identificador-test04
(testing "Test 04 identificador"
(is (= (identificador? '12e0) false))
)
)
(deftest identificador-test05
(testing "Test 05 identificador"
(is (= (identificador? 'TRES) true))
)
)
(deftest identificador-test06
(testing "Test 06 identificador"
(is (= (identificador? 'es_impar_primo) true))
)
)
(deftest palabra-reservada-test01
(testing "Test 01 palabra reservada"
(is (= (palabra-reservada? 'while) true))
)
)
(deftest palabra-reservada-test02
(testing "Test 02 palabra reservada"
(is (= (palabra-reservada? 'until) false))
)
)
(deftest palabra-reservada-test03
(testing "Test 03 palabra reservada"
(is (= (palabra-reservada? 13) false))
)
)
(deftest dump-01
(testing "Test 01 dump"
(let [
printed (with-out-str (dump '[[POPREF 2] [PUSHFI 2] MUL [PUSHFI 1] ADD NEG]))
]
(is (= printed "0 [POPREF 2]\n1 [PUSHFI 2]\n2 MUL\n3 [PUSHFI 1]\n4 ADD\n5 NEG\n"
))
)
)
)
(deftest dump-01-nil
(testing "Test 01 dump nil"
(is (nil? (dump '[[POPREF 2] [PUSHFI 2] MUL [PUSHFI 1] ADD NEG])))
)
)
(deftest dump-02
(testing "Test 02 dump"
(let [
printed (with-out-str (dump '[HLT]))
]
(is (= printed "0 HLT\n"
))
)
)
)
(deftest dump-02-nil
(testing "Test 02 dump nil"
(is (nil? (dump '[HLT])))
)
)
(deftest dump-03
(testing "Test 03 dump"
(let [
printed (with-out-str (dump nil))
]
(is (= printed "0 nil\n"
))
)
)
)
(deftest dump-03-nil
(testing "Test 03 dump nil"
(is (nil? (dump nil)))
)
)
(deftest convertir-formato-impresion-01
(testing "Test 01 convertir-formato-impresion"
(is (=
(convertir-formato-impresion '("Hola, mundo!"))
'("Hola, mundo!")
)
)
)
)
(deftest convertir-formato-impresion-02
(testing "Test 02 convertir-formato-impresion"
(is (=
(convertir-formato-impresion '("Hola, mundo 2!"))
'("Hola, mundo 2!")
)
)
)
)
(deftest convertir-formato-impresion-03
(testing "Test 03 convertir-formato-impresion"
(is (=
(convertir-formato-impresion '("Hola, mundo {}!" 2))
'("Hola, mundo %d!" 2)
)
)
)
)
(deftest convertir-formato-impresion-04
(testing "Test 04 convertir-formato-impresion"
(is (=
(convertir-formato-impresion '("Hola, mundo {}!" 2.0))
'("Hola, mundo %.0f!" 2.0)
)
)
)
)
(deftest convertir-formato-impresion-05
(testing "Test 05 convertir-formato-impresion"
(is (=
(convertir-formato-impresion '("Hola, mundo {}!" "2"))
'("Hola, mundo %s!" "2")
)
)
)
)
(deftest convertir-formato-impresion-06
(testing "Test 06 convertir-formato-impresion"
(is (=
(convertir-formato-impresion '("Hola, mundo {} {} {}!" 2 2.0 "2"))
'("Hola, mundo %d %.0f %s!" 2 2.0 "2")
)
)
)
)
(deftest convertir-formato-impresion-07
(testing "Test 07 convertir-formato-impresion"
(is (=
(convertir-formato-impresion '("Hola, mundo {:.8}!" 2.0))
'("Hola, mundo %.8f!" 2.0)
)
)
)
)
(deftest convertir-formato-impresion-08
(testing "Test 08 convertir-formato-impresion"
(is (=
(convertir-formato-impresion '("- My name is {}, James {}.\n- Hello, {}{}{}!" "Bond" "Bond" 0 0 7))
'("- My name is %s, James %s.\n- Hello, %d%d%d!" "Bond" "Bond" 0 0 7)
)
)
)
)
(deftest convertir-formato-impresion-09
(testing "Test 09 convertir-formato-impresion"
(is (=
(convertir-formato-impresion '("{} elevado a la {} es\t{}" 2.0 2 4.0))
'("%.0f elevado a la %d es\t%.0f" 2.0 2 4.0)
)
)
)
)
(deftest convertir-formato-impresion-10
(testing "Test 10 convertir-formato-impresion"
(is (=
(convertir-formato-impresion '("Las raices cuadradas de {} son +{:.8} y -{:.8}" 4.0 1.999999999985448 1.999999999985448))
'("Las raices cuadradas de %.0f son +%.8f y -%.8f" 4.0 1.999999999985448 1.999999999985448)
)
)
)
)
(deftest convertir-formato-impresion-11
(testing "Test 11 convertir-formato-impresion"
(is (=
(convertir-formato-impresion '("Hola mundo! {}" ""))
'("Hola mundo! %s" "")
))
)
)
(deftest convertir-formato-impresion-12
(testing "Test 12 convertir-formato-impresion"
(is (=
(convertir-formato-impresion '("{}" ""))
'("%s" "")
))
)
)
(deftest get-rust-formatters-01
(testing "Test 01 get-rust-formatters"
(is (=
(get-rust-formatters "Hola, Mundo!")
'()
)
)
)
)
(deftest get-rust-formatters-02
(testing "Test 02 get-rust-formatters"
(is (=
(get-rust-formatters "- My name is {}, James {}.\n- Hello, {}{}{}!")
'(nil nil nil nil nil)
)
)
)
)
(deftest get-rust-formatters-03
(testing "Test 03 get-rust-formatters"
(is (=
(get-rust-formatters "{} elevado a la {} es\t{}")
'(nil nil nil)
)
)
)
)
(deftest get-rust-formatters-04
(testing "Test 04 get-rust-formatters"
(is (=
(get-rust-formatters "Las raices cuadradas de {} son +{:.8} y -{:.8}")
'(nil ".8" ".8")
)
)
)
)
(deftest test-especificador-formato-01
(testing "Test 01 especificador formato"
(is (=
(especificador-formato "Bond" nil)
"%s"
)
)
)
)
(deftest test-especificador-formato-02
(testing "Test 02 especificador formato"
(is (=
(especificador-formato 0 nil)
"%d"
)
)
)
)
(deftest test-especificador-formato-03
(testing "Test 03 especificador formato"
(is (=
(especificador-formato 2.0 nil)
"%.0f"
)
)
)
)
(deftest test-especificador-formato-04
(testing "Test 04 especificador formato"
(is (=
(especificador-formato 2.0 ".4")
"%.4f"
)
)
)
)
(deftest test-especificador-formato-05
(testing "Test 05 especificador formato"
(is (=
(especificador-formato 2.0 ".8")
"%.8f"
)
)
)
)
(deftest test-especificador-formato-06
(testing "Test 06 especificador formato"
(is (=
(especificador-formato 2.1 nil)
"%f"
)
)
)
)
(deftest test-listar-01
(testing "Test 01 listar"
(let [
printed (with-out-str (listar (list 'fn 'main (symbol "(") (symbol ")") (symbol "{") 'println! (symbol "(") "Hola, mundo!" (symbol ")") (symbol "}"))))
]
(is (=
printed
"fn main ( )\n{\n println! ( \"Hola, mundo!\" )\n}"
)
)
)
)
)
(deftest test-ya-declarado-localmente-01
(testing "Test 01 ya-declarado-localmente?"
(is (= (ya-declarado-localmente?
'Write
[
[0]
[
['io ['lib '()] 0]
['Write ['lib '()] 0]
['entero_a_hexa ['fn [(list ['n (symbol ":") 'i64]) 'String]] 2]
]
]
) true))
)
)
(deftest test-ya-declarado-localmente-02
(testing "Test 02 ya-declarado-localmente?"
(is (= (ya-declarado-localmente?
'Read
[
[0]
[
['io ['lib '()] 0]
['Write ['lib '()] 0]
['entero_a_hexa ['fn [(list ['n (symbol ":") 'i64]) 'String]] 2]
]
]
)
false))
)
)
(deftest test-ya-declarado-localmente-03
(testing "Test 03 ya-declarado-localmente?"
(is (= (ya-declarado-localmente?
'Write
[
[0 1]
[
['io ['lib '()] 0]
['Write ['lib '()] 0]
['entero_a_hexa ['fn [(list ['n (symbol ":") 'i64]) 'String]] 2]
]
]
)
true))
)
)
(deftest test-ya-declarado-localmente-04
(testing "Test 04 ya-declarado-localmente?"
(is (= (ya-declarado-localmente?
'Write
[
[0 2]
[
['io ['lib '()] 0]
['Write ['lib '()] 0]
['entero_a_hexa ['fn [(list ['n (symbol ":") 'i64]) 'String]] 2]
]
]
)
false))
)
)
(deftest test-buscar-tipo-de-retorno-01
(testing "Test 01 buscar-tipo-de-retorno"
(is (=
(buscar-tipo-de-retorno [
(symbol ";")
(list 'println! (symbol "(") "La suma de 5 mas 7 es {}" (symbol ",") 'suma (symbol "(") 5 (symbol ",") 7 (symbol ")") (symbol ")") (symbol ";") (symbol "}"))
['fn 'suma (symbol "(") 'x (symbol ":") 'i64 (symbol ",") 'y (symbol ":") 'i64 (symbol ")") (symbol "->") 'i64 (symbol "{") 'x '+ 'y (symbol "}") 'fn 'main (symbol "(") (symbol ")") (symbol "{") 'suma (symbol "(") 5 (symbol ",") 7 (symbol ")")]
:sin-errores
[
[0 2]
[
['suma ['fn [(list ['x (symbol ":") 'i64] ['y (symbol ":") 'i64]) 'i64]] 2]
['main ['fn [() ()]] 8]
]
]
0
[['CAL 8] 'HLT ['POPARG 1] ['POPARG 0] ['PUSHFM 0] ['PUSHFM 1] 'ADD 'RET ['PUSHFI 5] ['PUSHFI 7] ['CAL 2]]
[[2 ['i64 nil] ['i64 nil]] [8]]
]
2
)
'i64
)
)
)
)
(deftest test-buscar-tipo-de-retorno-02
(testing "Test 02 buscar-tipo-de-retorno"
(is (=
(buscar-tipo-de-retorno [
(symbol ";")
(list 'println! (symbol "(") "La suma de 5 mas 7 es {}" (symbol ",") 'suma (symbol "(") 5 (symbol ",") 7 (symbol ")") (symbol ")") (symbol ";") (symbol "}"))
['fn 'suma (symbol "(") 'x (symbol ":") 'i64 (symbol ",") 'y (symbol ":") 'i64 (symbol ")") (symbol "->") 'i64 (symbol "{") 'x '+ 'y (symbol "}") 'fn 'main (symbol "(") (symbol ")") (symbol "{") 'suma (symbol "(") 5 (symbol ",") 7 (symbol ")")]
:sin-errores
[
[0 2]
[
['suma ['fn [(list ['x (symbol ":") 'i64] ['y (symbol ":") 'i64]) 'i64]] 2]
['main ['fn [() ()]] 8]
]
]
0
[['CAL 8] 'HLT ['POPARG 1] ['POPARG 0] ['PUSHFM 0] ['PUSHFM 1] 'ADD 'RET ['PUSHFI 5] ['PUSHFI 7] ['CAL 2]]
[[2 ['i64 nil] ['i64 nil]] [8]]
]
8
)
'()
)
)
)
)
(deftest test-buscar-tipo-de-retorno-03
(testing "Test 03 buscar-tipo-de-retorno"
(is (=
(buscar-tipo-de-retorno [
(symbol ";")
(list 'println! (symbol "(") "La suma de 5 mas 7 es {}" (symbol ",") 'suma (symbol "(") 5 (symbol ",") 7 (symbol ")") (symbol ")") (symbol ";") (symbol "}"))
['fn 'suma (symbol "(") 'x (symbol ":") 'i64 (symbol ",") 'y (symbol ":") 'i64 (symbol ")") (symbol "->") 'i64 (symbol "{") 'x '+ 'y (symbol "}") 'fn 'main (symbol "(") (symbol ")") (symbol "{") 'suma (symbol "(") 5 (symbol ",") 7 (symbol ")")]
:sin-errores
[
[0 2]
[
['suma ['fn [(list ['x (symbol ":") 'i64] ['y (symbol ":") 'i64]) 'i64]] 2]
['main ['fn [() ()]] 8]
]
]
0
[['CAL 8] 'HLT ['POPARG 1] ['POPARG 0] ['PUSHFM 0] ['PUSHFM 1] 'ADD 'RET ['PUSHFI 5] ['PUSHFI 7] ['CAL 2]]
[[2 ['i64 nil] ['i64 nil]] [8]]
]
1
)
nil
)
)
)
)
(deftest test-buscar-tipo-de-retorno-04
(testing "Test 04 buscar-tipo-de-retorno"
(is (=
(buscar-tipo-de-retorno [
nil,
nil,
nil,
nil,
[
nil,
[
['io ['lib '()] 0]
['Write ['lib '()] 0]
['process ['lib '()] 0]
['dividir ['fn ['(['x (symbol ":") 'i64] ['y (symbol ":") 'i64] ['q (symbol ":") '& 'mut 'i64] ['r (symbol ":") '& 'mut 'i64]) '()]] 2]
['mostrar_salida ['fn ['(['cociente (symbol ":") 'i64] ['resto (symbol ":") 'i64]) '()]] 92]
['main ['fn ['() '()]] 105]
['renglon ['var-mut 'String] 0]
['x ['var-inmut 'i64] 1]
['y ['var-inmut 'i64] 2]
['q ['var-mut 'i64] 3]
['r ['var-mut 'i64] 4]
]
],
nil,
nil,
nil
] 2)
'()
))
)
)
(deftest test-cargar-const-en-tabla-01
(testing "Test 01 cargar-const-en-tabla"
(is (=
(cargar-const-en-tabla [
(symbol ";") ; simb-actual
(list 'fn 'main (symbol "(") (symbol ")") (symbol "{") 'println! (symbol "(") "{}" (symbol ",") 'TRES (symbol ")") (symbol "}")) ; simb-no-parseados-aun
['use 'std (symbol "::") 'io (symbol ";") 'const 'TRES (symbol ":") 'i64 (symbol "=") 3] ; simb-ya-parseados
8 ; estado
[[0] [['io ['lib '()] 0]]] ; contexto
0 ; prox-var
[['CAL 0] 'HLT] ; bytecode
[] ; mapa-regs-de-act
])
[
(symbol ";")
(list 'fn 'main (symbol "(") (symbol ")") (symbol "{") 'println! (symbol "(") "{}" (symbol ",") 'TRES (symbol ")") (symbol "}"))
['use 'std (symbol "::") 'io (symbol ";") 'const 'TRES (symbol ":") 'i64 (symbol "=") 3]
8
[[0] [['io ['lib '()] 0]]]
0
[['CAL 0] 'HLT]
[]
]
)
)
)
)
(deftest test-cargar-const-en-tabla-02
(testing "Test 02 cargar-const-en-tabla"
(is (=
(cargar-const-en-tabla [
(symbol ";")
(list 'fn 'main (symbol "(") (symbol ")") (symbol "{") 'println! (symbol "(") "{}" (symbol ",") 'TRES (symbol ")") (symbol "}"))
['use 'std (symbol "::") 'io (symbol ";") 'const 'TRES (symbol ":") 'i64 (symbol "=") 3]
:sin-errores
[[0] [
['io ['lib '()] 0]
]
]
0
[['CAL 0] 'HLT]
[]
]
)
[
(symbol ";")
(list 'fn 'main (symbol "(") (symbol ")") (symbol "{") 'println! (symbol "(") "{}" (symbol ",") 'TRES (symbol ")") (symbol "}"))
['use 'std (symbol "::") 'io (symbol ";") 'const 'TRES (symbol ":") 'i64 (symbol "=") 3]
:sin-errores
[[0] [
['io ['lib '()] 0]
['TRES ['const 'i64] 3]
]
]
0
[['CAL 0] 'HLT]
[]
]
)
)
)
)
(deftest test-inicializar-contexto-local-01
(testing "Test 01 inicializar-contexto-local"
(is (=
(inicializar-contexto-local
[
(symbol "{")
(list 'let 'x (symbol ":") 'i64 (symbol "=") 10 (symbol ";") 'println! (symbol "(") "{}" (symbol ",") 'x (symbol ")") (symbol "}"))
['fn 'main (symbol "(") (symbol ")")]
8
[[0] [['main ['fn [() ()]] 2]]]
0
[['CAL 2] 'HLT]
[]
]
)
[
(symbol "{")
(list 'let 'x (symbol ":") 'i64 (symbol "=") 10 (symbol ";") 'println! (symbol "(") "{}" (symbol ",") 'x (symbol ")") (symbol "}"))
['fn 'main (symbol "(") (symbol ")")]
8
[[0] [['main ['fn [() ()]] 2]]]
0
[['CAL 2] 'HLT]
[]
]
))
)
)
(deftest test-inicializar-contexto-local-02
(testing "Test 02 inicializar-contexto-local"
(is (=
(inicializar-contexto-local
[
(symbol "{")
(list 'let 'x (symbol ":") 'i64 (symbol "=") 10 (symbol ";") 'println! (symbol "(") "{}" (symbol ",") 'x (symbol ")") (symbol "}"))
['fn 'main (symbol "(") (symbol ")")]
:sin-errores
[[0] [['main ['fn [() ()]] 2]]]
0
[['CAL 2] 'HLT]
[]
]
)
[
(symbol "{")
(list 'let 'x (symbol ":") 'i64 (symbol "=") 10 (symbol ";") 'println! (symbol "(") "{}" (symbol ",") 'x (symbol ")") (symbol "}"))
['fn 'main (symbol "(") (symbol ")")]
:sin-errores
[[0 1] [['main ['fn [() ()]] 2]]]
0
[['CAL 2] 'HLT]
[]
]
)
)
)
)
(deftest test-restaurar-contexto-anterior-01
(testing "Test 01 restaurar-contexto-anterior"
(is (=
(restaurar-contexto-anterior
[
'EOF
()
['fn 'main (symbol "(") (symbol ")") (symbol "{") 'let 'x (symbol ":") 'i64 (symbol "=") 10 (symbol ";") 'let 'y (symbol ":") 'i64 (symbol "=") 20 (symbol ";") 'println! (symbol "(") "{}" (symbol ",") 'x '+ 'y (symbol ")") (symbol "}")]
8
[[0 1] [['main ['fn [() ()]] 2] ['x ['var-inmut 'i64] 0] ['y ['var-inmut 'i64] 1]]]
2
[['CAL 2] 'HLT ['PUSHFI 10] ['POP 0] ['PUSHFI 20] ['POP 1] ['PUSHFI "{}"] ['PUSHFM 0] ['PUSHFM 1] 'ADD ['PUSHFI 2] 'OUT 'NL]
[[2 ['i64 nil] ['i64 nil]]]
]
)
[
'EOF
()
['fn 'main (symbol "(") (symbol ")") (symbol "{") 'let 'x (symbol ":") 'i64 (symbol "=") 10 (symbol ";") 'let 'y (symbol ":") 'i64 (symbol "=") 20 (symbol ";") 'println! (symbol "(") "{}" (symbol ",") 'x '+ 'y (symbol ")") (symbol "}")]
8
[[0 1] [['main ['fn [() ()]] 2] ['x ['var-inmut 'i64] 0] ['y ['var-inmut 'i64] 1]]]
2
[['CAL 2] 'HLT ['PUSHFI 10] ['POP 0] ['PUSHFI 20] ['POP 1] ['PUSHFI "{}"] ['PUSHFM 0] ['PUSHFM 1] 'ADD ['PUSHFI 2] 'OUT 'NL]
[[2 ['i64 nil] ['i64 nil]]]
]
))
)
)
(deftest test-restaurar-contexto-anterior-02
(testing "Test 02 restaurar-contexto-anterior"
(is (=
(restaurar-contexto-anterior
[
'EOF
()
['fn 'main (symbol "(") (symbol ")") (symbol "{") 'let 'x (symbol ":") 'i64 (symbol "=") 10 (symbol ";") 'let 'y (symbol ":") 'i64 (symbol "=") 20 (symbol ";") 'println! (symbol "(") "{}" (symbol ",") 'x '+ 'y (symbol ")") (symbol "}")]
:sin-errores
[[0 1] [['main ['fn [() ()]] 2] ['x ['var-inmut 'i64] 0] ['y ['var-inmut 'i64] 1]]]
2
[['CAL 2] 'HLT ['PUSHFI 10] ['POP 0] ['PUSHFI 20] ['POP 1] ['PUSHFI "{}"] ['PUSHFM 0] ['PUSHFM 1] 'ADD ['PUSHFI 2] 'OUT 'NL]
[[2 ['i64 nil] ['i64 nil]]]
]
)
[
'EOF
()
['fn 'main (symbol "(") (symbol ")") (symbol "{") 'let 'x (symbol ":") 'i64 (symbol "=") 10 (symbol ";") 'let 'y (symbol ":") 'i64 (symbol "=") 20 (symbol ";") 'println! (symbol "(") "{}" (symbol ",") 'x '+ 'y (symbol ")") (symbol "}")]
:sin-errores
[[0] [['main ['fn [() ()]] 2]]]
2
[['CAL 2] 'HLT ['PUSHFI 10] ['POP 0] ['PUSHFI 20] ['POP 1] ['PUSHFI "{}"] ['PUSHFM 0] ['PUSHFM 1] 'ADD ['PUSHFI 2] 'OUT 'NL]
[[2 ['i64 nil] ['i64 nil]]]
]
))
)
)
(deftest test-cargar-en-reg-dest-01
(testing "Test 01 cargar-en-reg-dest"
(is (=
(cargar-en-reg-dest [[['String "2"] ['i64 6] ['i64 2] ['i64 2] ['i64 2]] [['i64 6] ['i64 2] ['i64 [0 3]] ['i64 [0 4]] ['i64 2] ['i64 2]]] [0 4] 'i64 0)
[[['String "2"] ['i64 6] ['i64 2] ['i64 2] ['i64 0]] [['i64 6] ['i64 2] ['i64 [0 3]] ['i64 [0 4]] ['i64 2] ['i64 2]]]
))
)
)
(deftest test-cargar-en-reg-dest-02
(testing "Test 02 cargar-en-reg-dest"
(is (=
(cargar-en-reg-dest [[['String "2"] ['i64 6] ['i64 2] ['i64 2] ['i64 0]] [['i64 6] ['i64 2] ['i64 [0 3]] ['i64 [0 4]] ['i64 2] ['i64 2]]] [0 3] 'f64 3)
[[['String "2"] ['i64 6] ['i64 2] ['f64 3] ['i64 0]] [['i64 6] ['i64 2] ['i64 [0 3]] ['i64 [0 4]] ['i64 2] ['i64 2]]]
))
)
)
(deftest test-cargar-en-ult-reg-01
(testing "Test 01 cargar-en-ult-reg"
(is (=
(cargar-en-ult-reg [[['String "2"] ['i64 6] ['i64 2] ['i64 3] ['i64 0]] [['i64 nil] ['i64 nil]]] 1 'i64 0)
[[['String "2"] ['i64 6] ['i64 2] ['i64 3] ['i64 0]] [['i64 nil] ['i64 0]]]
))
)
)
(deftest test-cargar-en-ult-reg-02
(testing "Test 02 cargar-en-ult-reg"
(is (=
(cargar-en-ult-reg [[['String "2"] ['i64 6] ['i64 2] ['i64 3] ['i64 0]] [['i64 nil] ['i64 0]]] 0 'f64 3)
[[['String "2"] ['i64 6] ['i64 2] ['i64 3] ['i64 0]] [['f64 3] ['i64 0]]]
))
)
)
(deftest test-fixup-01
(testing "Test 01 fixup"
(is (=
(fixup [
(symbol "{")
(list 'x '= 20 (symbol ";") (symbol "}") (symbol ";") 'println! (symbol "(") "{}" (symbol ",") 'x (symbol ")") (symbol "}"))
['fn 'main (symbol "(") (symbol ")") (symbol "{") 'let 'x (symbol ":") 'i64 (symbol ";") 'if false (symbol "{") 'x '= 10 (symbol ";") (symbol "}") 'else]
8
[[0 1 2] [['main ['fn [() ()]] 2] ['x ['var-inmut 'i64] 0]]]
1
[['CAL 2] 'HLT ['PUSHFI false] ['JC 5] ['JMP '?] ['PUSHFI 10] ['POP 0] ['JMP '?]]
[[2 ['i64 nil]]]
] 4)
[
(symbol "{")
(list 'x '= 20 (symbol ";") (symbol "}") (symbol ";") 'println! (symbol "(") "{}" (symbol ",") 'x (symbol ")") (symbol "}"))
['fn 'main (symbol "(") (symbol ")") (symbol "{") 'let 'x (symbol ":") 'i64 (symbol ";") 'if false (symbol "{") 'x '= 10 (symbol ";") (symbol "}") 'else]
8
[[0 1 2] [['main ['fn [() ()]] 2] ['x ['var-inmut 'i64] 0]]]
1
[['CAL 2] 'HLT ['PUSHFI false] ['JC 5] ['JMP '?] ['PUSHFI 10] ['POP 0] ['JMP '?]]
[[2 ['i64 nil]]]
]
))
)
)
(deftest test-fixup-02
(testing "Test 02 fixup"
(is (=
(fixup [
(symbol "{")
(list 'x '= 20 (symbol ";") (symbol "}") (symbol ";") 'println! (symbol "(") "{}" (symbol ",") 'x (symbol ")") (symbol "}"))
['fn 'main (symbol "(") (symbol ")") (symbol "{") 'let 'x (symbol ":") 'i64 (symbol ";") 'if false (symbol "{") 'x '= 10 (symbol ";") (symbol "}") 'else]
:sin-errores
[[0 1 2] [['main ['fn [() ()]] 2] ['x ['var-inmut 'i64] 0]]]
1
[['CAL 2] 'HLT ['PUSHFI false] ['JC 5] ['JMP '?] ['PUSHFI 10] ['POP 0] ['JMP '?]]
[[2 ['i64 nil]]]
] 4)
[
(symbol "{")
(list 'x '= 20 (symbol ";") (symbol "}") (symbol ";") 'println! (symbol "(") "{}" (symbol ",") 'x (symbol ")") (symbol "}"))
['fn 'main (symbol "(") (symbol ")") (symbol "{") 'let 'x (symbol ":") 'i64 (symbol ";") 'if false (symbol "{") 'x '= 10 (symbol ";") (symbol "}") 'else]
:sin-errores
[[0 1 2] [['main ['fn [() ()]] 2] ['x ['var-inmut 'i64] 0]]]
1
[['CAL 2] 'HLT ['PUSHFI false] ['JC 5] ['JMP 8] ['PUSHFI 10] ['POP 0] ['JMP '?]]
[[2 ['i64 nil]]]
]
))
)
)
(deftest test-generar-ref-01
(testing "Test 01 generar ref"
(is (=
(generar-ref [
(symbol ")")
(list (symbol ";") 'println! (symbol "(") "{}" (symbol ",") 'v (symbol ")") (symbol ";") (symbol "}"))
['fn 'inc (symbol "(") 'v (symbol ":") (symbol "&") 'mut 'i64 (symbol ")") (symbol "{") '* 'v (symbol "+=") 1 (symbol ";") (symbol "}") 'fn 'main (symbol "(") (symbol ")") (symbol "{") 'let 'mut 'v (symbol ":") 'i64 (symbol "=") 5 (symbol ";") 'inc (symbol "(") (symbol "&") 'mut 'v]
8
[[0 2] [['inc ['fn [(list ['v (symbol ":") (symbol "&") 'mut 'i64]) ()]] 2] ['main ['fn [() ()]] 6] ['v ['var-mut 'i64] 0]]]
1
[['CAL 6] 'HLT ['POPARG 0] ['PUSHFI 1] ['POPADDREF 0] 'RETN ['PUSHFI 5] ['POP 0]]
[[2 ['i64 nil]] [6 ['i64 nil]]]
])
[
(symbol")")
(list (symbol ";") 'println! (symbol"(") "{}" (symbol ",") 'v (symbol ")") (symbol ";") (symbol "}"))
['fn 'inc (symbol "(") 'v (symbol ":") (symbol "&") 'mut 'i64 (symbol ")") (symbol "{") '* 'v (symbol "+=") 1 (symbol ";") (symbol "}") 'fn 'main (symbol "(") (symbol ")") (symbol "{") 'let 'mut 'v (symbol ":") 'i64 (symbol "=") 5 (symbol ";") 'inc (symbol "(") (symbol "&") 'mut 'v]
8
[[0 2] [['inc ['fn [(list ['v (symbol ":") (symbol "&") 'mut 'i64]) ()]] 2] ['main ['fn [() ()]] 6] ['v ['var-mut 'i64] 0]]]
1
[['CAL 6] 'HLT ['POPARG 0] ['PUSHFI 1] ['POPADDREF 0] 'RETN ['PUSHFI 5] ['POP 0]]
[[2 ['i64 nil]] [6 ['i64 nil]]]
]
))
)
)
(deftest test-generar-ref-02
(testing "Test 02 generar ref"
(is (=
(generar-ref
[
(symbol ")")
(list (symbol ";") 'println! (symbol "(") "{}" (symbol ",") 'v (symbol ")") (symbol ";") (symbol "}"))
['fn 'inc (symbol "(") 'v (symbol ":") (symbol "&") 'mut 'i64 (symbol ")") (symbol "{") '* 'v (symbol "+=") 1 (symbol ";") (symbol "}") 'fn 'main (symbol "(") (symbol ")") (symbol "{") 'let 'mut 'v (symbol ":") 'i64 (symbol "=") 5 (symbol ";") 'inc (symbol "(") (symbol "&") 'mut 'v]
:sin-errores
[[0 2] [['inc ['fn [(list ['v (symbol ":") (symbol "&") 'mut 'i64]) ()]] 2] ['main ['fn [() ()]] 6] ['v ['var-mut 'i64] 0]]]
1
[['CAL 6] 'HLT ['POPARG 0] ['PUSHFI 1] ['POPADDREF 0] 'RETN ['PUSHFI 5] ['POP 0]]
[[2 ['i64 nil]] [6 ['i64 nil]]]
]
)
[
(symbol ")")
(list (symbol ";") 'println! (symbol "(") "{}" (symbol ",") 'v (symbol ")") (symbol ";") (symbol "}"))
['fn 'inc (symbol "(") 'v (symbol ":") (symbol "&") 'mut 'i64 (symbol ")") (symbol "{") '* 'v (symbol "+=") 1 (symbol ";") (symbol "}") 'fn 'main (symbol "(") (symbol ")") (symbol "{") 'let 'mut 'v (symbol ":") 'i64 (symbol "=") 5 (symbol ";") 'inc (symbol "(") (symbol "&") 'mut 'v]
:sin-errores
[[0 2] [['inc ['fn [(list ['v (symbol ":") (symbol "&") 'mut 'i64]) ()]] 2] ['main ['fn [() ()]] 6] ['v ['var-mut 'i64] 0]]]
1
[['CAL 6] 'HLT ['POPARG 0] ['PUSHFI 1] ['POPADDREF 0] 'RETN ['PUSHFI 5] ['POP 0] ['PUSHADDR 0]]
[[2 ['i64 nil]] [6 ['i64 nil]]]
]
))
)
)
(deftest test-agregar-ptocoma-01
(testing "Test 01 agregar-ptocoma"
(is (=
(agregar-ptocoma
(list 'fn 'main (symbol "(") (symbol ")") (symbol "{") 'if 'x '< '0 (symbol "{") 'x '= '- 'x (symbol ";") (symbol "}") 'renglon '= 'x (symbol ";") 'if 'z '< '0 (symbol "{") 'z '= '- 'z (symbol ";") (symbol "}") (symbol "}") 'fn 'foo (symbol "(") (symbol ")") (symbol "{") 'if 'y '> '0 (symbol "{") 'y '= '- 'y (symbol ";") (symbol "}") 'else (symbol "{") 'x '= '- 'y (symbol ";") (symbol "}") (symbol "}"))
)
(list 'fn 'main (symbol "(") (symbol ")") (symbol "{") 'if 'x '< '0 (symbol "{") 'x '= '- 'x (symbol ";") (symbol "}") (symbol ";") 'renglon '= 'x (symbol ";") 'if 'z '< '0 (symbol "{") 'z '= '- 'z (symbol ";") (symbol "}") (symbol "}") 'fn 'foo (symbol "(") (symbol ")") (symbol "{") 'if 'y '> '0 (symbol "{") 'y '= '- 'y (symbol ";") (symbol "}") 'else (symbol "{") 'x '= '- 'y (symbol ";") (symbol "}") (symbol "}"))
))
)
)
(deftest test-agregar-ptocoma-main01
(testing "Test main 01 agregar-ptocoma"
(is (=
(agregar-ptocoma
(list 'fn 'main (symbol "(") (symbol ")") (symbol "{") 'println! (symbol "(") "- Hola, mundo!" (symbol ")") (symbol ";") 'print! (symbol "(") "- My name is {}, James {}. '- Hello, {}{}{}!" (symbol ",") "Bond" (symbol ",") "Bond" (symbol ",") '- '2 '+ '2 (symbol ",") '0 (symbol ",") '3 '+ '2 '* '2 (symbol ")") (symbol ";") 'println! (symbol "(") (symbol ")") (symbol ";") 'println! (symbol "(") "- Hasta la vista, Baby! I'll be back..." (symbol ")") (symbol ";") 'println! (symbol "(") "{}" (symbol ",") 'if 'true (symbol "{") "- Lo dudo! Bye!" (symbol "}") 'else (symbol "{") "- Obviamente!" (symbol "}") (symbol ")") (symbol "}"))
)
(list 'fn 'main (symbol "(") (symbol ")") (symbol "{") 'println! (symbol "(") "- Hola, mundo!" (symbol ")") (symbol ";") 'print! (symbol "(") "- My name is {}, James {}. '- Hello, {}{}{}!" (symbol ",") "Bond" (symbol ",") "Bond" (symbol ",") '- '2 '+ '2 (symbol ",") '0 (symbol ",") '3 '+ '2 '* '2 (symbol ")") (symbol ";") 'println! (symbol "(") (symbol ")") (symbol ";") 'println! (symbol "(") "- Hasta la vista, Baby! I'll be back..." (symbol ")") (symbol ";") 'println! (symbol "(") "{}" (symbol ",") 'if 'true (symbol "{") "- Lo dudo! Bye!" (symbol "}") 'else (symbol "{") "- Obviamente!" (symbol "}") (symbol ")") (symbol "}"))
))
)
)
(deftest test-agregar-ptocoma-02
(testing "Test main 02 agregar-ptocoma"
(is (=
(agregar-ptocoma
(list 'fn 'main (symbol "(") (symbol ")") (symbol "{") 'if 'x '< '0 (symbol "{") 'x '= '- 'x (symbol ";") 'x_cambio '= 'true (symbol ";") (symbol "}") 'print! (symbol "(") "y: " (symbol ")") (symbol ";") (symbol "}") )
)
(list 'fn 'main (symbol "(") (symbol ")") (symbol "{") 'if 'x '< '0 (symbol "{") 'x '= '- 'x (symbol ";") 'x_cambio '= 'true (symbol ";") (symbol "}") (symbol ";") 'print! (symbol "(") "y: " (symbol ")") (symbol ";") (symbol "}") )
))
)
)
(deftest test-agregar-ptocoma-03
(testing "Test main 03 agregar-ptocoma"
(is (=
(agregar-ptocoma
(list 'fn 'main (symbol "(") (symbol ")") (symbol "{") 'if 'x '< '0 (symbol "{") 'x '= '- 'x (symbol ";") 'x_cambio '= 'true (symbol ";") (symbol "}") 'print! (symbol "(") "y:_" (symbol ")") (symbol ";") 'let 'mut 'prod (symbol ":") 'i64 '= '0 (symbol ";") 'while 'y '> '0 (symbol "{") 'if 'y '% '2 '!= '0 (symbol "{") 'prod '+ '= 'x (symbol ";") (symbol "}") (symbol "}") 'if 'x_cambio (symbol "{") 'prod '= '- 'prod (symbol ";") (symbol "}") (symbol "}"))
)
(list 'fn 'main (symbol "(") (symbol ")") (symbol "{") 'if 'x '< '0 (symbol "{") 'x '= '- 'x (symbol ";") 'x_cambio '= 'true (symbol ";") (symbol "}") (symbol ";") 'print! (symbol "(") "y:_" (symbol ")") (symbol ";") 'let 'mut 'prod (symbol ":") 'i64 '= '0 (symbol ";") 'while 'y '> '0 (symbol "{") 'if 'y '% '2 '!= '0 (symbol "{") 'prod '+ '= 'x (symbol ";") (symbol "}") (symbol "}") (symbol ";") 'if 'x_cambio (symbol "{") 'prod '= '- 'prod (symbol ";") (symbol "}") (symbol "}"))
))
)
)
(deftest test-agregar-ptocoma-04
(testing "Test main 04 agregar-ptocoma"
(is (=
(agregar-ptocoma
(list 'fn 'main (symbol "(") (symbol ")") (symbol "{") 'let 'v (symbol ":") 'i64 (symbol ";") 'let 'mut 'w (symbol ":") 'i64 (symbol ";") 'if 'y '>= '0 (symbol "{") 'v '= 'y (symbol ";") 'w '= 'y (symbol ";") (symbol "}") 'else (symbol "{") 'v '= '- 'y (symbol ";") 'w '= '- 'y (symbol ";") (symbol "}") 'while 'w '<= 'r (symbol "{") 'w '= '2 (symbol ";") (symbol "}") 'while 'w '> 'v (symbol "{") 'q (symbol "*=") '2 (symbol ";") 'w (symbol "/=") '2 (symbol ";") 'if 'w '<= 'r (symbol "{") 'r (symbol "-=") 'w (symbol ";") 'q (symbol "+=") '1 (symbol ";") (symbol "}") (symbol "}") (symbol "}"))
)
(list 'fn 'main (symbol "(") (symbol ")") (symbol "{") 'let 'v (symbol ":") 'i64 (symbol ";") 'let 'mut 'w (symbol ":") 'i64 (symbol ";") 'if 'y '>= '0 (symbol "{") 'v '= 'y (symbol ";") 'w '= 'y (symbol ";") (symbol "}") 'else (symbol "{") 'v '= '- 'y (symbol ";") 'w '= '- 'y (symbol ";") (symbol "}") (symbol ";") 'while 'w '<= 'r (symbol "{") 'w '= '2 (symbol ";") (symbol "}") (symbol ";") 'while 'w '> 'v (symbol "{") 'q (symbol "*=") '2 (symbol ";") 'w (symbol "/=") '2 (symbol ";") 'if 'w '<= 'r (symbol "{") 'r (symbol "-=") 'w (symbol ";") 'q (symbol "+=") '1 (symbol ";") (symbol "}") (symbol "}") (symbol "}"))
))
)
)