BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
Main Page
Related Pages
Classes
Files
File List
File Members
pred
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
{
58
ARGTYPE_NULL
,
59
ARGTYPE_INT
,
60
ARGTYPE_ATOM
,
61
ARGTYPE_STR
,
62
ARGTYPE_ATOM_STR
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
ARGTYPE_INT
Definition:
argtype.h:59
ARGTYPE_ATOM_STR
Definition:
argtype.h:62
ARGTYPE_ATOM
Definition:
argtype.h:60
str_t
const char * str_t
Definition:
str.h:41
argtype_enum
argtype_enum
Definition:
argtype.h:57
ARGTYPE_STR
Definition:
argtype.h:61
argtype_t
enum argtype_enum argtype_t
ARGTYPE_NULL
Definition:
argtype.h:58
Generated by
1.8.10