8b821d99a3ca84899994afeacfdefafba746a3ce Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/559ad758b4ce0558fba0b19c2d7acf67357d17f2 559ad758b4ce0558fba0b19c2d7acf67357d17f2 2009-09-23T09:22:05-07:00 2009-09-23T09:22:05-07:00 Nicer examples f03d6a6f67ef5edabca42f817d3a67f94f80ca7f Adam Warski adam@warski.org 3dbec7c3100254b108e15ac80a019132792ba343 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/8b821d99a3ca84899994afeacfdefafba746a3ce 8b821d99a3ca84899994afeacfdefafba746a3ce 2009-09-23T08:09:54-07:00 2009-09-23T08:09:54-07:00 More stubs 463c84f44a681b3a1e5433d0d70594f9b2970401 Adam Warski adam@warski.org b6a0c015e9dd43b81c98b1b7a1846e19bf745107 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/3dbec7c3100254b108e15ac80a019132792ba343 3dbec7c3100254b108e15ac80a019132792ba343 2009-09-22T13:16:55-07:00 2009-09-22T13:16:55-07:00 Improving the iterator example 4750fd705fecfb63e3f3b24f57440e8324ebebb8 Adam Warski adam@warski.org 818810d1c4023e690fae1bc6d9a349e7e9101aa4 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/b6a0c015e9dd43b81c98b1b7a1846e19bf745107 b6a0c015e9dd43b81c98b1b7a1846e19bf745107 2009-09-22T12:32:57-07:00 2009-09-22T12:32:57-07:00 Iterator example 7fc0fb1fdf9119f23a060348cdb9b27bd90dd919 Adam Warski adam@warski.org 754729199c9238a628990f1a031fe4daf9d2f961 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/818810d1c4023e690fae1bc6d9a349e7e9101aa4 818810d1c4023e690fae1bc6d9a349e7e9101aa4 2009-09-21T11:16:40-07:00 2009-09-21T11:16:40-07:00 Implementing the logic of afterTrue and afterFalse checking plus test ba42d0c0d66663573f352d2163719f0bafb921c7 Adam Warski adam@warski.org c59ed59cb18e82a2b460b98243d29c446fba7af2 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/754729199c9238a628990f1a031fe4daf9d2f961 754729199c9238a628990f1a031fe4daf9d2f961 2009-09-20T09:15:45-07:00 2009-09-20T09:15:45-07:00 Updating comment 46f1f332ed44dc993321b60f167144027977fa7c Adam Warski adam@warski.org f3eb3e9c7f4e44529861d4c459c15ce30049bcae Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/c59ed59cb18e82a2b460b98243d29c446fba7af2 c59ed59cb18e82a2b460b98243d29c446fba7af2 2009-09-18T07:44:55-07:00 2009-09-18T07:44:55-07:00 Removing the Cond class, adding support for detecting states from afterTrue and afterFalse elements in state annotations 7d031cfdc7e499dd57c9135ff4a431d9b14300b9 Adam Warski adam@warski.org 1d49d047a7d88dd8fbe85cc46780b18a5459d844 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/f3eb3e9c7f4e44529861d4c459c15ce30049bcae f3eb3e9c7f4e44529861d4c459c15ce30049bcae 2009-09-16T10:41:44-07:00 2009-09-16T10:41:44-07:00 Adding a new cond annotation, reading annotations from its elements when detecting state annotations. d5e1694316f06ddffefe9523c07788ff4862f390 Adam Warski adam@warski.org 92f27398db06bdf2d72c57934c5b798b908f4b90 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/1d49d047a7d88dd8fbe85cc46780b18a5459d844 1d49d047a7d88dd8fbe85cc46780b18a5459d844 2009-09-14T06:29:05-07:00 2009-09-14T06:29:05-07:00 Updating to checkers 0.9.9 b2d58ab05d3aa234aabd3b4a0976e8a1bbf9c262 Adam Warski adam@warski.org f5260ca5fcf659cc28f178ae0ebbf80418a853cd Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/92f27398db06bdf2d72c57934c5b798b908f4b90 92f27398db06bdf2d72c57934c5b798b908f4b90 2009-06-06T02:17:19-07:00 2009-06-06T02:17:19-07:00 Compatibility with checkers 0.9.2 4b598485c4734f97de5a38e5338420f0713c4b75 Adam Warski adam@warski.org 80894c97ce345bf833a7df6fb9079ec66d7f0c89 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/f5260ca5fcf659cc28f178ae0ebbf80418a853cd f5260ca5fcf659cc28f178ae0ebbf80418a853cd 2009-04-14T12:18:04-07:00 2009-04-14T12:18:04-07:00 Build and comments updates. 44eaebacc38b66fb138b1f8889d263c0843f7c2a Adam Warski adam@warski.org 2193f552fa5ac47366df554d0dc0cb6601d986d9 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/80894c97ce345bf833a7df6fb9079ec66d7f0c89 80894c97ce345bf833a7df6fb9079ec66d7f0c89 2009-04-14T09:10:24-07:00 2009-04-14T09:10:24-07:00 Fixing bugs, adding InputStream example 2788747f1b0e04a57f0582398f71915ae603ff75 Adam Warski adam@warski.org 8b6eef49eaa2fa14642a4d09668d0bab02627957 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/2193f552fa5ac47366df554d0dc0cb6601d986d9 2193f552fa5ac47366df554d0dc0cb6601d986d9 2009-04-06T10:04:30-07:00 2009-04-06T10:04:30-07:00 Comments update 13a771894b8ca484978b60ea3ef4dfa804914bae Adam Warski adam@warski.org 6e284f525df44a1fd5a0261087481fa53fd08583 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/8b6eef49eaa2fa14642a4d09668d0bab02627957 8b6eef49eaa2fa14642a4d09668d0bab02627957 2009-04-03T10:34:23-07:00 2009-04-03T10:34:23-07:00 More tests 8cb9b5554ef8e9ea9341a86374e7948eae943688 Adam Warski adam@warski.org 3266422adbf56d02d85c1b730e1a26935c96038e Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/6e284f525df44a1fd5a0261087481fa53fd08583 6e284f525df44a1fd5a0261087481fa53fd08583 2009-04-03T09:50:34-07:00 2009-04-03T09:50:34-07:00 Fixed bug in flow, more tests d5465304e902fe27ec8048e48efa1d24c7b87894 Adam Warski adam@warski.org 763ed85bf88775885fd035c20ca1aaa0b960e2e1 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/3266422adbf56d02d85c1b730e1a26935c96038e 3266422adbf56d02d85c1b730e1a26935c96038e 2009-04-03T03:10:13-07:00 2009-04-03T03:10:13-07:00 Imporved flow algorithm bab01980e7ae070fc8e1de0b2f032e60fc7be3a5 Adam Warski adam@warski.org deb54d36f0bc48b3da2578f64a599afb648b80a4 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/763ed85bf88775885fd035c20ca1aaa0b960e2e1 763ed85bf88775885fd035c20ca1aaa0b960e2e1 2009-03-30T13:25:05-07:00 2009-03-30T13:25:05-07:00 Improved flow algorithm, used in the typestate checker. Basic tests for exception handling. 709f76e1a7986fabaeaeb632de7776d427f99d42 Adam Warski adam@warski.org 4d8fcd4766495011ef69eac1741d7144eacdfce0 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/deb54d36f0bc48b3da2578f64a599afb648b80a4 deb54d36f0bc48b3da2578f64a599afb648b80a4 2009-03-29T13:43:46-07:00 2009-03-29T13:43:46-07:00 Initial support for exception states 01437a601ae3fbfd2a464dbf4065b98b2bbde27d Adam Warski adam@warski.org 710b0f30cc399596943806326f82dfb87d8d3ff9 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/4d8fcd4766495011ef69eac1741d7144eacdfce0 4d8fcd4766495011ef69eac1741d7144eacdfce0 2009-03-29T02:57:08-07:00 2009-03-29T02:57:08-07:00 Updating to checkers 0.8.9, adding methods to read the "onException" element of state annotations 14c1408550848fe2e813a302694ead4e440e9ac7 Adam Warski adam@warski.org 01a1305e5b15f92e80d939ec6583ec1564ef1978 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/710b0f30cc399596943806326f82dfb87d8d3ff9 710b0f30cc399596943806326f82dfb87d8d3ff9 2009-03-28T03:45:15-07:00 2009-03-28T03:45:15-07:00 Fixing a bug in the flow algorithm 070508a39c6e5383f271ecb14ba78ee031132156 Adam Warski adam@warski.org 657f02a4e148dc32863a151eaaf1eced11c4e3a8 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/01a1305e5b15f92e80d939ec6583ec1564ef1978 01a1305e5b15f92e80d939ec6583ec1564ef1978 2009-03-21T10:51:43-07:00 2009-03-21T10:51:43-07:00 Nullness checker integrated into the build 951bda3972b40eba861a595daf4dd255a61b90be Adam Warski adam@warski.org a146505f73a4efc7d3b28a56ec93071672d80978 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/657f02a4e148dc32863a151eaaf1eced11c4e3a8 657f02a4e148dc32863a151eaaf1eced11c4e3a8 2009-03-14T12:25:37-07:00 2009-03-14T12:25:37-07:00 Updating to checkers 0.8.8 930a7d044b7859175a440c7682bfc5aa04161b67 Adam Warski adam@warski.org 3837c3f8ca80b4200d4dc55dffdaeb7a325a3508 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/a146505f73a4efc7d3b28a56ec93071672d80978 a146505f73a4efc7d3b28a56ec93071672d80978 2009-03-14T11:36:43-07:00 2009-03-14T11:36:43-07:00 * fixing the any-with except test * additional test for any-with-except * detecting state annotations also if they only appear as elements of other annotations 95399bc65999448787548a1b9eb181f459116fcc Adam Warski adam@warski.org a3cca15e606e538f749d38d814d3be7fa8219ee5 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/3837c3f8ca80b4200d4dc55dffdaeb7a325a3508 3837c3f8ca80b4200d4dc55dffdaeb7a325a3508 2009-03-14T08:02:26-07:00 2009-03-14T08:02:26-07:00 * paritally fixing the any-state except handling * improving error reporting with any-state except annotations * adding (so far failing) test for any-state except annotation 970848a0c8faa7e10ecf08aff3ffee9b718b955d Adam Warski adam@warski.org 1ff34584563b3b85f097ad8edacd433dddc6e65c Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/a3cca15e606e538f749d38d814d3be7fa8219ee5 a3cca15e606e538f749d38d814d3be7fa8219ee5 2009-03-14T05:28:49-07:00 2009-03-14T05:28:49-07:00 Support for the except parameter in the any-state annotation 1074914e6d8ee7da08e68f8d10e6e93962c3e20b Adam Warski adam@warski.org 2e4914527f094f70f1d936cc6dd2370b155c6ce8 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/1ff34584563b3b85f097ad8edacd433dddc6e65c 1ff34584563b3b85f097ad8edacd433dddc6e65c 2009-03-08T09:58:31-07:00 2009-03-08T09:58:31-07:00 Missing comment bac67ec7b5ae48e1ff518603d1db7557537f216c Adam Warski adam@warski.org b9481bd271c94e7ff6875a81c2df2d1709771879 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/2e4914527f094f70f1d936cc6dd2370b155c6ce8 2e4914527f094f70f1d936cc6dd2370b155c6ce8 2009-03-08T09:48:43-07:00 2009-03-08T09:48:43-07:00 Fix + test for a bug with other annotations present on the element taken as state annotations 687eb8afe77825c3456f50b6490ac865a497eb0b Adam Warski adam@warski.org 651be7f6ce1eda2346c3f44d14e7553ad63b0706 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/b9481bd271c94e7ff6875a81c2df2d1709771879 b9481bd271c94e7ff6875a81c2df2d1709771879 2009-03-05T09:57:57-08:00 2009-03-05T09:57:57-08:00 Updating ignore file e9fd7a4488b519b12dee99e1378680a6270ab32c Adam Warski adam@warski.org bbf5f6a54514fd1e74a59f33dc0112abf42b0901 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/651be7f6ce1eda2346c3f44d14e7553ad63b0706 651be7f6ce1eda2346c3f44d14e7553ad63b0706 2009-03-05T09:52:54-08:00 2009-03-05T09:52:54-08:00 Ignore file 6a9b0786d7b09b4f04b33676796e8ea56dbe1e1a Adam Warski adam@warski.org Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/bbf5f6a54514fd1e74a59f33dc0112abf42b0901 bbf5f6a54514fd1e74a59f33dc0112abf42b0901 2009-03-05T09:47:48-08:00 2009-03-05T09:47:48-08:00 Initial import d88c09ec5c1e83e26a56d0f9dcc0ef1c7890dfc8 Adam Warski adam@warski.org