(int tag)
| 935 | char[] buf10; |
| 936 | |
| 937 | String tag2hex(int tag) { |
| 938 | if (buf10==null) { |
| 939 | buf10 = new char[11]; |
| 940 | buf10[4] = ','; |
| 941 | buf10[9] = ' '; |
| 942 | } |
| 943 | int pos = 8; |
| 944 | while (pos>=0) { |
| 945 | buf10[pos] = Tools.hexDigits[tag&0xf]; |
| 946 | tag >>>= 4; |
| 947 | pos--; |
| 948 | if (pos==4) pos--; // skip coma |
| 949 | } |
| 950 | return new String(buf10); |
| 951 | } |
| 952 | |
| 953 | double s2d(String s) { |
| 954 | if (s==null) return 0.0; |