def query(): username = request.form.get('username', default='user') contract_id = request.form.get('contract_id', default='id') #print(contract_id) contract = db.get_contract(username, contract_id) #print(contract) l = json.loads(contract[10]) print(l) return render_template('contract-content.html', contract=contract, list=l), 200
def update(): username = request.form.get('username', default='user') print(username) contract_id = request.form.get('contract_id', default='id') print(contract_id) contract = db.get_contract(username, contract_id) print(contract) l = json.loads(contract[10]) length = len(l) return render_template('contract-update.html', username=username,contract=contract, list=l,length=length), 200
def show_DFA(): contract_id = request.form.get('contract_id', default='id') username = request.form.get('username', default='user') contract = db.get_contract(username, contract_id) print("当前条款: ",contract[10]) DFA.create_fsm(contract[10], contract_id) fsm_struct = util.read_fsm(contract_id) res = {'fsm': fsm_struct } print(fsm_struct) return json.dumps(res), 200
def show_payoff(): contract_id = request.form.get('contract_id', default='id') username = request.form.get('username', default='user') contract = db.get_contract(username, contract_id) path = pathlib.Path("./payoff/" + contract_id) A = path.is_file() if A == False: create_payoff(contract[10],contract_id) NASH = util.read_NASH(contract_id) payoff = util.read_payoff(contract_id) wight = util.read_wight(contract_id) Row = util.read_Row(contract_id) res = {'NASH':NASH ,"payoff" :payoff,"wight":wight ,"Row":Row } return json.dumps(res), 200
def show_check(): contract_id = request.form.get('contract_id', default='id') username = request.form.get('username', default='user') bestPos= request.form.get('bestPos', default='user') bestPos = list(bestPos) bestPos1 = [] bestPos1.append(int(bestPos[1])) bestPos1.append(int(bestPos[3])) contract = db.get_contract(username, contract_id) a = check(contract[10],contract_id,bestPos1) a = a[0] gt = util.read_gt(contract_id) res = {'a': a , "gt":gt} return json.dumps(res), 200