diff options
Diffstat (limited to 'www/images/fileformat')
26 files changed, 197 insertions, 0 deletions
diff --git a/www/images/fileformat/db_connection.gif b/www/images/fileformat/db_connection.gif Binary files differnew file mode 100644 index 0000000..5894496 --- /dev/null +++ b/www/images/fileformat/db_connection.gif diff --git a/www/images/fileformat/examplepop.gif b/www/images/fileformat/examplepop.gif Binary files differnew file mode 100644 index 0000000..9483749 --- /dev/null +++ b/www/images/fileformat/examplepop.gif diff --git a/www/images/fileformat/fileio_diagrams.odg b/www/images/fileformat/fileio_diagrams.odg Binary files differnew file mode 100644 index 0000000..15a9561 --- /dev/null +++ b/www/images/fileformat/fileio_diagrams.odg diff --git a/www/images/fileformat/filesystem1.gif b/www/images/fileformat/filesystem1.gif Binary files differnew file mode 100644 index 0000000..0e33666 --- /dev/null +++ b/www/images/fileformat/filesystem1.gif diff --git a/www/images/fileformat/filesystem2.gif b/www/images/fileformat/filesystem2.gif Binary files differnew file mode 100644 index 0000000..d890108 --- /dev/null +++ b/www/images/fileformat/filesystem2.gif diff --git a/www/images/fileformat/freelistpage.gif b/www/images/fileformat/freelistpage.gif Binary files differnew file mode 100644 index 0000000..07711ff --- /dev/null +++ b/www/images/fileformat/freelistpage.gif diff --git a/www/images/fileformat/indexlongrecord.gif b/www/images/fileformat/indexlongrecord.gif Binary files differnew file mode 100644 index 0000000..84adc23 --- /dev/null +++ b/www/images/fileformat/indexlongrecord.gif diff --git a/www/images/fileformat/indexpage.gif b/www/images/fileformat/indexpage.gif Binary files differnew file mode 100644 index 0000000..eb28668 --- /dev/null +++ b/www/images/fileformat/indexpage.gif diff --git a/www/images/fileformat/indexpage.odg b/www/images/fileformat/indexpage.odg Binary files differnew file mode 100644 index 0000000..c3c492a --- /dev/null +++ b/www/images/fileformat/indexpage.odg diff --git a/www/images/fileformat/indexshortrecord.gif b/www/images/fileformat/indexshortrecord.gif Binary files differnew file mode 100644 index 0000000..6b0853b --- /dev/null +++ b/www/images/fileformat/indexshortrecord.gif diff --git a/www/images/fileformat/indextree.gif b/www/images/fileformat/indextree.gif Binary files differnew file mode 100644 index 0000000..414b16f --- /dev/null +++ b/www/images/fileformat/indextree.gif diff --git a/www/images/fileformat/journal_format.gif b/www/images/fileformat/journal_format.gif Binary files differnew file mode 100644 index 0000000..36b83d1 --- /dev/null +++ b/www/images/fileformat/journal_format.gif diff --git a/www/images/fileformat/journal_header.gif b/www/images/fileformat/journal_header.gif Binary files differnew file mode 100644 index 0000000..9dd8d1e --- /dev/null +++ b/www/images/fileformat/journal_header.gif diff --git a/www/images/fileformat/journal_record.gif b/www/images/fileformat/journal_record.gif Binary files differnew file mode 100644 index 0000000..49086f2 --- /dev/null +++ b/www/images/fileformat/journal_record.gif diff --git a/www/images/fileformat/master_journal_ptr.gif b/www/images/fileformat/master_journal_ptr.gif Binary files differnew file mode 100644 index 0000000..2223776 --- /dev/null +++ b/www/images/fileformat/master_journal_ptr.gif diff --git a/www/images/fileformat/overflowpage.gif b/www/images/fileformat/overflowpage.gif Binary files differnew file mode 100644 index 0000000..24da1a1 --- /dev/null +++ b/www/images/fileformat/overflowpage.gif diff --git a/www/images/fileformat/pointermapentry.gif b/www/images/fileformat/pointermapentry.gif Binary files differnew file mode 100644 index 0000000..a8dee15 --- /dev/null +++ b/www/images/fileformat/pointermapentry.gif diff --git a/www/images/fileformat/recordformat.gif b/www/images/fileformat/recordformat.gif Binary files differnew file mode 100644 index 0000000..42d5a9f --- /dev/null +++ b/www/images/fileformat/recordformat.gif diff --git a/www/images/fileformat/rtdocs.css b/www/images/fileformat/rtdocs.css new file mode 100644 index 0000000..ce2a5c2 --- /dev/null +++ b/www/images/fileformat/rtdocs.css @@ -0,0 +1,81 @@ + /* Style for requirements paragraph. */ + .req { margin: 1.0em 10ex; } + .req span { color: darkblue } + + .subreq { margin: 1.0em 5ex 1.0em 15ex; color: darkblue } + .subsubreq { margin: 1.0em 5ex 1.0em 20ex; color: darkblue } + + .req:before { color: black; content: "[" attr(id) "] "} + .subreq:before { color: black; content: "[" attr(id) "] "} + .subsubreq:before { color: black; content: "[SUBSUBREQ] " } + + /* The dark-green color used for headings. */ + h1,h2,h3,h4,#toc_header,#document_title { color: #80a796 } + + .req code {display: block; margin: 0.5em 5ex} + code {white-space: pre} + + /* Style for content headings */ + h2 { margin-left: 10px } + h3 { margin-left: 20px } + h4 { margin-left: 30px } + h1,h2,h3,h4 { font-weight: normal } + + /* Style for document and toc headings */ + #toc_header { font-size: 1.5em; margin: 1.0em; } + #document_title { font-size: 2em; text-align: center } + + #toc a { color: darkblue ; text-decoration: none } + + /* Document font */ + body { font-family: sans-serif ; font-size:14px ; } + + /* Margins for block boxes that occur in the document flow. */ + p,ul,ol { margin: 1em 5ex } + td p, td ul, td ol { margin: 1em auto } + + /* Table style */ + table.striped, table#glossary { margin: 1em auto; width: 80% ; border-spacing: 0} + .striped th, #glossary th { + white-space:nowrap; + text-align:left; + border-bottom: solid 1px #444444; + padding: 0.2em 1ex; + } + .striped td, #glossary td { vertical-align: top } + .striped td, #glossary td { padding: 0.2em 1ex; } + + .spacedlist li { margin-top: 0.5em ; margin-bottom: 0.5em } + + li p { margin: 1em auto ; padding: 0 } + + /* Style for "todo" notes. These are represented by markup like: + ** + ** <span class=todo>Fix this bit!</span> + ** <p class=todo>Longer todo note.</p> + */ + .todo { color: #AA3333 ; font-style : italic } + .todo:before { content: 'TODO:' } + p.todo { border: solid #AA3333 1px; padding: 1ex } + + cite a, cite a:visited { color: inherit; text-decoration: none ; font-style: normal; } + .defnlink, .reqlink { + color: inherit; + text-decoration: none; + } + .defnlink { font-style: italic } + .defnlink:visited,.reqlink:visited { color: inherit } + h1 .defnlink, h2 .defnlink, h3 .defnlink, h4 .defnlink, .defn .defnlink{ font-style: inherit } + :link:hover,:visited:hover { background: wheat } + + .defn { white-space: nowrap } + + img { + display:block; + } + + pre.api { + margin: 1em 15ex; + font-size: 16px; + } + diff --git a/www/images/fileformat/rtdocs.js b/www/images/fileformat/rtdocs.js new file mode 100644 index 0000000..a1b66ed --- /dev/null +++ b/www/images/fileformat/rtdocs.js @@ -0,0 +1,116 @@ + + +function populate_toc () { + var children = document.getElementsByTagName("h1").item(0).parentNode.childNodes + var toc = "" + + var counters = new Array() + counters[1] = 0 + counters[2] = 0 + counters[3] = 0 + counters[4] = 0 + + /* Generate the table of contents */ + for(var ii=0; ii<children.length; ii++){ + var node = children.item(ii) + var iHeader = -1 + if( node.tagName == "H1" ){ iHeader = 1 } + if( node.tagName == "H2" ){ iHeader = 2 } + if( node.tagName == "H3" ){ iHeader = 3 } + if( node.tagName == "H4" ){ iHeader = 4 } + + if( iHeader>0 ){ + var anchor = "tocentry_" + ii + + for(var jj=iHeader+1; jj<=4; jj++){ counters[jj] = 0 } + counters[iHeader]++ + + var number = "" + for(var jj=1; jj<=iHeader; jj++){ number += counters[jj] + "." } + + toc += '<div style="margin-left:' + (iHeader*6) + 'ex">' + toc += '<a href="#' + anchor + '">' + number + " " + node.innerHTML + toc += "</a></div>" + + var a = '<a style="color:inherit" name="' + anchor + '">' + number + '</a>' + node.innerHTML = a + " " + node.innerHTML + } + } + document.getElementById("toc").innerHTML = toc +} + +function number_figs () { + /* Number the figures in this document */ + var figcounter = 1 + var spans = document.getElementsByTagName("span") + for(var ii=0; ii<spans.length; ii++){ + var s = spans.item(ii) + if( s.className=="fig" ){ + s.innerHTML = figcounter + figcounter++ + } + } +} + +function populate_refs () { + /* Fix up <cite> references */ + var cites = document.getElementsByTagName("cite") + for(var ii=0; ii<cites.length; ii++){ + var t = cites.item(ii).innerHTML + var h = document.getElementById(t) + + if( !h ){ + alert("Bad reference: " + t) + continue + } + + var label + if( h.tagName=="H1" || h.tagName=="H2" + || h.tagName=="H3" || h.tagName=="H4" + ){ + label = h.firstChild.firstChild.data + label = label.substring(0, label.length-1) + } else { + label = h.firstChild.data + } + + cites.item(ii).innerHTML = '<a href="#' + t + '">' + label + '</a>' + } +} + +function decorate_tables () { + /* Decorate tables */ + var tables = document.getElementsByTagName("table") + for(var ii=0; ii<tables.length; ii++){ + var t = tables.item(ii) + if( t.className!="striped" ) continue + var rows = t.rows + for(var jj=1; jj<rows.length; jj += 2){ + rows.item(jj).style.backgroundColor = '#DDDDDD' + } + } +} + +function check_for_duplicates () { + var aReq = new Array(); + var ps = document.getElementsByTagName("p") + + for(var ii=0; ii<ps.length; ii++){ + var p = ps.item(ii) + if( p.className!="req" || !p.id ) continue; + + if( aReq[p.id] ){ + alert("Duplicate requirement number: " + p.id) + } + aReq[p.id] = 1; + } +} + +onload = function () { + number_figs() + populate_toc() + populate_refs() + decorate_tables() + check_for_duplicates() +} + diff --git a/www/images/fileformat/tablelongrecord.gif b/www/images/fileformat/tablelongrecord.gif Binary files differnew file mode 100644 index 0000000..7f02016 --- /dev/null +++ b/www/images/fileformat/tablelongrecord.gif diff --git a/www/images/fileformat/tablenodecell.gif b/www/images/fileformat/tablenodecell.gif Binary files differnew file mode 100644 index 0000000..5b4493d --- /dev/null +++ b/www/images/fileformat/tablenodecell.gif diff --git a/www/images/fileformat/tableshortrecord.gif b/www/images/fileformat/tableshortrecord.gif Binary files differnew file mode 100644 index 0000000..95a8a43 --- /dev/null +++ b/www/images/fileformat/tableshortrecord.gif diff --git a/www/images/fileformat/tabletree.gif b/www/images/fileformat/tabletree.gif Binary files differnew file mode 100644 index 0000000..92a2a21 --- /dev/null +++ b/www/images/fileformat/tabletree.gif diff --git a/www/images/fileformat/vfs_role.gif b/www/images/fileformat/vfs_role.gif Binary files differnew file mode 100644 index 0000000..69c5309 --- /dev/null +++ b/www/images/fileformat/vfs_role.gif diff --git a/www/images/fileformat/write_transaction.gif b/www/images/fileformat/write_transaction.gif Binary files differnew file mode 100644 index 0000000..6a05904 --- /dev/null +++ b/www/images/fileformat/write_transaction.gif |
