blob: bb5c9ebece6f4f657fd10abb8ddb77be3ef0bfad (
plain)
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
92
93
|
/*-------------------------------------------------------------------------
*
* isolationtester.h
* include file for isolation tests
*
* Portions Copyright (c) 1996-2023, PostgreSQL Global Development Group
* Portions Copyright (c) 1994, Regents of the University of California
*
* IDENTIFICATION
* src/test/isolation/isolationtester.h
*
*-------------------------------------------------------------------------
*/
#ifndef ISOLATIONTESTER_H
#define ISOLATIONTESTER_H
/*
* The structs declared here are used in the output of specparse.y.
* Except where noted, all fields are set in the grammar and not
* changed thereafter.
*/
typedef struct Step Step;
typedef struct
{
char *name;
char *setupsql;
char *teardownsql;
Step **steps;
int nsteps;
} Session;
struct Step
{
char *name;
char *sql;
/* These fields are filled by check_testspec(): */
int session; /* identifies owning session */
bool used; /* has step been used in a permutation? */
};
typedef enum
{
PSB_ONCE, /* force step to wait once */
PSB_OTHER_STEP, /* wait for another step to complete first */
PSB_NUM_NOTICES /* wait for N notices from another session */
} PermutationStepBlockerType;
typedef struct
{
char *stepname;
PermutationStepBlockerType blocktype;
int num_notices; /* only used for PSB_NUM_NOTICES */
/* These fields are filled by check_testspec(): */
Step *step; /* link to referenced step (if any) */
/* These fields are runtime workspace: */
int target_notices; /* total notices needed from other session */
} PermutationStepBlocker;
typedef struct
{
char *name; /* name of referenced Step */
PermutationStepBlocker **blockers;
int nblockers;
/* These fields are filled by check_testspec(): */
Step *step; /* link to referenced Step */
} PermutationStep;
typedef struct
{
int nsteps;
PermutationStep **steps;
} Permutation;
typedef struct
{
char **setupsqls;
int nsetupsqls;
char *teardownsql;
Session **sessions;
int nsessions;
Permutation **permutations;
int npermutations;
} TestSpec;
extern TestSpec parseresult;
extern int spec_yyparse(void);
extern int spec_yylex(void);
extern void spec_yyerror(const char *message);
#endif /* ISOLATIONTESTER_H */
|
