helm/on-line/html/cic/control.html

   1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
   2 "http://www.w3.org/TR/REC-html40/loose.dtd">
   3 <html xmlns="http://www.w3.org/1999/xhtml" xmlns:subst="http://www.cs.unibo.it/helm/subst">
   4
   5 <head>
   6
   7 <style type="text/css">
   8 #normal { background-color: #e6e6fa; font-family: sans-serif }
   9 td.head { font-weight: bold; background-color: #e6e6fa; color: brown }
  10 td.back { background-color: #e6e6fa; color: brown }
  11 #indent { margin-left: 1cm; margin-right: 1cm }
  12 ul.control { padding-left: 1em; list-style: none; }
  13 ul.control2 { font-size: small; padding-left: 2em; }
  14 div.center { text-align: center }
  15 h2.uri { margin-top: 0ex; margin-bottom: 0ex }
  16 </style>
  17
  18 <script>
  19  var annotations="<subst:annotations/>";
  20  var CICURI="<subst:CICURI/>";
  21  var CICURL = "<subst:CICURL/>";
  22  var DCRDFURL = "<subst:DCRDFURL/>";
  23  var DirectRDFURL = "<subst:DirectRDFURL/>";
  24  var getterURL = "<subst:getterURL/>";
  25  var HTMLURL = "<subst:HTMLURL/>";
  26  var InverseRDFURL = "<subst:InverseRDFURL/>";
  27  var MathMLContentURL = "<subst:MathMLContentURL/>";
  28  var MathMLPresentationURL = "<subst:MathMLPresentationURL/>";
  29  var interfaceURL = "<subst:interfaceURL/>";
  30  var mkDirDepURL = "<subst:makeDirectDependencyURL/>";
  31  var mkInvDepURL = "<subst:makeInverseDirectDependencyURL/>";
  32  var mkInvRecDepURL = "<subst:makeInverseRecDependencyURL/>";
  33  var mkRecDepURL = "<subst:makeRecDependencyURL/>";
  34  var processorURL = "<subst:processorURL/>";
  35  var profile = "<subst:profile/>";
  36  var proofcheckerURL = "<subst:proofcheckerURL/>";
  37  var url = "<subst:url/>";
  38 </script>
  39 </head>
  40
  41 <body id="normal">
  42  <div class="center">
  43  <small>
  44  User:
  45    <uwobo:profileCtrlOptionList xmlns:uwobo="http://helm.cs.unibo.it/uwobo"
  46     type="cic"/>
  47  <br />
  48  [<a href="http://helm.cs.unibo.it" target="_top">HELM home</a>]
  49  <script>
  50    document.write('[<a target="_top" href="' + processorURL +
  51      'apply?keys=SPK&amp;param.processorURL=' + escape(processorURL) +
  52      '&amp;param.profile=' + escape(profile) +
  53      '&amp;xmluri=' + interfaceURL + 'html/configuration.html' +
  54      '">configuration</a>]');
  55  </script>
  56  </small>
  57  </div>
  58  <hr />
  59  <div class="center">
  60    <script>
  61      document.write('&lt;a target="result" style="color:black; text-decoration:none" href="' + url + '&amp;param.toplevel=true">');
  62      document.write('<img style="border-style:none" src="' + interfaceURL + '/icons/object.png" />');
  63    </script>
  64   <h2 class="uri"><subst:base_CICURI/></h2>
  65   <script>document.write('&lt;/a>');</script>
  66  </div>
  67  <hr />
  68 <!--
  69   [Annotations are <script>if (annotations) == 'no') document.write('off'); else document.write('on')</script>]
  70 -->
  71 <ul class="control">
  72 <!--
  73   <li>
  74     <script>
  75      var url = "<subst:url/>";
  76      document.write('<a href="' + url + '" target="_blank">Open object in new window</a>');
  77      </script>
  78   </li>
  79 -->
  80   <li>
  81     View
  82     <script>
  83      document.write('[ <a href="' + HTMLURL + '&amp;param.toplevel=true" target="result"><small>HTML</small></a>');
  84      document.write(' | ');
  85      document.write('<a href="' + MathMLPresentationURL + '&amp;param.toplevel=true" target="result"><small>MathML</small></a> ]');
  86      </script>
  87   </li>
  88   <li>
  89     <script>
  90      var url = processorURL + "apply?keys=MC%2CRT&amp;xmluri=" +
  91          getterURL + "getxml%3Furi%3D" + CICURI +
  92          "&amp;prop.media-type=text/html&amp;prop.encoding=iso-8859-1" +
  93          "&amp;param.CICURI=" + CICURI + "&amp;param.profile=" + profile +
  94          "&amp;profile=" + profile;
  95      document.write(
  96       '<a target="result" href="' + url + '">View metadata</a>'
  97      );
  98     </script>
  99   </li>
 100   <li>
 101     <script>
 102      url = proofcheckerURL + "proofCheck?uri=" + CICURI;
 103      document.write(
 104       '<a target="result" href="' + url + '">Proof check</a>'
 105      );
 106     </script>
 107   </li>
 108   <li>
 109     Analyse dependencies
 110     <ul class="control2">
 111       <li>
 112         <script>
 113           document.write('<a target="result" href="' + mkDirDepURL + '">direct</a>');
 114         </script>
 115       </li>
 116       <li>
 117         <script>
 118           document.write('<a target="result" href="' + mkInvDepURL + '">inverse</a>');
 119         </script>
 120       </li>
 121       <li>
 122         <script>
 123           document.write('<a target="result" href="' + mkRecDepURL + '">recursive direct</a> (graph)');
 124         </script>
 125       </li>
 126       <li>
 127         <script>
 128           document.write('<a target="result" href="' + mkInvRecDepURL + '">recursive inverse</a> (graph)');
 129         </script>
 130       </li>
 131     </ul>
 132   </li>
 133 </ul>
 134 <hr />
 135 <ul class="control">
 136   <li> Download
 137     <ul class="control2">
 138       <li>
 139         <script>
 140          document.write('<a href="' + CICURL + '" target="result">CIC XML</a>');
 141         </script>
 142           </li>
 143       <li>
 144         <script>
 145          document.write('<a href="' + MathMLContentURL + '" target="result">MathML Content</a>');
 146         </script>
 147       </li>
 148       <li>
 149         <script>
 150          document.write('<a href="' + MathMLPresentationURL + '" target="result">MathML Presentation</a>');
 151         </script>
 152       </li>
 153       <li>
 154         <script>
 155          document.write('<a href="' + HTMLURL + '" target="result">HTML</a>');
 156         </script>
 157       </li>
 158     </ul>
 159   </li>
 160   <li>
 161     Download metadata
 162     <ul class="control2">
 163       <li>
 164         <script>
 165           document.write('<a target="result" href="' + DirectRDFURL + '">direct dependencies</a>');
 166         </script>
 167       </li>
 168       <li>
 169         <script>
 170           document.write('<a target="result" href="' + InverseRDFURL + '">inverse dependencies</a>');
 171         </script>
 172       </li>
 173       <li>
 174         <script>
 175           document.write('<a target="result" href="' + DCRDFURL + '">Dublin Core</a>');
 176         </script>
 177       </li>
 178     </ul>
 179   </li>
 180 </ul>
 181 </body>
 182 </html>