interp-Cvar.rkt

#lang racket
(require racket/fixnum)
(require racket/dict)
(require "utilities.rkt")
(require "interp-Rvar.rkt")
(provide interp-Cvar interp-Cvar-mixin)

(define (interp-Cvar-mixin super-class)
  (class super-class
    (super-new)
    (inherit interp-exp)

    (define/public (interp-stmt env)
      (lambda (s)
        (match s
          [(Assign (Var x) e)
           (dict-set env x ((interp-exp env) e))]
          )))

    (define/public (interp-tail env)
      (lambda (t)
        (match t
          [(Return e)
           ((interp-exp env) e)]
          [(Seq s t2)
           (define new-env ((interp-stmt env) s))
           ((interp-tail new-env) t2)]
          )))

    (define/override (interp-program p)
      (match p
        [(CProgram _ `((start . ,t)))
         ((interp-tail '()) t)]
        ))
    ))
    
(define (interp-Cvar p)
  (send (new (interp-Cvar-mixin interp-Rvar-class)) interp-program p))