func DumpGraph(body string) {
scanner := new(parsing.Scanner)
scanner.Init([]rune(body), 0)
defs := parsing.Parse(scanner)
if err := typecheck.TypeCheck(defs); err != nil {
log.Fatal("TypeCheck error:", err)
}
conversion.DumpGraph(defs)
}
func CompileFile(body string) (string, error) {
scanner := new(parsing.Scanner)
scanner.Init([]rune(body), 0)
defs := parsing.Parse(scanner)
if err := typecheck.TypeCheck(defs); err != nil {
return "", err
}
return conversion.ConvertASTToNuSMV(defs)
}