def loadFile(fName):
global curWorld
if "." not in fName:
fName = fName + ".n"
f = open(fName)
p = nparser.Parser(f)
prog = p.parseTop(curWorld)
f.close()
if p.errs:
print "Parsing errors:\n"
for e in p.errs:
print e.longMsg()
print
print "\nTotal: " + str(len(p.errs)) + " errors\n"
curWorld.err = True
return
print "Parsing succeeded (" + fName + ")\n"
addAst(prog)
ch = Checker(curWorld)
ch.check()
if ch.errs:
print "Checking errors:\n"
for e in ch.errs:
print e.longMsg()
print
print "\nTotal: " + str(len(ch.errs)) + " errors\n"
curWorld.err = True
return
print "Checking succeeded (" + fName + ")\n"
if ch.log:
print ch.log
def loadFile(fName):
global curWorld
if "." not in fName:
fName = fName+".n"
f = open(fName)
p = nparser.Parser(f)
prog = p.parseTop(curWorld)
f.close()
if p.errs:
print "Parsing errors:\n"
for e in p.errs:
print e.longMsg()
print
print "\nTotal: " + str(len(p.errs)) + " errors\n"
curWorld.err = True
return
print "Parsing succeeded (" + fName + ")\n"
addAst(prog)
ch = Checker(curWorld)
ch.check()
if ch.errs:
print "Checking errors:\n"
for e in ch.errs:
print e.longMsg()
print
print "\nTotal: " + str(len(ch.errs)) + " errors\n"
curWorld.err = True
return
print "Checking succeeded (" + fName + ")\n"
if ch.log:
print ch.log
