1/*
2 * This Source Code Form is subject to the terms of the Mozilla Public
3 * License, v. 2.0. If a copy of the MPL was not distributed with this
4 * file, You can obtain one at http://mozilla.org/MPL/2.0/.
5 *
6 * Copyright 1997 - July 2008 CWI, August 2008 - 2019 MonetDB B.V.
7 */
8
9#ifndef _RUN_ISOLATION
10#define _RUN_ISOLATION
11#include "mal.h"
12#include "mal_instruction.h"
13#include "mal_client.h"
14
15#define DEBUG_RUN_ISOLATION
16
17mal_export str RUNisolation(Client cntxt, MalBlkPtr mb, MalStkPtr stk, InstrPtr p);
18#endif /* MAL_RUN_ISOLATION */
19
20