Add some pre/post conditions
commit4f94511aa629c0f8043440c8356de648c4045975
authorOlivier Ramonat <olivier@ramonat.fr>
Thu, 30 Apr 2009 15:11:06 +0000 (30 17:11 +0200)
committerOlivier Ramonat <olivier@ramonat.fr>
Thu, 30 Apr 2009 15:11:06 +0000 (30 17:11 +0200)
treebe25e8f1270cb5144328097618f33987b949bf4d
parentf5bb88c24cae22f73dc996255a5172aa3764e197
Add some pre/post conditions
src/db-sqlite.adb
src/db-sqlite.ads