1 | <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
|
---|
2 | "http://www.w3.org/TR/html4/loose.dtd">
|
---|
3 | <html>
|
---|
4 | <head>
|
---|
5 | <title></title>
|
---|
6 | <link rel="stylesheet" type="text/css" href="file:///%(libDir)s/envjasmine/lib/jasmine/jasmine.css">
|
---|
7 |
|
---|
8 | <script type="text/javascript" src="file:///%(libDir)s/envjasmine/lib/jasmine/jasmine.js"></script>
|
---|
9 | <script type="text/javascript" src="file:///%(libDir)s/envjasmine/lib/jasmine/jasmine-html.js"></script>
|
---|
10 |
|
---|
11 | <script type="text/javascript" src="browser.runner.js"></script>
|
---|
12 |
|
---|
13 | <script type="text/javascript">
|
---|
14 | (function () {
|
---|
15 | "use strict";
|
---|
16 | var jasmineEnv = jasmine.getEnv();
|
---|
17 | jasmineEnv.updateInterval = 1000;
|
---|
18 |
|
---|
19 | var trivialReporter = new jasmine.TrivialReporter();
|
---|
20 | jasmineEnv.addReporter(trivialReporter);
|
---|
21 | jasmineEnv.specFilter = function (spec) {
|
---|
22 | return trivialReporter.specFilter(spec);
|
---|
23 | };
|
---|
24 |
|
---|
25 | var currentWindowOnload = window.onload;
|
---|
26 |
|
---|
27 | window.onload = function () {
|
---|
28 | if (currentWindowOnload) {
|
---|
29 | currentWindowOnload();
|
---|
30 | }
|
---|
31 | execJasmine();
|
---|
32 | };
|
---|
33 |
|
---|
34 | function execJasmine() {
|
---|
35 | jasmineEnv.execute();
|
---|
36 | }
|
---|
37 | })();
|
---|
38 |
|
---|
39 | var EnvJasmine = {};
|
---|
40 | EnvJasmine.jsDir = "";
|
---|
41 | EnvJasmine.testDir = "%(testDir)s";
|
---|
42 | EnvJasmine.envJasmineLibDir = 'file:///%(libDir)s/envjasmine/lib';
|
---|
43 |
|
---|
44 | EnvJasmine.load = function (path) {
|
---|
45 | appendScript(path);
|
---|
46 | };
|
---|
47 |
|
---|
48 | EnvJasmine.loadGlobal = function (path) {
|
---|
49 | appendScript(path);
|
---|
50 | };
|
---|
51 |
|
---|
52 | function appendScript(path){
|
---|
53 | var script = document.createElement('script');
|
---|
54 | script.src = path;
|
---|
55 | script.type ='text/javascript';
|
---|
56 | document.getElementsByTagName('head')[0].appendChild(script);
|
---|
57 | }
|
---|
58 | </script>
|
---|
59 | <script type="text/javascript" src="%(browser_configfile)s"></script>
|
---|
60 | </head>
|
---|
61 | <body>
|
---|
62 | </body>
|
---|
63 | </html>
|
---|