BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
argtype.h
Go to the documentation of this file.
1 // ============================================================================
2 // Project: Deductive Database
3 // Filename: argtype.h
4 // Purpose: Argument types for predicates (int, atom, string)
5 // Last Change: 04.08.2017
6 // Language: C++
7 // EMail: brass@informatik.uni-halle.de
8 // WWW: http://www.informatik.uni-halle.de/~brass/
9 // Address: Feldschloesschen 15, D-06120 Halle (Saale), GERMANY
10 // Copyright: (c) 2015-2017 by Stefan Brass
11 // License: See file "LICENSE" for copying conditions.
12 // Note: There is no warranty at all - this code may contain bugs.
13 // ============================================================================
14 
15 
22 //=============================================================================
23 // Include File Frame:
24 //=============================================================================
25 
26 #ifndef ARGTYPE_INCLUDED
27 #define ARGTYPE_INCLUDED
28 
29 //=============================================================================
30 // Used Types and Macros:
31 //=============================================================================
32 
33 #ifndef VER_INCLUDED
34 #include "../base/ver.h"
35 #endif
36 
37 #ifndef STR_INCLUDED
38 #include "../base/str.h"
39 #endif
40 
41 #ifndef CHECK_INCLUDED
42 #include "../base/check.h"
43 #endif
44 
45 //=============================================================================
46 // Exported Types:
47 //=============================================================================
48 
49 //-----------------------------------------------------------------------------
50 // argtype_t: Argument types for predicates.
51 //-----------------------------------------------------------------------------
52 
57 typedef enum argtype_enum {
63 } argtype_t;
64 
65 //=============================================================================
66 // Exported Functions:
67 //=============================================================================
68 
69 //-----------------------------------------------------------------------------
70 // argtype_valid: Is the parameter a valid element of the enumeration type?
71 //-----------------------------------------------------------------------------
72 
73 #if VER_DEBUG
74 bool argtype_valid(argtype_t argtype);
75 #endif
76 
77 //-----------------------------------------------------------------------------
78 // argtype_name: String representation of this argument type.
79 //-----------------------------------------------------------------------------
80 
81 //** String representation of this argument type */
82 str_t argtype_name(argtype_t argtype);
83 
84 //=============================================================================
85 // End of File:
86 //=============================================================================
87 
88 #endif
89 
Definition: argtype.h:59
Definition: argtype.h:62
Definition: argtype.h:60
const char * str_t
Definition: str.h:41
argtype_enum
Definition: argtype.h:57
Definition: argtype.h:61
enum argtype_enum argtype_t
Definition: argtype.h:58