summaryrefslogtreecommitdiff
path: root/interpreter/interpreter.go
blob: 06a4bc110f7cce27a1de89eae39a8fb4192b41aa (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
package interpreter

import (
	"reflect"

	"github.com/mvertes/parscan/compiler"
	"github.com/mvertes/parscan/scanner"
	"github.com/mvertes/parscan/vm"
)

const debug = true

// Interpreter represents the state of an interpreter.
type Interpreter struct {
	*compiler.Compiler
	*vm.Machine
}

// NewInterpreter returns a new interpreter state.
func NewInterpreter(s *scanner.Scanner) *Interpreter {
	return &Interpreter{compiler.NewCompiler(s), &vm.Machine{}}
}

// Eval interprets a src program and return the last produced value if any, or an error.
func (i *Interpreter) Eval(src string) (res reflect.Value, err error) {
	codeOffset := len(i.Code)
	dataOffset := 0
	if codeOffset > 0 {
		// All data must be copied to the VM the first time only (re-entrance).
		dataOffset = len(i.Data)
	}
	i.PopExit() // Remove last exit from previous run (re-entrance).

	t, err := i.Parse(src)
	if err != nil {
		return res, err
	}
	if err = i.Codegen(t); err != nil {
		return res, err
	}
	i.Push(i.Data[dataOffset:]...)
	i.PushCode(i.Code[codeOffset:]...)
	if s, ok := i.Symbols["main"]; ok {
		i.PushCode(vm.Instruction{Op: vm.Calli, Arg: []int{int(i.Data[s.Index].Data.Int())}})
	}
	i.PushCode(vm.Instruction{Op: vm.Exit})
	i.SetIP(max(codeOffset, i.Entry))
	if debug {
		i.PrintData()
		i.PrintCode()
	}
	err = i.Run()
	return i.Top().Data, err
}