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
94
95
96
97
98
99
100
101
102
103
104
|
/* Copyright (c) 2002-2018 Pigeonhole authors, see the included COPYING file
*/
#include "sieve-ast.h"
#include "sieve-validator.h"
#include "sieve-generator.h"
#include "sieve-binary.h"
#include "sieve-commands.h"
#include "sieve-code.h"
#include "sieve-interpreter.h"
/*
* True/False test command
*/
static bool tst_false_validate_const
(struct sieve_validator *valdtr, struct sieve_command *tst,
int *const_current, int const_next);
static bool tst_false_generate
(const struct sieve_codegen_env *cgenv, struct sieve_command *cmd,
struct sieve_jumplist *jumps, bool jump_true);
const struct sieve_command_def tst_false = {
.identifier = "false",
.type = SCT_TEST,
.positional_args = 0,
.subtests = 0,
.block_allowed = FALSE,
.block_required = FALSE,
.validate_const = tst_false_validate_const,
.control_generate = tst_false_generate
};
static bool tst_true_validate_const
(struct sieve_validator *valdtr, struct sieve_command *tst,
int *const_current, int const_next);
static bool tst_true_generate
(const struct sieve_codegen_env *cgenv, struct sieve_command *cmd,
struct sieve_jumplist *jumps, bool jump_true);
const struct sieve_command_def tst_true = {
.identifier = "true",
.type = SCT_TEST,
.positional_args = 0,
.subtests = 0,
.block_allowed = FALSE,
.block_required = FALSE,
.validate_const = tst_true_validate_const,
.control_generate = tst_true_generate
};
/*
* Code validation
*/
static bool tst_false_validate_const
(struct sieve_validator *valdtr ATTR_UNUSED,
struct sieve_command *tst ATTR_UNUSED, int *const_current,
int const_next ATTR_UNUSED)
{
*const_current = 0;
return TRUE;
}
static bool tst_true_validate_const
(struct sieve_validator *valdtr ATTR_UNUSED,
struct sieve_command *tst ATTR_UNUSED, int *const_current,
int const_next ATTR_UNUSED)
{
*const_current = 1;
return TRUE;
}
/*
* Code generation
*/
static bool tst_false_generate
(const struct sieve_codegen_env *cgenv,
struct sieve_command *cmd ATTR_UNUSED,
struct sieve_jumplist *jumps, bool jump_true)
{
if ( !jump_true ) {
sieve_operation_emit(cgenv->sblock, NULL, &sieve_jmp_operation);
sieve_jumplist_add(jumps, sieve_binary_emit_offset(cgenv->sblock, 0));
}
return TRUE;
}
static bool tst_true_generate
(const struct sieve_codegen_env *cgenv,
struct sieve_command *cmd ATTR_UNUSED,
struct sieve_jumplist *jumps, bool jump_true)
{
if ( jump_true ) {
sieve_operation_emit(cgenv->sblock, NULL, &sieve_jmp_operation);
sieve_jumplist_add(jumps, sieve_binary_emit_offset(cgenv->sblock, 0));
}
return TRUE;
}
|
