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