M.V. Hutz
e85cf7ceff
## Summary - Change Abstraction, Application, and Variable to use private fields with getter methods. - Return value types instead of pointers from constructors. - Update all type switches to match value types instead of pointer types. ## Test plan - [x] All existing tests pass (`make test`). Reviewed-on: #38 Co-authored-by: M.V. Hutz <git@maximhutz.me> Co-committed-by: M.V. Hutz <git@maximhutz.me>
32 lines
781 B
Go
32 lines
781 B
Go
// Package "explanation" provides an observer to gather the reasoning during the
|
|
// reduction, and present a thorough explanation to the user for each step.
|
|
package plugins
|
|
|
|
import (
|
|
"fmt"
|
|
|
|
"git.maximhutz.com/max/lambda/pkg/interpreter"
|
|
)
|
|
|
|
// Track the reductions made by a reduction process.
|
|
type Explanation struct {
|
|
reducer interpreter.Interpreter
|
|
}
|
|
|
|
// Attaches a new explanation tracker to a reducer.
|
|
func NewExplanation(r interpreter.Interpreter) *Explanation {
|
|
plugin := &Explanation{reducer: r}
|
|
r.On(interpreter.StartEvent, plugin.Start)
|
|
r.On(interpreter.StepEvent, plugin.Step)
|
|
|
|
return plugin
|
|
}
|
|
|
|
func (t *Explanation) Start() {
|
|
fmt.Println(t.reducer.Expression().String())
|
|
}
|
|
|
|
func (t *Explanation) Step() {
|
|
fmt.Println(" =", t.reducer.Expression().String())
|
|
}
|