projects
/
sbp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
make ANSI colors disable-able
[sbp.git]
/
src
/
edu
/
berkeley
/
sbp
/
tib
/
TibDoc.java
diff --git
a/src/edu/berkeley/sbp/tib/TibDoc.java
b/src/edu/berkeley/sbp/tib/TibDoc.java
index
2b65690
..
273c639
100644
(file)
--- a/
src/edu/berkeley/sbp/tib/TibDoc.java
+++ b/
src/edu/berkeley/sbp/tib/TibDoc.java
@@
-1,6
+1,4
@@
-// Copyright 2005 the Contributors, as shown in the revision logs.
-// Licensed under the Apache Public Source License 2.0 ("the License").
-// You may not use this file except in compliance with the License.
+// Copyright 2006 all rights reserved; see LICENSE file for BSD-style license
package edu.berkeley.sbp.tib;
import edu.berkeley.sbp.*;
package edu.berkeley.sbp.tib;
import edu.berkeley.sbp.*;
@@
-409,12
+407,14
@@
toContex ll = prefix ++ (concatMap tl ll) ++ suffix
}
public static @bind.as("Citation") Object cite(Object o) { return new Chars("*cite*"); }
}
public static @bind.as("Citation") Object cite(Object o) { return new Chars("*cite*"); }
- public static @bind.as("Symbol") Object sym(Object o) { return null; }
+ public static @bind.as("Symbol") Object sym(String s) { return new Chars(s); }
- public static abstract class List extends Text {
- public @bind.arg Text[][] points;
+ public static abstract class List extends Paragraph {
+ public @bind.arg Text[] preface;
+ public @bind.arg Text[][] points;
public abstract String tag();
public void toHTML(ToHTML.HTML sb) {
public abstract String tag();
public void toHTML(ToHTML.HTML sb) {
+ sb.append(preface);
sb.openTag(tag());
for(Text[] t : points)
sb.tag("li", t);
sb.openTag(tag());
for(Text[] t : points)
sb.tag("li", t);
@@
-729,7
+729,7
@@
toContex ll = prefix ++ (concatMap tl ll) ++ suffix
FileOutputStream fos = new FileOutputStream("/Users/megacz/Desktop/out.dot");
PrintWriter p = new PrintWriter(new OutputStreamWriter(fos));
GraphViz gv = new GraphViz();
FileOutputStream fos = new FileOutputStream("/Users/megacz/Desktop/out.dot");
PrintWriter p = new PrintWriter(new OutputStreamWriter(fos));
GraphViz gv = new GraphViz();
- a.ambiguity.toGraphViz(gv);
+ a.getAmbiguity().toGraphViz(gv);
gv.dump(p);
p.flush();
p.close();
gv.dump(p);
p.flush();
p.close();