------------------------------------------------------------------------------ ------------------------------------------------------------------------------ -- This Ada package was automatically generated by the software engineering --tool Platypus -- see http://cassoulet.univ-brest.fr/mme -- -- Any modification of this file will be lost. -- Please see the "platypus" directory instead : it contains the Cheddar's -- model and its meta-model. ------------------------------------------------------------------------------ ------------------------------------------------------------------------------ -- Cheddar is a free real time scheduling tool. -- This program provides services to automatically check temporal constraints -- of real time tasks. -- -- Copyright (C) 2002-2009 Frank Singhoff -- Cheddar is developed by the LISYC Team, University of Brest -- -- This program is free software; you can redistribute it and/or modify -- it under the terms of the GNU General Public License as published by -- the Free Software Foundation; either version 2 of the License, or -- (at your option) any later version. -- -- This program is distributed in the hope that it will be useful, -- but WITHOUT ANY WARRANTY; without even the implied warranty of -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -- GNU General Public License for more details. -- -- You should have received a copy of the GNU General Public License -- along with this program; if not, write to the Free Software -- Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA -- -- -- Contact : cheddar@listes.univ-brest.fr -- To post to this mailing list, you must be subscribed -- (see http//beru.univ-brest.fr/~singhoff/cheddar for details) -- ------------------------------------------------------------------------------ ------------------------------------------------------------------------------ with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; with Ada.Strings.Unbounded.Text_IO; use Ada.Strings.Unbounded.Text_IO; with Text_IO; use Text_IO; with Unbounded_Strings; use Unbounded_Strings; with Convert_Strings; with Convert_Unbounded_Strings; with Standards_Io; use Standards_Io; use Standards_Io.Boolean_Io; with Ada.Finalization; use Unbounded_Strings.Unbounded_String_List_Package; with Unchecked_Deallocation; with Lists; with Access_Lists; with Framework_Config; use Framework_Config; with Systems; use Systems; package Applicability_Constraints_Main_Structure.extended is type Applicability_Constraint_Function is access function (Context : in System) return Boolean; --Added manually procedure evaluate (obj : in out All_Cases_Structure; Sys : in System); procedure display_tests_list (obj : in All_Cases_Structure); function get_tests_list (obj : in All_Cases_Structure) return Unbounded_String; end Applicability_Constraints_Main_Structure.extended;