--  Copyright (2008-2013) Cédric Coussinet (cedric.coussinet@nomoseed.net)
--
--  This program is free software: you can redistribute it and/or modify
--  it under the terms of the GNU Affero General Public License as published
--  by the Free Software Foundation, either version 3 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 Affero General Public License for more details.

--  You should have received a copy of the GNU Affero General Public License
--  along with this program. If not, see <http://www.gnu.org/licenses/>

with Nomo.Interpreter.Conditions_Base.Initialization;

with Nomo.Interpreter.Conditions_Base.Checking_Initialization;

package body Nomo.Interpreter.Check_Conditions.Initialization is

   function Get_Prediction_Information (This : in Check_Condition) return Positive_Integer is
   begin
      return This.Prediction_Information;
   end Get_Prediction_Information;

   procedure Initialize (This                       : in out Check_Condition;
                         Premises                   : in Internal_Premises;
                         Premises_Types             : in Internal_Premises_Types;
                         Properties                 : in Internal_Premises_Properties;
                         Premises_Number            : in Premise_Index;
                         Fitting_Nbr                : in Count;
                         Matchmaker_Ptr             : not null access Internal_Events_Index.Matchmakers.Matchmaker;
                         Excitatory_Specificity_Log : out Real_Accurately;
                         Inhibitory_Specificity_Log : out Real_Accurately;
                         Prediction_Type            : in Prediction_Type_Index) is
      use Conditions_Base.Initialization;
      use Conditions_Base.Checking_Initialization;
   begin
      Initialize (Condition_Base (This),
                  Premises,
                  Premises_Types,
                  Properties,
                  Premises_Number,
                  Fitting_Nbr,
                  Matchmaker_Ptr,
                  Excitatory_Specificity_Log,
                  Inhibitory_Specificity_Log);
      This.Prediction_premise := Get_Prediction_Index (Condition_Base (This), Prediction_Type);
      This.Landmark_premise := Get_First_Landmark_Index (Condition_Base (This));
      pragma Assert (Get_Second_Landmark_Index (Condition_Base (This)) = 0);
      This.Prediction_Type := Prediction_Type;
      This.Prediction_Information := Get_Information (Condition_Base (This), This.Prediction_premise);
      Initialize_Bonus (Condition_Base (This), This.Landmark_premise, This.New_Bonus);
   end Initialize;

end Nomo.Interpreter.Check_Conditions.Initialization;
