blob: df85468c112901e3e8dcac787935e2332b022deb (
plain)
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
118
119
120
121
122
123
124
125
126
127
128
129
130
|
<head>
<script src="./scripts/d3.v4.min.js"></script>
<script src="./scripts/create_table.js"></script>
<?php
include("header_new.inc");
include("input_validate.php");
$keyval=valid_keyval($_GET["My_key"]);
//$dir="./data/";
//$dir="/tmp/bnw/";
$dir="/var/lib/genenet/bnw/";
$param_file = $keyval."parameters.txt";
$param_ev_file = $keyval."parameters_ev.txt";
?>
</head>
<!-- Site navigation menu -->
<ul class="navbar2">
<li class="noHover"><p>Network ID:<br><?php print($keyval);?></p></li>
<li><a href="about_this_page.php#parameters">About this page</a>
<li><a href="help.php">Help</a>
<li><a href="home.php">Home</a>
</ul>
<body>
<div class='table_div' id='parameter_div'>
<?php
$table_text = json_encode(file("file://".$dir.$param_file));
?>
<script type="text/javascript">
d3.text("", function(error, raw){
var data1 = <?php echo $table_text;?>;
var data2 = data1.join("");
var data = data2.split("\n\n");
var dsv = d3.dsvFormat("\t");
var i;
for (i = 0; i < data.length; i++) {
var data_temp = data[i].split("\n");
var caption_text = data_temp.shift();
var data_temp = data_temp.join("\n");
var newDiv = document.createElement('div');
newDiv.id = 'table_div'+i;
newDiv.className = 'd3_table';
var dataCurrent = dsv.parse(data_temp);
var div_id = '#table_div'+i;
var paramDiv = document.getElementById("parameter_div");
paramDiv.appendChild(newDiv);
tabulate_caption(div_id,dataCurrent,caption_text);
}
if (error) throw error;
add_header();
});
</script>
<?php
if(file_exists($dir.$param_ev_file))
{
$table_text = json_encode(file("file://".$dir.$param_ev_file));
?>
<script type="text/javascript">
d3.text("", function(error, raw){
var data1 = <?php echo $table_text;?>;
var data2 = data1.join("");
var data = data2.split("\n\n");
var dsv = d3.dsvFormat("\t");
var i;
for (i = 1000; i < data.length + 1000; i++) {
var data_temp = data[i-1000].split("\n");
var caption_text = data_temp.shift();
var data_temp = data_temp.join("\n");
var newDiv = document.createElement('div');
newDiv.id = 'table_div'+i;
newDiv.className = 'd3_table';
var dataCurrent = dsv.parse(data_temp);
var div_id = '#table_div'+i;
var paramDiv = document.getElementById("parameter_div");
paramDiv.appendChild(newDiv);
tabulate_caption(div_id,dataCurrent,caption_text);
}
if (error) throw error;
add_header2();
});
</script>
<?php
}
?>
</div>
<div id="table_header">
<h3 id="header">Original network parameters</h3>
</div>
<div id="download">
<a class=button2 target="_blank" href="<?php print("reroute.php?".$param_file);?>">Download original parameters</a><br><br>
<?php
if(file_exists($dir.$param_ev_file))
{?>
<h3> Network parameters considering evidence/intervention</h3>
<?php
}
?>
</div>
<script type="text/javascript">
function add_header() {
var element = document.getElementById("table_header");
var parentNode = document.getElementById("parameter_div");
console.log(parentNode);
parentNode.insertBefore(element,parentNode.firstChild);
var element = document.getElementById("download");
parentNode.appendChild(element);
}
</script>
<?php
if(file_exists($dir.$param_ev_file))
{?>
<div id="download2">
<a class=button2 href="<?php print("reroute.php?".$param_ev_file);?>">Download parameters considering evidence/intervention</a><br><br>
</div>
<?php
}
?>
<script type="text/javascript">
function add_header2() {
var parentNode = document.getElementById("parameter_div");
var element = document.getElementById("download2");
parentNode.appendChild(element);
}
</script>
</body>
|
