-
Notifications
You must be signed in to change notification settings - Fork 0
/
demo.html
117 lines (107 loc) · 4.34 KB
/
demo.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<!-- The above 3 meta tags *must* come first in the head; any other head content must come *after* these tags -->
<meta name="description" content="">
<meta name="author" content="">
<title>Q*cert Demo</title>
<!-- Bootstrap core CSS -->
<link href="./bootstrap/css/bootstrap.min.css" rel="stylesheet">
<!-- Custom styles for this template -->
<link href="qcertsite.css" rel="stylesheet">
</head>
<body>
<div class="container theme-showcase" role="main">
<!-- Static navbar -->
<nav class="navbar navbar-default">
<div class="navbar-header">
<button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#navbar" aria-expanded="false" aria-controls="navbar">
<span class="sr-only">Toggle navigation</span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
</button>
<a class="navbar-brand" href="index.html">Q*cert</a>
</div>
<div class="container-fluid">
<div id="navbar" class="navbar-collapse collapse">
<ul class="nav navbar-nav">
<li><a href="index.html">Home</a></li>
<li><a href="doc.html">Commented Code</a></li>
<li class="active"><a href="demo.html">Demo</a></li>
</ul>
<ul class="nav navbar-nav navbar-right">
<li><a href="http://github.com/querycert/qcert">github</a></li>
</ul>
</div><!--/.nav-collapse -->
</div><!--/.container-fluid -->
</nav>
<form>
<div class="form-inline">
<div class="form-group">
<label for="source">source language</label>
<select class="form-control" id="source">
<option value="rule">Rules</option>
<option value="camp">CAMP</option>
<option value="sql">SQL</option>
<option value="oql" selected="selected">OQL</option>
<option value="lambda_nra">Lambda NRA</option>
</select>
</div>
<div class="form-group">
<label for="target">target language</label>
<select class="form-control" id="target">
<option value="rule">Rule</option>
<option value="camp">CAMP</option>
<option value="oql">OQL</option>
<option value="lambda_nra">Lambda NRA</option>
<option value="nra">NRA</option>
<option value="nraenv">NRAEnv</option>
<option value="nnrc">NNRC</option>
<option value="nnrs">NNRS</option>
<option value="nnrs_imp">NNRSimp</option>
<option value="imp_data">Imp (Data)</option>
<option value="imp_ejson">Imp (JSON)</option>
<option value="nnrcmr">NNRCMR</option>
<option value="dnnrc">DNNRC</option>
<option value="js" selected="selected">JavaScript</option>
<option value="java">Java</option>
</select>
</div>
</div>
<div class="form-group">
<label for="query">source query</label>
<textarea class="form-control" id="query" rows="8">/* Example of simple select-from-where */
select p
from p in Persons
where p.age = 32</textarea>
</div>
<div class="form-group text-right">
<button type="button"
onclick="compileButton()"
class="btn btn-primary">compile</button>
</div>
<div class="form-group">
<label for="result">compiled query</label>
<pre id="result"></pre>
</div>
</form>
</div>
<!-- Bootstrap core JavaScript
================================================== -->
<!-- Placed at the end of the document so the pages load faster -->
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
<script>window.jQuery || document.write('<script src="./assets/js/vendor/jquery.min.js"><\/script>')</script>
<script src="./bootstrap/js/bootstrap.min.js"></script>
<script src="./assets/js/docs.min.js"></script>
<!-- IE10 viewport hack for Surface/desktop Windows 8 bug -->
<script src="./assets/js/ie10-viewport-bug-workaround.js"></script>
<!-- Bootstrap Q*cert
================================================== -->
<script src="./demo/qcertJS.js"></script>
<script src="./demo/qcertScripts.js"></script>
</body>
</html>