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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
/*******************************************************/
/* "C" Language Integrated Production System */
/* */
/* CLIPS Version 6.40 10/03/19 */
/* */
/* CONSTRAINT CHECKING HEADER FILE */
/*******************************************************/
/*************************************************************/
/* Purpose: Provides functions for constraint checking of */
/* data types. */
/* */
/* Principal Programmer(s): */
/* Gary D. Riley */
/* */
/* Contributing Programmer(s): */
/* */
/* Revision History: */
/* */
/* 6.24: Added allowed-classes slot facet. */
/* */
/* Renamed BOOLEAN macro type to intBool. */
/* */
/* 6.30: Removed conditional code for unsupported */
/* compilers/operating systems (IBM_MCW and */
/* MAC_MCW). */
/* */
/* Support for long long integers. */
/* */
/* Added const qualifiers to remove C++ */
/* deprecation warnings. */
/* */
/* Dynamic constraint checking for the */
/* allowed-classes constraint now searches */
/* imported modules. */
/* */
/* 6.40: Removed LOCALE definition. */
/* */
/* Pragma once and other inclusion changes. */
/* */
/* Added support for booleans with <stdbool.h>. */
/* */
/* Removed use of void pointers for specific */
/* data structures. */
/* */
/* UDF redesign. */
/* */
/* Eval support for run time and bload only. */
/* */
/*************************************************************/
#ifndef _H_cstrnchk
#pragma once
#define _H_cstrnchk
#include "constrnt.h"
#include "evaluatn.h"
typedef enum
{
NO_VIOLATION,
TYPE_VIOLATION,
RANGE_VIOLATION,
ALLOWED_VALUES_VIOLATION,
FUNCTION_RETURN_TYPE_VIOLATION,
CARDINALITY_VIOLATION,
ALLOWED_CLASSES_VIOLATION
} ConstraintViolationType;
bool CheckCardinalityConstraint(Environment *,size_t,CONSTRAINT_RECORD *);
bool CheckAllowedValuesConstraint(int,void *,CONSTRAINT_RECORD *);
bool CheckAllowedClassesConstraint(Environment *,int,void *,CONSTRAINT_RECORD *);
ConstraintViolationType ConstraintCheckExpressionChain(Environment *,struct expr *,
CONSTRAINT_RECORD *);
void ConstraintViolationErrorMessage(Environment *,const char *,const char *,bool,
unsigned short,CLIPSLexeme *,unsigned short,
ConstraintViolationType,CONSTRAINT_RECORD *,bool);
ConstraintViolationType ConstraintCheckValue(Environment *,int,void *,CONSTRAINT_RECORD *);
ConstraintViolationType ConstraintCheckDataObject(Environment *,UDFValue *,CONSTRAINT_RECORD *);
#if (! BLOAD_ONLY) && (! RUN_TIME)
ConstraintViolationType ConstraintCheckExpression(Environment *,struct expr *,
CONSTRAINT_RECORD *);
#endif
bool UnmatchableConstraint(struct constraintRecord *);
#endif /* _H_cstrnchk */