vm_test.go 4.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217
  1. package vm
  2. import (
  3. "fmt"
  4. "github/runnignwater/monkey/ast"
  5. "github/runnignwater/monkey/compiler"
  6. "github/runnignwater/monkey/lexer"
  7. "github/runnignwater/monkey/object"
  8. "github/runnignwater/monkey/parser"
  9. "testing"
  10. )
  11. type vmTestCase struct {
  12. input string
  13. expected interface{}
  14. }
  15. func TestIntegerArithmetic(t *testing.T) {
  16. tests := []vmTestCase{
  17. {"1", 1},
  18. {"2", 2},
  19. {"1 + 2", 3},
  20. {"1 - 2", -1},
  21. {"1 * 2", 2},
  22. {"4 / 2", 2},
  23. {"50 / 2 * 2 + 10 - 5", 55},
  24. {"5 * (2 + 10)", 60},
  25. {"5 + 5 + 5 + 5 - 10", 10},
  26. {"2 * 2 * 2 * 2 * 2", 32},
  27. {"5 * 2 + 10", 20},
  28. {"5 + 2 * 10", 25},
  29. {"5 * (2 + 10)", 60},
  30. {"-5", -5},
  31. {"-10", -10},
  32. {"-50 + 100 + -50", 0},
  33. {"(5 + 10 * 2 + 15 / 3) * 2 + -10", 50},
  34. {"if ((if(false) {10})){10} else {20}", 20},
  35. }
  36. runVmTests(t, tests)
  37. }
  38. func TestBooleanExpression(t *testing.T) {
  39. tests := []vmTestCase{
  40. {"true", true},
  41. {"false", false},
  42. {"1 < 2", true},
  43. {"1 > 2", false},
  44. {"1 < 1", false},
  45. {"1 > 1", false},
  46. {"1 == 1", true},
  47. {"1 != 1", false},
  48. {"true == true", true},
  49. {"false == false", true},
  50. {"true == false", false},
  51. {"false != true", true},
  52. {"(1 < 2) == true", true},
  53. {"(1 < 2) == false", false},
  54. {"!true", false},
  55. {"!false", true},
  56. {"!5", false},
  57. {"!!true", true},
  58. {"!!false", false},
  59. {"!!5", true},
  60. {"if (true) { 10 };", 10},
  61. {"if (true) { 10 } else { 20 };", 10},
  62. {"if (false) { 10 } else { 20 };", 20},
  63. {"if (1) {10}", 10},
  64. {"if (1 < 2) {10}", 10},
  65. {"if (1 < 2) {10} else {20}", 10},
  66. {"if (1 > 2) {10} else {20}", 20},
  67. {"if (false) {10;}", Null},
  68. {"if (1 > 2) {10;}", Null},
  69. {"!(if(false) {5;})", true},
  70. }
  71. runVmTests(t, tests)
  72. }
  73. func TestGlobalLetStatement(t *testing.T) {
  74. tests := []vmTestCase{
  75. {"let one = 1; one", 1},
  76. {"let one = 1; let two = 2; one + two", 3},
  77. {"let one = 1; let two = one + one; one + two", 3},
  78. }
  79. runVmTests(t, tests)
  80. }
  81. func TestStringExpression(t *testing.T) {
  82. tests := []vmTestCase{
  83. {`"monkey"`, "monkey"},
  84. {`"mon" + "key"`, "monkey"},
  85. {`"mon" + "key" + "banana"`, "monkeybanana"},
  86. }
  87. runVmTests(t, tests)
  88. }
  89. func TestArrayLiterals(t *testing.T) {
  90. tests := []vmTestCase{
  91. {"[]", []int{}},
  92. {"[1, 2, 3]", []int{1, 2, 3}},
  93. {"[1+2,3*4,5+6]", []int{3, 12, 11}},
  94. }
  95. runVmTests(t, tests)
  96. }
  97. func runVmTests(t *testing.T, tests []vmTestCase) {
  98. t.Helper()
  99. for _, tt := range tests {
  100. program := parse(tt.input)
  101. comp := compiler.New()
  102. err := comp.Compile(program)
  103. if err != nil {
  104. t.Fatalf("compler error: %s", err)
  105. }
  106. vm := New(comp.ByteCode())
  107. err = vm.Run()
  108. if err != nil {
  109. t.Fatalf("vm error: %s", err)
  110. }
  111. stackElem := vm.LastPopStackElem()
  112. testExpectedObject(t, tt.expected, stackElem)
  113. }
  114. }
  115. func parse(input string) *ast.Program {
  116. l := lexer.New(input)
  117. p := parser.New(l)
  118. return p.ParseProgram()
  119. }
  120. func testExpectedObject(
  121. t *testing.T,
  122. expected interface{},
  123. actual object.Object,
  124. ) {
  125. t.Helper()
  126. switch expected := expected.(type) {
  127. case int:
  128. err := testIntegerObject(int64(expected), actual)
  129. if err != nil {
  130. t.Errorf("testIntegerObject failed: %s", err)
  131. }
  132. case bool:
  133. err := testBooleanObject(expected, actual)
  134. if err != nil {
  135. t.Errorf("testBooleanObject failed: %s", err)
  136. }
  137. case string:
  138. err := testStringObject(expected, actual)
  139. if err != nil {
  140. t.Errorf("testStringObject failed: %s", err)
  141. }
  142. case []int:
  143. array, ok := actual.(*object.Array)
  144. if !ok {
  145. t.Errorf("object not Array: %T (%+v)", actual, actual)
  146. return
  147. }
  148. if len(array.Elements) != len(expected) {
  149. t.Errorf("wrong num of elements. want=%d, got=%d", len(expected), len(array.Elements))
  150. return
  151. }
  152. for i, expectedElem := range expected {
  153. err := testIntegerObject(int64(expectedElem), array.Elements[i])
  154. if err != nil {
  155. t.Errorf("testIntegerObject failed: %s", err)
  156. }
  157. }
  158. }
  159. }
  160. func testStringObject(expected string, actual object.Object) error {
  161. result, ok := actual.(*object.String)
  162. if !ok {
  163. return fmt.Errorf("object is not String. got=%T (%+v)", actual, actual)
  164. }
  165. if result.Value != expected {
  166. return fmt.Errorf("object has wrong value. got=%q, want=%q", result.Value, expected)
  167. }
  168. return nil
  169. }
  170. func testIntegerObject(expected int64, actual object.Object) error {
  171. result, ok := actual.(*object.Integer)
  172. if !ok {
  173. return fmt.Errorf("object is not Integer. got=%T (%+v)", actual, actual)
  174. }
  175. if result.Value != expected {
  176. return fmt.Errorf("object has wrong value. got=%d, want=%d", result.Value, expected)
  177. }
  178. return nil
  179. }
  180. func testBooleanObject(expected bool, actual object.Object) error {
  181. result, ok := actual.(*object.Boolean)
  182. if !ok {
  183. return fmt.Errorf("object is not Boolean. got=%T (%+v)", actual, actual)
  184. }
  185. if result.Value != expected {
  186. return fmt.Errorf("object has wrong value. got=%t, want=%t", result.Value, expected)
  187. }
  188. return nil
  189. }