Apache
/
openjpa
mirror of https://github.com/apache/openjpa.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Use correct printf format 

git-svn-id: https://svn.apache.org/repos/asf/openjpa/trunk@947917 13f79535-47bb-0310-9956-ffa450edef68
This commit is contained in:
Pinaki Poddar 2010-05-25 05:21:05 +00:00
parent 4647e2df8f
commit 3c513a0222
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
openjpa-examples/openbooks/src/main/java/openbook/tools/ant/Java2HTMLConverterTask.java
View File

@ -43,7 +43,7 @@ public class Java2HTMLConverterTask extends MatchingTask {
private boolean anchorLineNumber = false;
private boolean addLineBreak = true;
private boolean addExplicitSpace = true;
private String lineNumberFormat = "%%0%4d";
private String lineNumberFormat = "%04d";
private boolean verbose = false;
private List<Arg> _args = new ArrayList<Arg>();

4
openjpa-examples/openbooks/src/main/java/openbook/tools/converter/HTMLTokenRenderer.java
View File

@ -67,7 +67,7 @@ public class HTMLTokenRenderer implements TokenRenderer {
private boolean anchorLineNumber = false;
private boolean addLineBreak = true;
private boolean addExplicitSpace = true;
private String lineNumberFormat = "%%0%4d ";
private String lineNumberFormat = "%04d";
/**
* The CSS named styles.
@ -100,7 +100,7 @@ public class HTMLTokenRenderer implements TokenRenderer {
public String newLine(int line) {
String result = "";
if (showLineNumber) {
result = span(CSS_LINE_NO, fillWhiteSpace(String.format(lineNumberFormat, line)));
result = span(CSS_LINE_NO, String.format(lineNumberFormat, line) + fillWhiteSpace(" "));
}
if (anchorLineNumber) {
result = "<A name=" + quote("line."+line) + ">" + result + "</A>";

2
openjpa-examples/openbooks/src/main/java/openbook/tools/converter/PlainTokenRenderer.java
View File

@ -29,7 +29,7 @@ import org.antlr.runtime.Token;
public class PlainTokenRenderer implements TokenRenderer {
private static final String EMPTY = "";
private boolean showLineNumber;
private String lineNumberFormat = "%%0%4d :";
private String lineNumberFormat = "%04d :";
public String endLine(int line) {
return EMPTY;