IMP Go

As a apart of the elective course "Modellbasierte Softwareentwicklung"
at the Hochschule Karlsruhe – University of Applied Sciences (HKA) this group project aims at implementing a

• Typechecker
• Evaluator
• Parser

for a given simple imperative language (IMP).

Details for IMP can be found here:
https://sulzmann.github.io/ModelBasedSW/imp.html#(1)

Using

First build the program by using

go build

REPL

After building run

./imp

to bring up the IMP REPL

Run from file

You can run IMP programs from a given file by using

./imp run <path>

e.g.

./imp run ./examples/fizz_buzz.imp

Testing

Export Test Coverage as HTML

• Use go test with the -coverprofile flag
• Use go tool cover to generate html

Command:

go test -coverprofile cov.out ./... && go tool cover -html=cov.out -o cov.out.html