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 </style>
  16
  17 <script>
  18  var annotations="<subst:annotations/>";
  19  var CICURI="<subst:CICURI/>";
  20  var CICURL = "<subst:CICURL/>";
  21  var DCRDFURL = "<subst:DCRDFURL/>";
  22  var DirectRDFURL = "<subst:DirectRDFURL/>";
  23  var getterURL = "<subst:getterURL/>";
  24  var HTMLURL = "<subst:HTMLURL/>";
  25  var InverseRDFURL = "<subst:InverseRDFURL/>";
  26  var MathMLContentURL = "<subst:MathMLContentURL/>";
  27  var MathMLPresentationURL = "<subst:MathMLPresentationURL/>";
  28  var interfaceURL = "<subst:interfaceURL/>";
  29  var mkDirDepURL = "<subst:makeDirectDependencyURL/>";
  30  var mkInvDepURL = "<subst:makeInverseDirectDependencyURL/>";
  31  var mkInvRecDepURL = "<subst:makeInverseRecDependencyURL/>";
  32  var mkRecDepURL = "<subst:makeRecDependencyURL/>";
  33  var processorURL = "<subst:processorURL/>";
  34  var profile = "<subst:profile/>";
  35  var proofcheckerURL = "<subst:proofcheckerURL/>";
  36  var url = "<subst:url/>";
  37 </script>
  38 </head>
  39
  40 <body id="normal">
  41  <div class="center">
  42    <script>
  43      document.write('&lt;a target="result" style="color:black; text-decoration:none" href="' + url + '&amp;param.toplevel=true">');
  44      document.write('<img style="border-style:none" src="' + interfaceURL + '/icons/object.png" />');
  45    </script>
  46   <h2><subst:base_CICURI/></h2>
  47   <script>document.write('&lt;/a>');</script>
  48  </div>
  49  <hr />
  50 <!--
  51   [Annotations are <script>if (annotations) == 'no') document.write('off'); else document.write('on')</script>]
  52 -->
  53 <ul class="control">
  54 <!--
  55   <li>
  56     <script>
  57      var url = "<subst:url/>";
  58      document.write('<a href="' + url + '" target="_blank">Open object in new window</a>');
  59      </script>
  60   </li>
  61 -->
  62   <li>
  63     View [
  64     <script>
  65      document.write('<a href="' + HTMLURL + '&amp;param.toplevel=true" target="result"><small>HTML</small></a>');
  66      document.write(' / ');
  67      document.write('<a href="' + MathMLPresentationURL + '&amp;param.toplevel=true" target="result"><small>MathML</small></a>');
  68      </script>
  69      ]
  70   </li>
  71   <li>
  72     <script>
  73      var url = processorURL + "apply?keys=MC%2CRT&amp;xmluri=" +
  74          getterURL + "getxml%3Furi%3D" + CICURI +
  75          "&amp;prop.media-type=text/html&amp;prop.encoding=iso-8859-1" +
  76          "&amp;param.CICURI=" + CICURI + "&amp;param.profile=" + profile +
  77          "&amp;profile=" + profile;
  78      document.write(
  79       '<a target="result" href="' + url + '">View metadata</a>'
  80      );
  81     </script>
  82   </li>
  83   <li>
  84     <script>
  85      url = proofcheckerURL + "proofCheck?uri=" + CICURI;
  86      document.write(
  87       '<a target="result" href="' + url + '">Proof check</a>'
  88      );
  89     </script>
  90   </li>
  91   <li>
  92     Analyse dependencies
  93     <ul class="control2">
  94       <li>
  95         <script>
  96           document.write('<a target="result" href="' + mkDirDepURL + '">direct</a>');
  97         </script>
  98       </li>
  99       <li>
 100         <script>
 101           document.write('<a target="result" href="' + mkInvDepURL + '">inverse</a>');
 102         </script>
 103       </li>
 104       <li>
 105         <script>
 106           document.write('<a target="result" href="' + mkRecDepURL + '">recursive direct</a> (graph)');
 107         </script>
 108       </li>
 109       <li>
 110         <script>
 111           document.write('<a target="result" href="' + mkInvRecDepURL + '">recursive inverse</a> (graph)');
 112         </script>
 113       </li>
 114     </ul>
 115   </li>
 116 </ul>
 117 <hr />
 118 <ul class="control">
 119   <li> Download
 120     <ul class="control2">
 121       <li>
 122         <script>
 123          document.write('<a href="' + CICURL + '" target="result">CIC XML</a>');
 124         </script>
 125           </li>
 126       <li>
 127         <script>
 128          document.write('<a href="' + MathMLContentURL + '" target="result">MathML Content</a>');
 129         </script>
 130       </li>
 131       <li>
 132         <script>
 133          document.write('<a href="' + MathMLPresentationURL + '" target="result">MathML Presentation</a>');
 134         </script>
 135       </li>
 136       <li>
 137         <script>
 138          document.write('<a href="' + HTMLURL + '" target="result">HTML</a>');
 139         </script>
 140       </li>
 141     </ul>
 142   </li>
 143   <li>
 144     Download metadata
 145     <ul class="control2">
 146       <li>
 147         <script>
 148           document.write('<a target="result" href="' + DirectRDFURL + '">direct dependencies</a>');
 149         </script>
 150       </li>
 151       <li>
 152         <script>
 153           document.write('<a target="result" href="' + InverseRDFURL + '">inverse dependencies</a>');
 154         </script>
 155       </li>
 156       <li>
 157         <script>
 158           document.write('<a target="result" href="' + DCRDFURL + '">Dublin Core</a>');
 159         </script>
 160       </li>
 161     </ul>
 162   </li>
 163 </ul>
 164 <hr />
 165 <div class="center">
 166   <a href="http://helm.cs.unibo.it" target="_top">HELM home</a>
 167 </div>
 168 </body>
 169 </html>