Common.h

Go to the documentation of this file.
00001 //===-- Common.h ------------------------------------------------*- C++ -*-===//
00002 //
00003 //                     The KLEE Symbolic Virtual Machine
00004 //
00005 // This file is distributed under the University of Illinois Open Source
00006 // License. See LICENSE.TXT for details.
00007 //
00008 //===----------------------------------------------------------------------===//
00009 
00010 #ifndef __KLEE_COMMON_H__
00011 #define __KLEE_COMMON_H__
00012 
00013 #ifdef __CYGWIN__
00014 #ifndef WINDOWS
00015 #define WINDOWS
00016 #endif
00017 #endif
00018 
00019 #include <stdio.h>
00020 
00021 // XXX ugh
00022 namespace klee {
00023   class Solver;
00024 
00025   extern FILE* klee_warning_file;
00026   extern FILE* klee_message_file;
00027 
00030   void klee_error(const char *msg, ...)
00031     __attribute__ ((format (printf, 1, 2), noreturn));
00032 
00035   void klee_message(const char *msg, ...)
00036     __attribute__ ((format (printf, 1, 2)));
00037 
00040   void klee_message_to_file(const char *msg, ...)
00041     __attribute__ ((format (printf, 1, 2)));
00042 
00045   void klee_warning(const char *msg, ...)
00046     __attribute__ ((format (printf, 1, 2)));
00047 
00051   void klee_warning_once(const void *id,
00052                          const char *msg, ...)
00053     __attribute__ ((format (printf, 2, 3)));
00054 }
00055 
00056 #endif /* __KLEE_COMMON_H__ */