libatscc2js-workersession
Version:
The package implements session-typed channels based on web-workers.
78 lines (66 loc) • 1.28 kB
HTML
<html>
<head>
<title>test_client</title>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<script
src="https://cdnjs.cloudflare.com/ajax/libs/jquery/2.1.3/jquery.min.js">
</script>
<script
src="https://cdnjs.cloudflare.com/ajax/libs/bacon.js/0.7.53/Bacon.min.js">
</script>
<script
src="https://ats-lang.github.io/LIBRARY/libatscc2js/libatscc2js_all.js">
</script>
<script
src="https://ats-lang.github.io/LIBRARY/libatscc2js/libatscc2js_baconjs_all.js">
</script>
</head>
<body>
<h1>For testing session-typed channels</h1>
<center>
<table>
<tr>
<td
colspan=2 align="center"
><button
ID="Start"
type="button"
onclick="Start_onclick()"
style="vertical-align:top;width:100%;"
>Let's test multiplication!</button></td>
</tr>
<tr>
<td align="center">Arg1</td>
<td>
<input
ID="theArg1" type="text" maxlength="8"
></input>
</td>
</tr>
<tr>
<td align="center">Arg2</td>
<td>
<input
ID="theArg2" type="text" maxlength="8"
></input>
</td>
</tr>
<tr>
<td>
<button
ID="AnswerIt"
type="button" onclick="AnswerIt_onclick()"
>AnswerIt</button>
</td>
<td>
<input
ID="theResult" type="text" maxlength="8"
></input>
</td>
</tr>
</table>
</center>
<script src="./test_client_dats.js"></script>
</body>
</html>