QSDL-TL/TLHelp.h at master · Diefenbruch/QSDL-TL · GitHub

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
/*
 * File:    TLHelp.h
 * Project: QUEST
 * Author:  Marc Diefenbruch, Axel M. Hirche
 * Date:    (C) 1997, 1998 University of Essen, Germany
 */

#ifndef _TLHELP_H_
#define _TLHELP_H_

#include "TL.h"

#define TLAssert(expr, text) (!(expr) ? FatalError (__FILE__, __LINE__, text) : (void) NULL)

void FatalError (const char* efile,
                       int   eline,
                 const char* what);

void Warning (const char* efile,
                    int   eline,
              const char* what);

SCBoolean FalsePropFunc (void);
SCBoolean TruePropFunc (void);

char* StrDup (const char*);

void ShowBits (class SCStream& out,
               const SCBitSet set);


#endif // _TLHELP_H_