src/DNaming/DNaming_SelectionDriver.cdl

   1 -- Created on: 2009-05-05
   2 -- Created by: Sergey ZARITCHNY <sergey.zaritchny@opencascade.com>
   3 -- Copyright (c) 2009-2014 OPEN CASCADE SAS
   4 --
   5 -- This file is part of Open CASCADE Technology software library.
   6 --
   7 -- This library is free software; you can redistribute it and/or modify it under
   8 -- the terms of the GNU Lesser General Public License version 2.1 as published
   9 -- by the Free Software Foundation, with special exception defined in the file
  10 -- OCCT_LGPL_EXCEPTION.txt. Consult the file LICENSE_LGPL_21.txt included in OCCT
  11 -- distribution for complete text of the license and disclaimer of any warranty.
  12 --
  13 -- Alternatively, this file may be used under the terms of Open CASCADE
  14 -- commercial license or contractual agreement.
  15
  16 class SelectionDriver from DNaming inherits Driver from TFunction
  17
  18         ---Purpose:
  19
  20 uses
  21      Label            from TDF,
  22      Logbook          from TFunction,
  23      Function         from TFunction,
  24      ExtendedString   from TCollection
  25
  26 is
  27     Create returns SelectionDriver from DNaming;
  28     ---Purpose: Constructor
  29
  30     ---Purpose: validation
  31     --          ==========
  32
  33     Validate(me; theLog : in out Logbook from TFunction)
  34     is redefined;
  35     ---Purpose: Validates labels of a function in <log>.
  36     --          In regeneration mode this method must be called (by the
  37     --          solver) even if the function is not executed, to build
  38     --          the valid label scope.
  39
  40     ---Purpose: execution of function
  41     --          ======================
  42
  43     MustExecute (me; theLog : Logbook from TFunction)
  44     ---Purpose: Analyse in <log> if the loaded function must be executed
  45     --          (i.e.arguments are modified) or not.
  46     --          If the Function label itself is modified, the function must
  47     --          be executed.
  48     returns Boolean from Standard
  49     is redefined;
  50
  51     Execute (me; theLog : in out Logbook from TFunction)
  52     ---Purpose: Execute the function and push in <log> the impacted
  53     --          labels (see method SetImpacted).
  54     returns Integer from Standard
  55     is redefined;
  56
  57 end SelectionDriver;