vm_test.go 2.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144
  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. }
  35. runVmTests(t, tests)
  36. }
  37. func TestBooleanExpression(t *testing.T) {
  38. tests := []vmTestCase{
  39. {"true", true},
  40. {"false", false},
  41. {"1 < 2", true},
  42. {"1 > 2", false},
  43. {"1 < 1", false},
  44. {"1 > 1", false},
  45. {"1 == 1", true},
  46. {"1 != 1", false},
  47. {"true == true", true},
  48. {"false == false", true},
  49. {"true == false", false},
  50. {"false != true", true},
  51. {"(1 < 2) == true", true},
  52. {"(1 < 2) == false", false},
  53. {"!true", false},
  54. {"!false", true},
  55. {"!5", false},
  56. {"!!true", true},
  57. {"!!false", false},
  58. {"!!5", true},
  59. }
  60. runVmTests(t, tests)
  61. }
  62. func runVmTests(t *testing.T, tests []vmTestCase) {
  63. t.Helper()
  64. for _, tt := range tests {
  65. program := parse(tt.input)
  66. comp := compiler.New()
  67. err := comp.Compile(program)
  68. if err != nil {
  69. t.Fatalf("compler error: %s", err)
  70. }
  71. vm := New(comp.ByteCode())
  72. err = vm.Run()
  73. if err != nil {
  74. t.Fatalf("vm error: %s", err)
  75. }
  76. stackElem := vm.LastPopStackElem()
  77. testExpectedObject(t, tt.expected, stackElem)
  78. }
  79. }
  80. func parse(input string) *ast.Program {
  81. l := lexer.New(input)
  82. p := parser.New(l)
  83. return p.ParseProgram()
  84. }
  85. func testExpectedObject(
  86. t *testing.T,
  87. expected interface{},
  88. actual object.Object,
  89. ) {
  90. t.Helper()
  91. switch expected := expected.(type) {
  92. case int:
  93. err := testIntegerObject(int64(expected), actual)
  94. if err != nil {
  95. t.Errorf("testIntegerObject failed: %s", err)
  96. }
  97. case bool:
  98. err := testBooleanObject(expected, actual)
  99. if err != nil {
  100. t.Errorf("testBooleanObject failed: %s", err)
  101. }
  102. }
  103. }
  104. func testIntegerObject(expected int64, actual object.Object) error {
  105. result, ok := actual.(*object.Integer)
  106. if !ok {
  107. return fmt.Errorf("object is not Integer. got=%T (%+v)", actual, actual)
  108. }
  109. if result.Value != expected {
  110. return fmt.Errorf("object has wrong value. got=%d, want=%d", result.Value, expected)
  111. }
  112. return nil
  113. }
  114. func testBooleanObject(expected bool, actual object.Object) error {
  115. result, ok := actual.(*object.Boolean)
  116. if !ok {
  117. return fmt.Errorf("object is not Boolean. got=%T (%+v)", actual, actual)
  118. }
  119. if result.Value != expected {
  120. return fmt.Errorf("object has wrong value. got=%t, want=%t", result.Value, expected)
  121. }
  122. return nil
  123. }