/* Copyright (c) Pigeonhole authors, see top-level 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;
}
