aboutsummaryrefslogtreecommitdiff
path: root/src/log2xml
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-03-18 21:04:14 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-03-18 21:04:14 +0000
commit3f3c4cce5a6552016a040999f64dc989d203a9ef (patch)
treec6b57dfa79f336a746bddb8110132b312da375e5 /src/log2xml
parent84c617966b8a78b7385aff04f1ac9b3bb7391898 (diff)
* Added an extra escape code to signal "unimportant" messages. If a tree only has
unimportant messages, it is collapsed by the default. * Also added an optional integer argument to the escape code for opening a nesting level to indicate lack of importance. If set, the tree is collapsed by default.
Diffstat (limited to 'src/log2xml')
-rw-r--r--src/log2xml/log2html.xsl20
-rw-r--r--src/log2xml/log2xml.cc29
-rw-r--r--src/log2xml/treebits.js6
3 files changed, 46 insertions, 9 deletions
diff --git a/src/log2xml/log2html.xsl b/src/log2xml/log2html.xsl
index 667eb5998..f75b2eb86 100644
--- a/src/log2xml/log2html.xsl
+++ b/src/log2xml/log2html.xsl
@@ -24,11 +24,25 @@
</xsl:template>
<xsl:template match="nest">
- <script type='text/javascript'>showTreeToggle("show","hide")</script>
+
+ <!-- The tree should be collapsed by default if all children are
+ unimportant or if the header is unimportant. -->
+ <xsl:variable name="collapsed"
+ select="count(.//line[not(@priority = 3)]) = 0 or ./head[@priority = 3]" />
+
+ <xsl:variable name="style"><xsl:if test="$collapsed">display: none;</xsl:if></xsl:variable>
+ <xsl:variable name="arg"><xsl:choose><xsl:when test="$collapsed">true</xsl:when><xsl:otherwise>false</xsl:otherwise></xsl:choose></xsl:variable>
+
+ <script type='text/javascript'>showTreeToggle(<xsl:value-of select="$collapsed"/>)</script>
<xsl:apply-templates select='head'/>
- <ul class='nesting'>
+
+ <ul class='nesting' style="{$style}">
<xsl:for-each select='line|nest'>
- <xsl:param name="class"><xsl:choose><xsl:when test="position() != last()">line</xsl:when><xsl:otherwise>lastline</xsl:otherwise></xsl:choose></xsl:param>
+
+ <!-- Is this the last line? If so, mark it as such so that it
+ can be rendered differently. -->
+ <xsl:variable name="class"><xsl:choose><xsl:when test="position() != last()">line</xsl:when><xsl:otherwise>lastline</xsl:otherwise></xsl:choose></xsl:variable>
+
<li class='{$class}'>
<span class='lineconn' />
<span class='linebody'>
diff --git a/src/log2xml/log2xml.cc b/src/log2xml/log2xml.cc
index f3e976fd9..cf56374cb 100644
--- a/src/log2xml/log2xml.cc
+++ b/src/log2xml/log2xml.cc
@@ -1,3 +1,4 @@
+#include <vector>
#include <iostream>
#include <cstdio>
#include <string>
@@ -11,6 +12,9 @@ struct Decoder
string line;
bool inHeader;
int level;
+ vector<int> args;
+ bool newNumber;
+ int priority;
Decoder()
{
@@ -18,6 +22,7 @@ struct Decoder
line = "";
inHeader = false;
level = 0;
+ priority = 1;
}
void pushChar(char c);
@@ -39,9 +44,11 @@ void Decoder::pushChar(char c)
break;
case stEscape:
- if (c == '[')
+ if (c == '[') {
state = stCSI;
- else
+ args.clear();
+ newNumber = true;
+ } else
state = stTop; /* !!! wrong */
break;
@@ -54,6 +61,7 @@ void Decoder::pushChar(char c)
level++;
inHeader = true;
cout << "<nest>" << endl;
+ priority = args.size() >= 1 ? args[0] : 1;
break;
case 'q':
if (line.size()) finishLine();
@@ -63,7 +71,19 @@ void Decoder::pushChar(char c)
} else
cerr << "not enough nesting levels" << endl;
break;
+ case 's':
+ if (line.size()) finishLine();
+ priority = args.size() >= 1 ? args[0] : 1;
+ break;
+ }
+ } else if (c >= '0' && c <= '9') {
+ int n = 0;
+ if (!newNumber) {
+ n = args.back() * 10;
+ args.pop_back();
}
+ n += c - '0';
+ args.push_back(n);
}
break;
@@ -76,7 +96,9 @@ void Decoder::finishLine()
string storeDir = "/nix/store/";
int sz = storeDir.size();
string tag = inHeader ? "head" : "line";
- cout << "<" << tag << ">";
+ cout << "<" << tag;
+ if (priority != 1) cout << " priority='" << priority << "'";
+ cout << ">";
for (int i = 0; i < line.size(); i++) {
@@ -113,6 +135,7 @@ void Decoder::finishLine()
cout << "</" << tag << ">" << endl;
line = "";
inHeader = false;
+ priority = 1;
}
diff --git a/src/log2xml/treebits.js b/src/log2xml/treebits.js
index ffd18fbb1..3011b391d 100644
--- a/src/log2xml/treebits.js
+++ b/src/log2xml/treebits.js
@@ -5,13 +5,13 @@
var idCounter = 0;
-function showTreeToggle(show,hide) {
+function showTreeToggle(isHidden) {
if (document.getElementById) {
var id = "toggle_" + idCounter;
document.writeln(
'<a href="javascript:toggleTree(\'' + id + '\')" class="toggle" id="' + id + '">' +
- '<span class="showTree" style="display: none;">+</span>' +
- '<span class="hideTree">-</span>' +
+ '<span class="showTree" ' + (isHidden ? '' : 'style="display: none;"') + '>+</span>' +
+ '<span class="hideTree" ' + (isHidden ? 'style="display: none;"' : '') + '>-</span>' +
'</a>');
idCounter = idCounter + 1;
}