//===- ConfigData.h - Structures for Configuring the Run-time ---*- C++ -*-===//
// 
//                          The SAFECode Compiler 
//
// This file was developed by the LLVM research group and is distributed under
// the University of Illinois Open Source License. See LICENSE.TXT for details.
// 
//===----------------------------------------------------------------------===//
//
// This file defines the structure used to configure the SAFECode run-time.
//
//===----------------------------------------------------------------------===//

#ifndef CONFIGDATA_H
#define CONFIGDATA_H

#include "safecode/SAFECode.h"

NAMESPACE_SC_BEGIN

//
// Structure: ConfigData
//
// Description:
//  This structure tells us what the configuration of the runtime is
//
struct ConfigData {
  // Flags whether objects should be remapped
  unsigned RemapObjects;

  // Flags whether strict indexing rules should be enforced
  unsigned StrictIndexing;

  // Flags whether we should track external memory allocations
  unsigned TrackExternalMallocs;
};

extern struct ConfigData ConfigData;

NAMESPACE_SC_END
#endif