CHEDDAR - Revision 5255: /trunk/required_packages/ocarina/checker

• ..
• ocarina-checker-queries-access_predicates.adb
• ocarina-checker-queries-access_predicates.ads
• ocarina-checker-queries-bound_predicates.adb
• ocarina-checker-queries-bound_predicates.ads
• ocarina-checker-queries-call_predicates.adb
• ocarina-checker-queries-call_predicates.ads
• ocarina-checker-queries-connected_predicates.adb
• ocarina-checker-queries-connected_predicates.ads
• ocarina-checker-queries-predicates.adb
• ocarina-checker-queries-predicates.ads
• ocarina-checker-queries-relational_predicates.adb
• ocarina-checker-queries-relational_predicates.ads
• ocarina-checker-queries-subcomponent_predicates.adb
• ocarina-checker-queries-subcomponent_predicates.ads
• ocarina-checker-queries.adb
• ocarina-checker-queries.ads
• ocarina-checker.ads
• ocarina-checker_testsuite.adb
• ocarina-checker_testsuite.ads