CHEDDAR - Revision 4980: /trunk/src/framework/design_pattern_analysis

• ..
• Applicability_Constraints_Main_Structure.exp
• Makefile
• applicability_constraint-all_tasks_are_periodic.adb
• applicability_constraint-all_tasks_are_periodic.ads
• applicability_constraint-all_tasks_are_periodic_or_sporadic.adb
• applicability_constraint-all_tasks_are_periodic_or_sporadic.ads
• applicability_constraint-allowed_protocol.adb
• applicability_constraint-allowed_protocol.ads
• applicability_constraint-arbitrary_deadlines.adb
• applicability_constraint-arbitrary_deadlines.ads
• applicability_constraint-at_least_one_buffer.adb
• applicability_constraint-at_least_one_buffer.ads
• applicability_constraint-at_least_one_data.adb
• applicability_constraint-at_least_one_data.ads
• applicability_constraint-ceiling_priority_assignment.adb
• applicability_constraint-ceiling_priority_assignment.ads
• applicability_constraint-data_connectivity.adb
• applicability_constraint-data_connectivity.ads
• applicability_constraint-data_sharing_protocol.adb
• applicability_constraint-data_sharing_protocol.ads
• applicability_constraint-no_buffer.adb
• applicability_constraint-no_buffer.ads
• applicability_constraint-no_dependencies.adb
• applicability_constraint-no_dependencies.ads
• applicability_constraint-no_shared_cpu.adb
• applicability_constraint-no_shared_cpu.ads
• applicability_constraint-no_shared_resources.adb
• applicability_constraint-no_shared_resources.ads
• applicability_constraint-period_equal_deadline_constraint.adb
• applicability_constraint-period_equal_deadline_constraint.ads
• applicability_constraint-period_larger_than_deadline_constraint.adb
• applicability_constraint-period_larger_than_deadline_constraint.ads
• applicability_constraint-period_smaller_than_deadline_constraint.adb
• applicability_constraint-period_smaller_than_deadline_constraint.ads
• applicability_constraint-pip_no_deadlock.adb
• applicability_constraint-pip_no_deadlock.ads
• applicability_constraint-simultaneous_release_time_constraint.adb
• applicability_constraint-simultaneous_release_time_constraint.ads
• applicability_constraint-uniprocessor.adb
• applicability_constraint-uniprocessor.ads
• applicability_constraint-uniprocessor_preemptivity.adb
• applicability_constraint-uniprocessor_preemptivity.ads
• applicability_constraint-uniprocessor_quantum.adb
• applicability_constraint-uniprocessor_quantum.ads
• applicability_constraint-uniprocessor_scheduling_protocol.adb
• applicability_constraint-uniprocessor_scheduling_protocol.ads
• applicability_constraint-unsimultaneous_release_time_constraint.adb
• applicability_constraint-unsimultaneous_release_time_constraint.ads
• applicability_constraint.ads
• applicability_constraints_main_structure-extended.adb
• applicability_constraints_main_structure-extended.ads
• applicability_constraints_main_structure.adb
• applicability_constraints_main_structure.ads
• architecture_analyzer.adb
• architecture_analyzer.ads
• dp_graph-extended.adb
• dp_graph-extended.ads
• dp_graph.adb
• dp_graph.ads
• dp_graph_view.adb
• dp_graph_view.ads
• feasibility_tests_for_ravenscar.adb
• feasibility_tests_for_ravenscar.ads
• feasibility_tests_for_time_triggered_communication.adb
• feasibility_tests_for_time_triggered_communication.ads
• feasibility_tests_for_unplugged.adb
• feasibility_tests_for_unplugged.ads
• feasibility_tests_main_structure_factory.adb
• feasibility_tests_main_structure_factory.ads
• generic_graph-extended.adb
• generic_graph-extended.ads
• generic_graph.adb
• generic_graph.ads
• tests_generated/
• tests_xml/