Specification by examples

 Test and specification cases for Java-printf()
==============================================
Date: Wed Apr 23 10:40:20 CEST 2003

 001. printf("%c", p.add('A'))
      output: "A"
 002. printf("%c", p.add((byte*)65))
      output: "A"
 003. printf("%c", p.add((short*)65))
      output: "A"
 004. printf("%c", p.add(2147418177))
      output: "A"
 005. printf("%c", p.add(9223372036854710337l))
      output: "A"
 006. printf("%2c", p.add('A'))
      output: " A"
 007. printf("%-3c", p.add('A'))
      output: "A  "
 008. printf("%#c", p.add('A'))
      output: "\u0041"
 009. printf("%#8c", p.add('A'))
      output: "  \u0041"
 010. printf("%#0c", p.add('A'))
      output: "\u0041"
 011. printf("%#08c", p.add('A'))
      output: "00\u0041"
 012. printf("%s", p.add("Hello world!"))
      output: "Hello world!"
 013. printf("%3s", p.add("Hello world!"))
      output: "Hello world!"
 014. printf("%14s", p.add("Hello world!"))
      output: "  Hello world!"
 015. printf("%.8s", p.add("Hello world!"))
      output: "Hello wo"
 016. printf("%-11.8s", p.add("Hello world!"))
      output: "Hello wo   "
 017. printf("%.15s", p.add("Hello world!"))
      output: "Hello world!"
 018. printf("%s", p.add(null))
      output: "null"
 019. printf("%d", p.add('A'))
      output: "65"
 020. printf("%d", p.add((byte*)127))
      output: "127"
 021. printf("%d", p.add((byte*)-128))
      output: "-128"
 022. printf("%d", p.add((short*)32767))
      output: "32767"
 023. printf("%d", p.add((short*)-32768))
      output: "-32768"
 024. printf("%d", p.add(2147483647))
      output: "2147483647"
 025. printf("%d", p.add(-2147483648))
      output: "-2147483648"
 026. printf("%d", p.add(9223372036854775807l))
      output: "9223372036854775807"
 027. printf("%d", p.add(-9223372036854775808l))
      output: "-9223372036854775808"
 028. printf("%+d", p.add(2147483647))
      output: "+2147483647"
 029. printf("% d", p.add(2147483647))
      output: " 2147483647"
 030. printf("% +d", p.add(2147483647))
      output: "+2147483647"
 031. printf("% d", p.add(-2147483648))
      output: "-2147483648"
 032. printf("%12d", p.add(2147483647))
      output: "  2147483647"
 033. printf("%-12d", p.add(-2147483648))
      output: "-2147483648 "
 034. printf("%012d", p.add(2147483647))
      output: "002147483647"
 035. printf("%-012d", p.add(2147483647))
      output: "2147483647  "
 036. printf("%-012d", p.add(-2147483648))
      output: "-2147483648 "
 037. printf("%+012d", p.add(2147483647))
      output: "+02147483647"
 038. printf("%+012d", p.add(-2147483648))
      output: "-02147483648"
 039. printf("% 012d", p.add(2147483647))
      output: " 02147483647"
 040. printf("% 012d", p.add(-2147483648))
      output: "-02147483648"
 041. printf("%d", p.add((float)0.123456))
      output: "0"
 042. printf("%d", p.add((float)-0.12345679))
      output: "0"
 043. printf("%d", p.add(0.1234567890123))
      output: "0"
 044. printf("%d", p.add(-0.12345678901234568))
      output: "0"
 045. printf("%b", p.add('A'))
      output: "1000001"
 046. printf("%b", p.add((byte*)127))
      output: "1111111"
 047. printf("%b", p.add((byte*)-128))
      output: "10000000"
 048. printf("%b", p.add((short*)32767))
      output: "111111111111111"
 049. printf("%b", p.add((short*)-32768))
      output: "1000000000000000"
 050. printf("%#B", p.add(2147483647))
      output: "0B1111111111111111111111111111111"
 051. printf("%#B", p.add(-2147483648))
      output: "0B10000000000000000000000000000000"
 052. printf("%#b", p.add(9223372036854775807l))
      output: "0b111111111111111111111111111111111111111111111111111111111111111"
 053. printf("%#b", p.add(-9223372036854775808l))
      output: "0b1000000000000000000000000000000000000000000000000000000000000000"
 054. printf("%X", p.add('A'))
      output: "41"
 055. printf("%x", p.add((byte*)127))
      output: "7f"
 056. printf("%x", p.add((byte*)-128))
      output: "80"
 057. printf("%X", p.add((short*)32767))
      output: "7FFF"
 058. printf("%X", p.add((short*)-32768))
      output: "8000"
 059. printf("%#X", p.add(2147483647))
      output: "0X7FFFFFFF"
 060. printf("%#X", p.add(-2147483648))
      output: "0X80000000"
 061. printf("%#x", p.add(9223372036854775807l))
      output: "0x7fffffffffffffff"
 062. printf("%#x", p.add(-9223372036854775808l))
      output: "0x8000000000000000"
 063. printf("%o", p.add('A'))
      output: "101"
 064. printf("%o", p.add((byte*)127))
      output: "177"
 065. printf("%o", p.add((byte*)-128))
      output: "200"
 066. printf("%o", p.add((short*)32767))
      output: "77777"
 067. printf("%o", p.add((short*)-32768))
      output: "100000"
 068. printf("%#o", p.add(2147483647))
      output: "017777777777"
 069. printf("%#o", p.add(-2147483648))
      output: "020000000000"
 070. printf("%#o", p.add(9223372036854775807l))
      output: "0777777777777777777777"
 071. printf("%#o", p.add(-9223372036854775808l))
      output: "01000000000000000000000"
 072. printf("%0b", p.add('A'))
      output: "0000000001000001"
 073. printf("%#0b", p.add((byte*)65))
      output: "0b01000001"
 074. printf("%#0b", p.add((byte*)-1))
      output: "0b11111111"
 075. printf("%#0B", p.add((short*)65))
      output: "0B0000000001000001"
 076. printf("%#0B", p.add((short*)-1))
      output: "0B1111111111111111"
 077. printf("%0b", p.add(65))
      output: "00000000000000000000000001000001"
 078. printf("%0b", p.add(-1))
      output: "11111111111111111111111111111111"
 079. printf("%0b", p.add(65l))
      output: "0000000000000000000000000000000000000000000000000000000001000001"
 080. printf("%0b", p.add(-1l))
      output: "1111111111111111111111111111111111111111111111111111111111111111"
 081. printf("%0X", p.add('A'))
      output: "0041"
 082. printf("%#0x", p.add((byte*)65))
      output: "0x41"
 083. printf("%#0x", p.add((byte*)-1))
      output: "0xff"
 084. printf("%#0X", p.add((short*)65))
      output: "0X0041"
 085. printf("%#0X", p.add((short*)-1))
      output: "0XFFFF"
 086. printf("%0X", p.add(65))
      output: "00000041"
 087. printf("%0X", p.add(-1))
      output: "FFFFFFFF"
 088. printf("%0X", p.add(65l))
      output: "0000000000000041"
 089. printf("%0X", p.add(-1l))
      output: "FFFFFFFFFFFFFFFF"
 090. printf("%0o", p.add('A'))
      output: "000101"
 091. printf("%#0o", p.add((byte*)65))
      output: "0101"
 092. printf("%#0o", p.add((byte*)-1))
      output: "0377"
 093. printf("%#0o", p.add((short*)65))
      output: "0000101"
 094. printf("%#0o", p.add((short*)-1))
      output: "0177777"
 095. printf("%0o", p.add(65))
      output: "00000000101"
 096. printf("%0o", p.add(-1))
      output: "37777777777"
 097. printf("%0o", p.add(65l))
      output: "0000000000000000000101"
 098. printf("%0o", p.add(-1l))
      output: "1777777777777777777777"
 099. printf("%08b", p.add('A'))
      output: "01000001"
 100. printf("%08b", p.add((byte*)65))
      output: "01000001"
 101. printf("%08b", p.add((byte*)-1))
      output: "11111111"
 102. printf("%08b", p.add((short*)65))
      output: "01000001"
 103. printf("%08b", p.add((short*)-1))
      output: "1111111111111111"
 104. printf("%08b", p.add(65))
      output: "01000001"
 105. printf("%08b", p.add(-1))
      output: "11111111111111111111111111111111"
 106. printf("%08b", p.add(65l))
      output: "01000001"
 107. printf("%08b", p.add(-1l))
      output: "1111111111111111111111111111111111111111111111111111111111111111"
 108. printf("%04X", p.add('A'))
      output: "0041"
 109. printf("%04X", p.add((byte*)65))
      output: "0041"
 110. printf("%04X", p.add((byte*)-1))
      output: "00FF"
 111. printf("%04X", p.add((short*)65))
      output: "0041"
 112. printf("%04X", p.add((short*)-1))
      output: "FFFF"
 113. printf("%04X", p.add(65))
      output: "0041"
 114. printf("%04X", p.add(-1))
      output: "FFFFFFFF"
 115. printf("%04X", p.add(65l))
      output: "0041"
 116. printf("%04X", p.add(-1l))
      output: "FFFFFFFFFFFFFFFF"
 117. printf("%04o", p.add('A'))
      output: "0101"
 118. printf("%04o", p.add((byte*)65))
      output: "0101"
 119. printf("%04o", p.add((byte*)-1))
      output: "0377"
 120. printf("%04o", p.add((short*)65))
      output: "0101"
 121. printf("%04o", p.add((short*)-1))
      output: "177777"
 122. printf("%04o", p.add(65))
      output: "0101"
 123. printf("%04o", p.add(-1))
      output: "37777777777"
 124. printf("%04o", p.add(65l))
      output: "0101"
 125. printf("%04o", p.add(-1l))
      output: "1777777777777777777777"
 126. printf("%f", p.add((float)0.123456))
      output: "0.123456"
 127. printf("%f", p.add((float)-0.12345679))
      output: "-0.123457"
 128. printf("%f", p.add(0.1234567890123))
      output: "0.123457"
 129. printf("%f", p.add(-0.12345678901234568))
      output: "-0.123457"
 130. printf("%+f", p.add((float)0.123456))
      output: "+0.123456"
 131. printf("%+f", p.add((float)-0.12345679))
      output: "-0.123457"
 132. printf("%+f", p.add(0.1234567890123))
      output: "+0.123457"
 133. printf("%+f", p.add(-0.12345678901234568))
      output: "-0.123457"
 134. printf("% f", p.add((float)0.123456))
      output: " 0.123456"
 135. printf("% f", p.add((float)-0.12345679))
      output: "-0.123457"
 136. printf("% f", p.add(0.1234567890123))
      output: " 0.123457"
 137. printf("% f", p.add(-0.12345678901234568))
      output: "-0.123457"
 138. printf("%-10.4f", p.add((float)0.123456))
      output: "0.1235    "
 139. printf("%10.4f", p.add((float)-0.12345679))
      output: "   -0.1235"
 140. printf("%10.4f", p.add(0.1234567890123))
      output: "    0.1235"
 141. printf("%-10.4f", p.add(-0.12345678901234568))
      output: "-0.1235   "
 142. printf("%010.4f", p.add(0.1234567890123))
      output: "00000.1235"
 143. printf("%-010.4f", p.add(-0.12345678901234568))
      output: "-0.1235   "
 144. printf("%.7f", p.add((float)0.123456))
      output: "0.1234560"
 145. printf("%.7f", p.add((float)-0.12345679))
      output: "-0.1234568"
 146. printf("%.15f", p.add(0.1234567890123))
      output: "0.123456789012300"
 147. printf("%.15f", p.add(-0.12345678901234568))
      output: "-0.123456789012346"
 148. printf("%.1f", p.add(99.99))
      output: "100.0"
 149. printf("%.3f", p.add((byte*)99))
      output: "99.000"
 150. printf("%.3f", p.add((short*)99))
      output: "99.000"
 151. printf("%.3f", p.add(99))
      output: "99.000"
 152. printf("%.3f", p.add(99l))
      output: "99.000"
 153. printf("%e", p.add((float)0.123456))
      output: "1.234560e-01"
 154. printf("%e", p.add((float)-0.12345679))
      output: "-1.234568e-01"
 155. printf("%E", p.add(0.1234567890123))
      output: "1.234568E-01"
 156. printf("%E", p.add(-0.12345678901234568))
      output: "-1.234568E-01"
 157. printf("%+E", p.add((float)0.123456))
      output: "+1.234560E-01"
 158. printf("%+E", p.add((float)-0.12345679))
      output: "-1.234568E-01"
 159. printf("%+e", p.add(0.1234567890123))
      output: "+1.234568e-01"
 160. printf("%+e", p.add(-0.12345678901234568))
      output: "-1.234568e-01"
 161. printf("% e", p.add((float)0.123456))
      output: " 1.234560e-01"
 162. printf("% E", p.add((float)-0.12345679))
      output: "-1.234568E-01"
 163. printf("% e", p.add(0.1234567890123))
      output: " 1.234568e-01"
 164. printf("% E", p.add(-0.12345678901234568))
      output: "-1.234568E-01"
 165. printf("%-10.4E", p.add((float)0.123456))
      output: "1.2346E-01"
 166. printf("%10.4e", p.add((float)-0.12345679))
      output: "-1.2346e-01"
 167. printf("%012.4E", p.add(0.1234567890123))
      output: "001.2346E-01"
 168. printf("%-12.4e", p.add(-0.12345678901234568))
      output: "-1.2346e-01 "
 169. printf("%-012.4E", p.add(0.1234567890123))
      output: "1.2346E-01  "
 170. printf("%.7e", p.add((float)0.123456))
      output: "1.2345600e-01"
 171. printf("%.7e", p.add((float)-0.12345679))
      output: "-1.2345679e-01"
 172. printf("%.15e", p.add(0.1234567890123))
      output: "1.234567890123000e-01"
 173. printf("%.15e", p.add(-0.12345678901234568))
      output: "-1.234567890123457e-01"
 174. printf("%g", p.add((float)0.12345679))
      output: "0.123457"
 175. printf("%g", p.add((float)-0.12345679))
      output: "-0.123457"
 176. printf("%G", p.add(1.2345678901234568E-7))
      output: "1.23457E-07"
 177. printf("%G", p.add(-1.2345678901234567E9))
      output: "-1.23457E+09"
 178. printf("%-10.4G", p.add((float)0.12345679))
      output: "0.1235    "
 179. printf("%10.4g", p.add((float)-0.12345679))
      output: "   -0.1235"
 180. printf("%012.4G", p.add(1.2345678901234568E-7))
      output: "0001.235E-07"
 181. printf("%-12.4g", p.add(-1.2345678901234567E9))
      output: "-1.235e+09  "
 182. printf("%-012.4g", p.add(-1.2345678901234567E9))
      output: "-1.235e+09  "
 183. printf("%1.4g", p.add(1.0E-9))
      output: "1e-09"
 184. printf("%#1.4g", p.add(1.0E-9))
      output: "1.000e-09"
 185. printf("%10.4g", p.add(0.00343))
      output: "   0.00343"
 186. printf("%.4g", p.add(0.343))
      output: "0.343"
 187. printf("%#.4g", p.add(0.343))
      output: "0.3430"
 188. printf("%10.4g", p.add(3.43E-6))
      output: "  3.43e-06"
 189. printf("%#10.4g", p.add(3.43E-6))
      output: " 3.430e-06"
 190. printf("%.4g", p.add(3.43232E-6))
      output: "3.432e-06"
 191. printf("%l", p.add(true))
      output: "true"
 192. printf("%L", p.add(false))
      output: "FALSE"
 193. printf("%.1L", p.add(true))
      output: "T"
 194. printf("%.1l", p.add(false))
      output: "f"
 195. printf("%8.3l", p.add(true))
      output: "     tru"
 196. printf("%-8.3l", p.add(false))
      output: "fal     "
 197. printf("%08.3l", p.add(true))
      output: "     tru"
 198. printf("%-08.3l", p.add(false))
      output: "fal     "
 199. printf("%*.3l", p.add(8).add(true))
      output: "     tru"
 200. printf("%-*.3l", p.add(8).add(false))
      output: "fal     "
 201. printf("%8.*l", p.add(3).add(true))
      output: "     tru"
 202. printf("%-8.*l", p.add(3).add(false))
      output: "fal     "
 203. printf("%*.*l", p.add(8).add(3).add(true))
      output: "     tru"
 204. printf("%-*.*l", p.add(8).add(3).add(false))
      output: "fal     "
 205. printf("%s", p.add(new java.util.Date()))
      output: "Wed Apr 23 10:40:20 CEST 2003"
 206. printf("%.3g", p.add(-9.996))
      output: "-10"
 207. printf("%.3g", p.add(-9.995))
      output: "-10"
 208. printf("%.3g", p.add(-9.994))
      output: "-9.99"
 209. printf("%.4g", p.add(-99.96))
      output: "-99.96"
 210. printf("%.4g", p.add(-99.95))
      output: "-99.95"
 211. printf("%.4g", p.add(-99.94))
      output: "-99.94"
 212. printf("%.1g", p.add(2345.678))
      output: "2e+03"
 213. printf("%.2g", p.add(2345.678))
      output: "2.3e+03"
 214. printf("%.3g", p.add(2345.678))
      output: "2.35e+03"
 215. printf("%.4g", p.add(2345.678))
      output: "2346"
 216. printf("%.5g", p.add(2345.678))
      output: "2345.7"
 217. printf("%.6g", p.add(2345.678))
      output: "2345.68"
 218. printf("%9.2e", p.add(-9.996))
      output: "-1.00e+01"
 219. printf("%9.2e", p.add(-9.995))
      output: "-1.00e+01"
 220. printf("%9.2e", p.add(-9.994))
      output: "-9.99e+00"
 221. printf("%9.2e", p.add(-99.96))
      output: "-1.00e+02"
 222. printf("%9.2e", p.add(-99.95))
      output: "-1.00e+02"
 223. printf("%9.2e", p.add(-99.94))
      output: "-9.99e+01"
 224. printf("%.3e", p.add(4270000.0))
      output: "4.270e+06"
 225. printf("%.2e", p.add(1000.0))
      output: "1.00e+03"
 226. printf("%.2e", p.add(-1000.0))
      output: "-1.00e+03"
 227. printf("%.2e", p.add(100000.0))
      output: "1.00e+05"
 228. printf("%.2e", p.add(-100000.0))
      output: "-1.00e+05"
 229. printf("%.2g", p.add(1000.0))
      output: "1e+03"
 230. printf("%.2g", p.add(-1000.0))
      output: "-1e+03"
 231. printf("%.2g", p.add(100000.0))
      output: "1e+05"
 232. printf("%.2g", p.add(-100000.0))
      output: "-1e+05"
 233. printf("%u", p.add((byte*)127))
      output: "127"
 234. printf("%u", p.add((byte*)-128))
      output: "128"
 235. printf("%u", p.add((byte*)-1))
      output: "255"
 236. printf("%u", p.add((short*)32767))
      output: "32767"
 237. printf("%u", p.add((short*)-32768))
      output: "32768"
 238. printf("%u", p.add((short*)-1))
      output: "65535"
 239. printf("%u", p.add(2147483647))
      output: "2147483647"
 240. printf("%u", p.add(-2147483648))
      output: "2147483648"
 241. printf("%u", p.add(-1))
      output: "4294967295"
Total time: 110 ms