Spaces:
Sleeping
Sleeping
Update app.py
Browse files
app.py
CHANGED
|
@@ -1,6 +1,6 @@
|
|
| 1 |
-
from flask import Flask, render_template, request, jsonify
|
| 2 |
from parser import parse_source_to_graph
|
| 3 |
-
from dataset_gen import create_dataset_entry
|
| 4 |
import os
|
| 5 |
|
| 6 |
app = Flask(__name__)
|
|
@@ -11,24 +11,28 @@ def index():
|
|
| 11 |
|
| 12 |
@app.route('/parse', methods=['POST'])
|
| 13 |
def parse():
|
| 14 |
-
|
| 15 |
-
|
| 16 |
-
|
| 17 |
-
|
| 18 |
-
|
| 19 |
-
|
| 20 |
-
return jsonify(
|
| 21 |
-
|
| 22 |
-
@app.route('/
|
| 23 |
-
def
|
| 24 |
-
|
| 25 |
-
|
| 26 |
-
|
| 27 |
-
|
| 28 |
-
|
| 29 |
-
|
| 30 |
-
return
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 31 |
|
| 32 |
if __name__ == '__main__':
|
| 33 |
-
# Running on 0.0.0.0 to be accessible if deployed or in containers
|
| 34 |
app.run(host="0.0.0.0", port=7860, debug=True)
|
|
|
|
| 1 |
+
from flask import Flask, render_template, request, jsonify, send_file
|
| 2 |
from parser import parse_source_to_graph
|
| 3 |
+
from dataset_gen import create_dataset_entry, get_dataset_stats, upload_to_hub, OUTPUT_FILE
|
| 4 |
import os
|
| 5 |
|
| 6 |
app = Flask(__name__)
|
|
|
|
| 11 |
|
| 12 |
@app.route('/parse', methods=['POST'])
|
| 13 |
def parse():
|
| 14 |
+
code = request.json.get('code', '')
|
| 15 |
+
return jsonify(parse_source_to_graph(code))
|
| 16 |
+
|
| 17 |
+
@app.route('/dataset/add', methods=['POST'])
|
| 18 |
+
def add_entry():
|
| 19 |
+
code = request.json.get('code', '')
|
| 20 |
+
return jsonify(create_dataset_entry(code))
|
| 21 |
+
|
| 22 |
+
@app.route('/dataset/list', methods=['GET'])
|
| 23 |
+
def list_entries():
|
| 24 |
+
return jsonify(get_dataset_stats())
|
| 25 |
+
|
| 26 |
+
@app.route('/dataset/download', methods=['GET'])
|
| 27 |
+
def download_dataset():
|
| 28 |
+
if os.path.exists(OUTPUT_FILE):
|
| 29 |
+
return send_file(OUTPUT_FILE, as_attachment=True)
|
| 30 |
+
return "No dataset found", 404
|
| 31 |
+
|
| 32 |
+
@app.route('/dataset/upload_hf', methods=['POST'])
|
| 33 |
+
def upload_hf():
|
| 34 |
+
data = request.json
|
| 35 |
+
return jsonify(upload_to_hub(data.get('token'), data.get('repo_id')))
|
| 36 |
|
| 37 |
if __name__ == '__main__':
|
|
|
|
| 38 |
app.run(host="0.0.0.0", port=7860, debug=True)
|