1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
/******************************************************************************
* Copyright (c) 2000-2021 Ericsson Telecom AB
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
*
* Contributors:
* Baji, Laszlo
* Balasko, Jeno
* Feher, Csaba
* Raduly, Csaba
* Szabo, Janos Zoltan – initial implementation
*
******************************************************************************/
#ifndef SNAPSHOT_HH
#define SNAPSHOT_HH
#include <sys/types.h>
#include "Types.h"
class Fd_Event_Handler;
class TTCN_Snapshot {
static boolean else_branch_found; ///< [else] branch of \c alt was reached
static double alt_begin; ///< The time when the snapshot was taken.
public:
static void initialize();
static void check_fd_setsize();
static void terminate();
static void else_branch_reached();
static double time_now();
static inline double get_alt_begin() { return alt_begin; }
static void take_new(boolean block_execution);
static void block_for_sending(int send_fd, Fd_Event_Handler * handler = 0);
};
#endif
|
