core/Snapshot.hh

   1 ///////////////////////////////////////////////////////////////////////////////
   2 // Copyright (c) 2000-2014 Ericsson Telecom AB
   3 // All rights reserved. This program and the accompanying materials
   4 // are made available under the terms of the Eclipse Public License v1.0
   5 // which accompanies this distribution, and is available at
   6 // http://www.eclipse.org/legal/epl-v10.html
   7 ///////////////////////////////////////////////////////////////////////////////
   8 #ifndef SNAPSHOT_HH
   9 #define SNAPSHOT_HH
  10
  11 #include <sys/types.h>
  12
  13 #include "Types.h"
  14
  15 class Fd_Event_Handler;
  16
  17 class TTCN_Snapshot {
  18   static boolean else_branch_found; ///< [else] branch of \c alt was reached
  19   static double alt_begin; ///< The time when the snapshot was taken.
  20
  21 public:
  22   static void initialize();
  23   static void check_fd_setsize();
  24   static void terminate();
  25   static void else_branch_reached();
  26   static double time_now();
  27   static inline double get_alt_begin() { return alt_begin; }
  28   static void take_new(boolean block_execution);
  29   static void block_for_sending(int send_fd, Fd_Event_Handler * handler = 0);
  30 };
  31
  32 #endif