<h1>Object:
"<script>document.write(extractParam(unescape(getParam('url')),'param.CICURI'))</script>"
<font size="+1">[Annotations are
- <script>if ((extractParam(unescape(getParam('url')),'param.annotations')) == 'NO') document.write('off'); else document.write('on')</script>
+ <script>if ((extractParam(unescape(getParam('url')),'param.annotations')) == 'no') document.write('off'); else document.write('on')</script>
]</font>
</h1>
<table>
+ <tr>
+ <td>
+ <script>
+ var url = unescape(getParam('url'));
+ document.write('<a href="' + url + '" target="_blank">Object URL</a>');
+ </script>
+ </td>
+ <td>
+ Follow the link to view the displayed object alone (without this control frame)
+ </td>
+ </tr>
<tr>
<td>
<script>
<script>
var url = unescape(getParam('url'));
var getterURL = extractParam(url,'param.getterURL');
- var CICURI = extractParam(url,'param.CICURI');
+ var CICURI = dropBodySuffix(extractParam(url,'param.CICURI'));
url = setParam(url,"keys","MC%2CRT");
url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + CICURI);
url = setParam(url,"prop.media-type","text/html");
url = setParam(url,"prop.encoding","iso-8859-1");
+ url = setParam(url,"param.CICURI",CICURI);
document.write(
- '<a target="metadata" href="' + url + '">View its metadata</a>'
+ '<a target="_blank" href="' + url + '">View its metadata and dependencies</a>'
);
</script>
</td>
- <td>(Work in progress. Coming soon.)</td>
+ <td>DC Metadata and dependency metadata; Dependency graphs
+ </td>
</tr>
<tr>
<td>
- Proof-check it
+ <script>
+ var url = unescape(getParam('url'));
+ var proofcheckerURL = unescape(extractParam(url,'param.proofcheckerURL'));
+ var CICURI = dropBodySuffix(extractParam(url,'param.CICURI'));
+ url = proofcheckerURL + "proofCheck?uri=" + CICURI;
+ document.write(
+ '<a target="_blank" href="' + url + '">Proof-check it</a>'
+ );
+ </script>
</td>
- <td>
- (Not ported to V7, yet. Coming soon.)
+ <td>Proof-checking is recursively performed over the untrusted parts of the
+ library
</td>
</tr>
</table>