Spaces:
Paused
Paused
| from flask import Flask, render_template, request, jsonify, send_file | |
| from parser import parse_source_to_graph | |
| from dataset_gen import create_dataset_entry, get_dataset_stats, upload_to_hub, OUTPUT_FILE | |
| import os | |
| app = Flask(__name__) | |
| def index(): | |
| return render_template('index.html') | |
| def parse(): | |
| code = request.json.get('code', '') | |
| return jsonify(parse_source_to_graph(code)) | |
| def add_entry(): | |
| code = request.json.get('code', '') | |
| return jsonify(create_dataset_entry(code)) | |
| def list_entries(): | |
| return jsonify(get_dataset_stats()) | |
| def download_dataset(): | |
| if os.path.exists(OUTPUT_FILE): | |
| return send_file(OUTPUT_FILE, as_attachment=True) | |
| return "No dataset found", 404 | |
| def upload_hf(): | |
| data = request.json | |
| return jsonify(upload_to_hub(data.get('token'), data.get('repo_id'))) | |
| if __name__ == '__main__': | |
| app.run(host="0.0.0.0", port=7860, debug=True) |