roby 0.7.3 → 0.8.0

data/.gitignore

@@ -1,29 +0,0 @@
-Makefile
-ext/*/*.o
-ext/*/*.so
-ext/*/mkmf.log
-lib/roby_*.so
-*_ui.rb
-
-doc/rdoc
-doc/cache
-
-.*.swp
-
-plugins/genom/test/prefix.init
-plugins/genom/test/prefix.mockup
-plugins/genom/test/modules/*/*.pc
-plugins/genom/test/modules/*/Makefile.in
-plugins/genom/test/modules/*/config.status
-plugins/genom/test/modules/*/configure
-plugins/genom/test/modules/*/config.log
-plugins/genom/test/modules/*/.genom
-plugins/genom/test/modules/*/local.mk
-plugins/genom/test/modules/*/server
-plugins/genom/test/modules/*/*/posix-obj
-plugins/genom/test/modules/*/libtool
-plugins/genom/test/modules/*/autoconf
-plugins/genom/test/modules/*/libtool
-plugins/genom/test/modules/*/config.mk
-plugins/genom/test/modules/*/autogen
-

data/doc/styles/allison.css

@@ -1,314 +0,0 @@
-
-/* 
- Allison 2 template
- Copyright 2007, 2008 Cloudburst, LLC. Licensed under the AFL 3. See the included LICENSE file.
-*/
-
-/* default styles */
-
-* {
-  margin: 0
-  padding: 0
-  border: none
-}
-
-@default = "#000"
-@background = "#fff"
-@very_light = "#e4ebed"
-@light = "#ccd5dc"
-@medium = "#304878"
-@dark = "#181848"
-
-@buffer = 6
-
-.clear {
-  clear: both
-}
-
-a {
-  color: @medium
-  font-weight: bold
-  text-decoration: none
-}
-
-a:hover {
-  text-decoration: underline
-}
-
-html, body {
-	color: @default
-	font-size: @font_size = 13
-	font-family: helvetica, verdana, sans
-	background-color: @background
-	text-align: center
-	margin: 0
-	padding: 0
-}
-
-p, ul, ol {
-  line-height: @lineheight = 16
-} li {
-  margin: @buffer / 2
-  _margin-left: 40px
-} p, pre, table, ol, ul {
-  margin: @lineheight
-} #item_name {
-  margin-top: -8px
-}
-
-h1 {
-  font-size: 22px
-  margin-top: @lineheight
-} h2, h3 {
-  font-size: @medium_header_size = 18
-  margin: @buffer
-  margin-right: 0
-  padding-top: @buffer * 2
-} 
-
-/* center everything */
-
-#container {
-  margin: 20px auto 0 auto
-  width: @width = 900
-  text-align: left
-}
-
-/* header stuff */
-
-#header {
-   padding: @buffer
-   padding-top: @buffer / 2
-   width: @width - @buffer * 2
-   height: @header_height = 64 - @buffer * 2
-   _height: @header_height + @buffer
-   margin-bottom: @buffer * 2
-   vertical-align: baseline
-   background-color: @dark
-   overflow: hidden
-} .curve {
-  background-color: @dark
-  margin: 0
-  padding: 0
-  height: 1px
-  overflow: hidden /* again, ie problem */
-} 
-
-def curve(div_id, curve_array, width); s = ""; curve_array.length.times {|n| s += "\n##{div_id}#{curve_array.length - 1 - n}{border-left: #{curve_array[n]}px solid #{@background}; border-right: #{curve_array[n]}px solid #{@background}; width: #{width - curve_array[n]*2}px; _width: #{width - 12}px; }"}; s; end
-@curves = [1, 1, 2, 3, 4, 6]
-
-curve("preheader_curve_", @curves, @width)
-
-#header h1 {
-  color: @background
-  font-size: 30px
-  margin: 4px 0 0 0 
- } #header p {
-  margin: 0
-  padding: 0
-  padding-left: 3px
-  font-size: 16px
-  color: @background
-} #header a {
-  color: @background
-  text-decoration: none
-  font-weight: bold
-}
-
-/* basic layout and navigation bars */
-  
-#left {
-  background-color: @dark
-  width: @left_width = 220
-  float: left
-  _width: @left_width - @buffer * 2
-  margin-bottom: @buffer * 4
-} #left a {
-  line-height: 14px
-} 
-
-/* navigation bar colors and text styles */
-
-.navigation {
-  width: @left_width - @buffer * 4
-  margin: @buffer
-  padding: @buffer
-  text-align: left
-  background-color: @background
-  overflow: hidden
-} .navigation h3 {
-  font-weight: bold
-  margin-bottom: 5px  
-} .navigation span, .navigation a {
-  margin-left: @buffer
-} #includes .navigation span, #includes .navigation a {
-  margin-left: 0
-} .darker {
-  background-color: @very_light 
-} #spacer {
-  background-color: @background
-  height: @buffer * 3
-  display: none
-}
-
-/* content area */
-
-#content {
-  padding: @content_padding = 20
-  width: @width - @left_width - @content_padding * 2
-  float: left
-  min-height: 450px
-  margin: 0
-  margin-bottom: -4px
-} #content img {
-  padding-top: @buffer
-  padding-bottom: @buffer * 2
-}
-
-#content h1, h2 {
-  border-top: 1px solid @very_light
-} #content h1 {
-  padding-top: @buffer * 3
-} #content #item_name { /* why does this need to be fully qualified? */
-  padding-top: 0
-  border: none
-}
-
-/* footer */
-
-#footer {
-  text-align: center
-  background-color: @background
-  padding: @buffer * 3
-  border-top: 1px solid @very_light
-  color: @light
-} #footer a {
-  font-weight: normal
-  color: @light
-}
-
-/* for that dumb redirect index page I can't avoid */
-
-#redirect {
-  text-align: center  
-} #redirect a {
-  color: @dark
-}
-
-/* tables */
-
-table {
-  width: @width - @left_width - 95
-  margin-right: 0
-  border-collapse: collapse
-  border: 1px solid @very_light
-} td, th {
-  background-color: @background
-  text-align: left
-  padding: @buffer
-  line-height: 14px
-  font-size: @font_size
-} td.normal {
-  font-family: @monospace = "Courier, Courier New, monospace"
-  font-size: @monospace_size = 12
-} td.highlight {
-  color: @medium
-}  
-
-/* method_block details */
-  
-div.method_block {
-  border-bottom: 1px solid @very_light
-  margin-left: 20px
-  margin-bottom: -17px
-  margin-top: 17px
-} div.method_block h3 {
-  color: @dark
-  margin-left: 0
-  padding: 0
-} #content div.method_block h1, #content #description h1 { 
-  margin-left: @buffer
-  color: @light
-} div.method_block a.small { /* where is this used? */
-  font-size: 3px
-  line-height: 3px
-} 
-
-/* index includes on the navigation bar */
-
-div.index a {
-  font-size: @font_size
-} #method {
-  display: none 
-} #file, #class {
-  display: block
-} div.list_header {
-  float: left
-} div.list_header_link {
-  float: right
-  padding-top: 3px
-} div.list_header_link a {
-  font-weight: normal
-} div.navigation h3, .list_header_link {
-  margin: 0
-  margin-top: @buffer
-  margin-bottom: @buffer
-  padding: 0
-}
-
-.index label {
-  font-size: @font_size
-} .index form input {
-  width: @left_width - @buffer * 14
-} .index form {
-   margin-bottom: @buffer
-}
-
-ol, ul {
-  margin-left: @buffer
-} 
-
-p.source_link a {
-  text-align: right
-  font-weight: normal
-} div.source {
-  display: none
-} pre, tt {
-  color: @dark
-  font-weight: normal
-  font-family: @monospace
-  font-size: @monospace_size
-} pre {
-  line-height: 14px
-  margin-left: @buffer * 2
-  overflow: auto
-  /* next 4 lines because IE sucks */
-  _position: relative
-  _width: @width - @left_width - (@buffer * 15 + 3)
-  _overflow-x:scroll
-  _overflow-y:visible
-} b tt, tt b {
-  font-weight: bold
-} div.source g {
-  margin-left: 0
-} p.source_link {
-  text-align: center
-} 
-
-/* source code highlighting */
-
-.source pre {
-  color: black
-}
-pre .ruby-value, pre .ruby-symbol {
-  color: @blue = "#1104bb"
-} pre .ruby-value.str, pre .ruby-node {
-  color: @dark
-} pre .ruby-ivar, pre .ruby-cvar {
-} pre .ruby-comment {
-  color: @green = "#009500"
-} pre .ruby-constant {
-  color: @orange = "#cd8802"
-} pre .ruby-keyword {
-  color: @purple = "#8d04aa"
-} 

data/doc/styles/allison.js

@@ -1,316 +0,0 @@
-
-// Allison template
-// Copyright 2007, 2008 Cloudburst, LLC. Licensed under the AFL 3. See the included LICENSE file.
-
-var href_base = '%style_url%'.replace(/(.*\/).*/, '$1'); // inline js is good for something  
-
-function $(id) {
-    if (document.getElementById)
-      elem = document.getElementById(id);
-    else if ( document.all )
-      elem = eval("document.all." + id);
-    else
-      return false;
-    return elem;
-}
-
-  function toggle(id) {
-    elem = $(id);
-    elemStyle = elem.style;   
-    if (elemStyle.display == "block") {
-      elemStyle.display = "none"
-    } else {
-      elemStyle.display = "block"
-    }
-    return true;
-  }
-
-  function toggleText(id) {
-    elem = $(id)
-    if (m = elem.innerHTML.match(/(Hide)(.*)/)) {
-      elem.innerHTML = "Show" + m[2];
-    } else if (m = elem.innerHTML.match(/(Show)(.*)/)) {
-      elem.innerHTML = "Hide" + m[2];
-    }
-    return true;
-  }
-
-function span(s, klass) {
-  return '<span class="' + klass + '">' + s + '</span>';
-}
-  
-function highlightSymbols() {
-  pres = document.getElementsByTagName('pre');
-  for(var i = 0; i < pres.length; i++) {
-    pre = pres[i];
-    spans = pre.getElementsByTagName('span');
-    for(var k = 0; k < spans.length; k++) {
-      span = spans[k];
-      if (span.className.match(/ruby-identifier/)) {
-        if (span.innerHTML.match(/^:/)) {
-          span.className += " ruby-symbol";
-        }
-      }
-    }
-  }
-}
-
- function hasClass(obj) {
-     var result = false;
-     if (obj.getAttributeNode("class") != null) {
-         result = obj.getAttributeNode("class").value;
-     }
-     return result;
-  }   
-
- function stripe() {
-    var even = true;
-    var color = "#e4ebed";
-    var tables = document.getElementsByTagName('table');
-    if (tables.length == 0) { return; }
-    for (var h = 0; h < tables.length; h++) {
-        var trs = tables[h].getElementsByTagName("tr");
-        for (var i = 0; i < trs.length; i++) {
-          var tds = trs[i].getElementsByTagName("td");
-            for (var j = 0; j < tds.length; j++) {       
-              if (hasClass(tds[j]) != "first") {                
-              var mytd = tds[j];
-              if (even) {
-                mytd.style.backgroundColor = color;
-              }         
-            }
-          }
-          even =  ! even;
-      }
-    }
-  }
-  
-function ajaxGet(url) {
-  url = (href_base + url).replace('/./', '/')
-  var req = false;
-
-  if (window.ActiveXObject) {
-    try {
-      // stupid hack because IE7 disables local Ajax with the native xmlhttprequest object
-      // for security purposes. Yet ActiveX still works. Thanks, Microsoft. I hate you. Die.
-      req = new ActiveXObject("MSXML2.XMLHTTP.3.0");
-    } catch (e) {
-      try {
-        /* IE 6 and maybe 5, don't know, don't care */
-        req = new ActiveXObject("Msxml2.XMLHTTP");
-      } catch (e) {
-        try {
-          req = new ActiveXObject("Microsoft.XMLHTTP");
-        } catch (e) {
-          req = false;
-        }
-      }
-    }
-  }
-    
-  /* real browsers */
-  if (!req && window.XMLHttpRequest) {
-    try {
-      req = new XMLHttpRequest();
-    } catch (e) {
-      req = false;
-    }
-  } 
-  
-  if (req) {
-    req.open('GET', url, false);
-    req.send(null);
-    return req.responseText;
-  } else {
-    return "Ajax error";  
-  }
-}
-
-
-function addEvent(elm, evType, fn, useCapture) {
-	if (elm.addEventListener) {
-	  elm.addEventListener(evType, fn, useCapture);  
-  	return true;
-	} else if (elm.attachEvent) {
-  	var r = elm.attachEvent('on' + evType, fn);  
-	  return r;  
-	} else {
-  	elm['on' + evType] = fn;
-	}
-}
-
-function insertIndices() {
-  pages = ["class", "file", "method"]
-  for (x in pages) { 
-    $(pages[x]).innerHTML += ajaxGet('fr_' + pages[x] + '_index.html').replace(/(href=")/g, '$1' + href_base);
-  }
-  /* mouseoverify method links */
-  links = $('method').getElementsByTagName('a');
-  for (var x = 0; x < links.length; x++) {
-    if (m = links[x].innerHTML.match(/(.*)\s\((.*)\)/)) {
-      links[x].innerHTML = m[1] + '<br>';
-      links[x].title = m[2];
-    }
-  }
-  /* this is stupid */
-  $('class').style.display = "block";
-  $('file').style.display = "block";
-  
-  /* has to be here because IE7 does not guarantee the onLoad callback order */
-  abbreviateIndicesInner(["class", "file"], 25, "a");
-  /* same, linkTitle() depends on the class link list */
-  linkTitle();
-}
-
-function abbreviateIndices() {
-  var ids = ["defined_in", "child_of", "includes", "requires", "method", "methods"];
-  abbreviateIndicesInner(ids, 25, 'a');
-  abbreviateIndicesInner(ids, 25, 'span');
-}
-
-function abbreviateIndicesInner(indices, amount, tag) {
-  for (var x = 0; x < indices.length; x++) { 
-    var the_index = $(indices[x]);
-    if (the_index) {
-      links = the_index.getElementsByTagName(tag);
-      for (var y = 0; y < links.length; y++) {
-        var link = links[y];
-        if (link.getElementsByTagName('span').length == 0 && link.getElementsByTagName('a').length == 0) {
-          // avoid nesting
-          link.innerHTML = link.innerHTML.replace(/<br>|\n/gi, '');
-          link.title = link.innerHTML;
-          link.innerHTML = abbreviate(link.innerHTML, amount) + '<br>';
-        }
-      }
-    }
-  }
-}
-
-function linkTitle() {
-  
-  /* grab the correct title element from the index */
-  var index_page = ajaxGet('index.html');
-  title_text = index_page.match(/<title>(.*)<\/title>/m)[1];
-  document.title = title_text + " - " + document.title;
-  var p = $('header').getElementsByTagName('p')[0]
-  if (p.innerHTML.match(/^\s*$/)) {
-    p.innerHTML = title_text;
-  } else {
-    p.innerHTML = title_text + ": " + p.innerHTML;
-  }
-  
-  /* set the link properly */
-  title_link = index_page.match(/<a\s+href="(.*?)"/)[1];
-  var element = $('title');
-  var item_type = "";
-  var item_name = "";
-  if (m = element.innerHTML.match(/(Class:|Module:|File:)\s*(.*)/)) {
-    item_type = m[1];
-    item_name = m[2];
-  } else {
-    item_name = element.innerHTML;
-  }
-  element.innerHTML = '<a href="' + href_base + title_link + '">' + item_type + " " + abbreviate(item_name, 45) + '</a>';
-  element.getElementsByTagName('a')[0].title = item_name
-  
-  /* breadcrumb navigation */
-  items = item_name.split("::");
-  items_new = item_name.split("::");
-  file_links = $('class').getElementsByTagName('a');
-  for (var x = 0; x < items.length - 1; x++ ){
-    var item = items[x];
-    link = ("/classes/" + items.slice(0,x).join("/") + "/" + item + ".html").replace('//', '/');
-    regex = new RegExp(RegExp.escape(link) + '$');
-    for (var y = 0; y < file_links.length; y++) {
-      if (file_links[y].href.match(regex)) {
-         items_new[x] = '<a href="' + href_base + link + '">' + item + '</a>';
-         break;
-      }
-    }  
-  }
-  $('item_name').innerHTML = item_type + ' ' + items_new.join(" :: ");
-}
-
-function abbreviate(s, size) {
-  while (s.length > size) {
-    var old_s = s;
-    s = s.replace(/\s|\n/mg, '');
-    s = s.replace(/([A-Z])[a-z]+/m, '$1');
-    if (!s || old_s == s) {
-      return "..." + s.substring(s.length - size, s.length);
-    }
-  }
-  return s;
-}
-
-function disableSubmit(event) {
-  var keyCode = event.keyCode ? event.keyCode : event.which ? event.which : event.charCode;
-  if (keyCode == 13) {
-    return false;
-  } else {
-    return true;
-  }
-}
-  
-function filterList(id, s, event) {
-  
-  /* some weak escaping */
-  s = s.replace(/[^\w\d\.\_\-\/\:\=\[\]\?\!]/g, '');
-  s = RegExp.escape(s);
-  
-  var show_all = false;
-  if (s.match(/^\s*$/)) {
-    show_all = true;
-  }
-  
-  links = $(id).getElementsByTagName('a')
-  regex = new RegExp(s, 'i');
-  
-  for (var x = 0; x < links.length; x++) {
-    var link = links[x];
-    if (show_all) {
-      link.style.display = 'inline';
-    } else {
-       if (link.innerHTML.match(regex)) {        
-         link.style.display = 'inline';
-       } else {
-         link.style.display = 'none';
-       }
-    }
-  }
-  return true;
-}
-
-RegExp.escape = function(text) {
-  if (!arguments.callee.sRE) {
-    var specials = ['/', '.', '*', '+', '?', '|', '(', ')', '[', ']', '{', '}', '\\\\'];
-    arguments.callee.sRE = new RegExp(
-      '(\\\\' + specials.join('|\\\\') + ')', 'g'
-    );
-  }
-  return text.replace(arguments.callee.sRE, '\\\\$1');
-}
-
-function hacks() {
-  // show the spacer if necessary, 
-  divs = document.getElementsByTagName('div');
-  for(var x = 0; x < divs.length; x++) {
-    if (divs[x].className && divs[x].className.match(/top/)) {
-      document.getElementById('spacer').style.display = 'block';
-    }
-  }
-  // remove extra colons from tables
-  tds = document.getElementsByTagName('td');
-  for(var x = 0; x < tds.length; x++) {
-    str = tds[x].innerHTML
-    if (str.charAt(str.length - 1) == ":") {
-      tds[x].innerHTML = str.slice(0, str.length - 1)
-    }
-  }
-}
-
-addEvent(window, 'load', insertIndices, false);
-addEvent(window, 'load', abbreviateIndices, false);
-addEvent(window, 'load', stripe, false);
-addEvent(window, 'load', highlightSymbols, false);
-addEvent(window, 'load', hacks, false);