Exemplo n.º 1
0
def validar(request):
    if request.method == "POST":

        data = request.body.decode('utf-8')
        print(str(data))
        parser = Parser()
        try:
            res = parser.parse(str(data))
            return JSONResponse("Compilación exitosa", status=200)
        except:
            return JSONResponse("Error de sintaxis: \n" +
                                traceback.format_exc()[650:],
                                status=200)
Exemplo n.º 2
0
 def compile_cb(self, *w):
     if not self.filename:
         return
     from backend.parser import Parser
     fio = StringIO.StringIO()
     start_iter = self.source_code_buffer.get_start_iter()
     end_iter = self.source_code_buffer.get_end_iter()
     fio.write(self.source_code_buffer.get_text(start_iter, end_iter))
     fio.seek(0)
     self.p = Parser(fio, True)
     self.pcode_buffer.set_text('')
     self.symbol_table_store.clear()
     if self.p.error:
         self.output_buffer.set_text(self.p.error)
         self.notebook.set_current_page(3)
     else:
         self.pcode_buffer.set_text(self.p.get_formated_pcode())
         self.__fill_symbol_table(self.p.get_formated_table())
         self.__fill_parsetree(None, self.p.result)
         self.parsetree_treeview.expand_all()
         self.__fill_ast(None, self.p.get_formated_ast())
         self.ast_treeview.expand_all()
         
         self.notebook.set_current_page(1)
Exemplo n.º 3
0
from flask import (Flask, request, render_template, jsonify, Response,
                   make_response)
from backend.wikipedia import Wikipedia
from backend.gmaps import Gmaps
from backend.parser import Parser
from flask_cors import CORS, cross_origin

import json

wk = Wikipedia()
gmaps = Gmaps()
parser = Parser()

app = Flask(__name__)
CORS(app)


@app.route('/', methods=["GET"])
def index():
    googleurl = gmaps.default_url()
    return render_template("bot.html", googleurl=googleurl)


@app.route('/process', methods=["POST"])
def response():
    if request.method == "POST":

        query = request.form['query']
        if query.lower().startswith("bonjour"):
            coordinates = None
            google_url = gmaps.default_url()