Natools

Check-in [7ae85f4e93]
Login
Overview
Comment:smaz_generic: remove the too-costly dynamic predicate
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 7ae85f4e930b8ea8780c92d7d42bb1eea10b36cc
User & Date: nat on 2016-12-13 22:09:00
Other Links: manifest | tags
Context
2016-12-14
20:01
smaz_generic: brind the predicate back as a separate function

Since Smaz dictionaries are meant to be global hard-coded constant objects, it makes sense to check the precondition only once, e.g. in a test suite, and not for each and every subprogram call. check-in: ec19d3153c user: nat tags: trunk

2016-12-13
22:09
smaz_generic: remove the too-costly dynamic predicate check-in: 7ae85f4e93 user: nat tags: trunk
2016-12-12
22:18
tools/smaz: fix the validation of retired dictionaries check-in: c291af061e user: nat tags: trunk
Changes

Modified src/natools-smaz_generic.ads from [1239416aea] to [8876c91a07].    [diff]