blob: 7d580c21b7c5935f0b0ac8133efb238a0f0532b0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
package com.seaofnodes.simple;
/** Tight/tiny StringBuilder wrapper.
* Short short names on purpose; so they don't obscure the printing.
* Can't believe this wasn't done long, long ago. */
public final class SB {
private final StringBuilder _sb;
private int _indent = 0;
public SB( ) { _sb = new StringBuilder( ); }
public SB(String s) { _sb = new StringBuilder(s); }
public SB p( String s ) { _sb.append(s); return this; }
public SB p( float s ) {
if( Float.isNaN(s) )
_sb.append( "Float.NaN");
else if( Float.isInfinite(s) ) {
_sb.append(s > 0 ? "Float.POSITIVE_INFINITY" : "Float.NEGATIVE_INFINITY");
} else _sb.append(s);
return this;
}
public SB p( double s ) {
if( Double.isNaN(s) )
_sb.append("Double.NaN");
else if( Double.isInfinite(s) ) {
_sb.append(s > 0 ? "Double.POSITIVE_INFINITY" : "Double.NEGATIVE_INFINITY");
} else _sb.append(s);
return this;
}
public SB p( char s ) { _sb.append(s); return this; }
public SB p( int s ) { _sb.append(s); return this; }
public SB p( long s ) { _sb.append(s); return this; }
public SB p( boolean s) { _sb.append(s); return this; }
// 4 hex digits
public SB hex4(int s) {
assert (s>>4*4)==0; // Fits in 16 bits
for( int i=0; i<4; i++ ) {
int digit = (s>>((3-i)*4)) & 0xf;
_sb.append((char)((digit <= 9 ? '0' : ('A'-10))+digit));
}
return this;
}
// Fixed width field
public SB fix( int sz, String s ) {
assert sz >=0;
for( int i=0; i<sz; i++ )
_sb.append( i < s.length() ? s.charAt(i) : ' ');
return this;
}
// Not spelled "p" on purpose: too easy to accidentally say "p(1.0)" and
// suddenly call the autoboxed version.
public SB pobj( Object s ) { _sb.append(s.toString()); return this; }
public SB i( int d ) { for( int i=0; i<d+_indent; i++ ) p(" "); return this; }
public SB i( ) { return i(0); }
public SB ip(String s) { return i().p(s); }
public SB s() { _sb.append(' '); return this; }
// Increase indentation
public SB ii( int i) { _indent += i; return this; }
public SB ii() { return ii(1); }
// Decrease indentation
public SB di( int i) { _indent -= i; return this; }
public SB di() { return di(1); }
public SB nl( ) { return p(System.lineSeparator()); }
// Last printed a nl
public boolean was_nl() {
int len = _sb.length();
String nl = System.lineSeparator();
int nlen = nl.length();
if( len < nlen ) return false;
for( int i=0; i<nlen; i++ )
if( _sb.charAt(len-nlen+i)!=nl.charAt(i) )
return false;
return true;
}
// Delete last char. Useful when doing string-joins and JSON printing and an
// extra separater char needs to be removed:
//
// sb.p('[');
// for( Foo foo : foos )
// sb.p(foo).p(',');
// sb.unchar().p(']'); // remove extra trailing comma
//
public SB unchar() { return unchar(1); }
public SB unchar(int x) { _sb.setLength(_sb.length()-x); return this; }
public SB clear() { _sb.setLength(0); return this; }
public int len() { return _sb.length(); }
@Override public String toString() { return _sb.toString(); }
}
|
