def GET(self): i = web.input() code = i.code parser = parser_generator.makeParser(grammar_parser.parse(open('./galaC.grm').read())) ast = parser.parse(code) desugaredE = bytecode_compiler.desugar(ast) return json.dumps(desugaredE)
def GET(self): i = web.input() code = i.code parser = parser_generator.makeParser( grammar_parser.parse(open('./galaC.grm').read())) ast = parser.parse(code) desugaredE = bytecode_compiler.desugar(ast) return json.dumps(desugaredE)
def POST(self): i = web.input() code = i.code callback = i.callback parser = parser_generator.makeParser(grammar_parser.parse(open('./galaC.grm').read())) ast = parser.parse(code) desugaredE = bytecode_compiler.desugar(ast) web.header('Content-Type', 'application/javascript') return "%s(%s)" % (callback, json.dumps(desugaredE))
def GET(self): i = web.input() code = i.code callback = i.jsoncallback print callback print code parser = parser_generator.makeParser( grammar_parser.parse(open('./tst.grm').read())) ast = parser.parse(code) desugaredE = bytecode_compiler.desugar(ast) web.header('Content-Type', 'application/javascript') return "%s(%s)" % (callback, json.dumps(desugaredE))
def GET(self): i = web.input() code = i.code callback = i.jsoncallback print code parser = parser_generator.makeParser(grammar_parser.parse(open('./spacescript.grm').read())) library = parser.parse(open('./library.164').read()) ast = parser.parse(code) #print desugarer.desugar(ast) #desugaredE = desugarer.desugar( library + ast) desugaredE = bytecode_compiler.desugar(library + ast) web.header('Content-Type', 'application/javascript') return "%s(%s)" % (callback, json.dumps(desugaredE))