From d11036e9addc3bccf71f5779ba2ce574e6e92f12 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 8 Dec 2008 09:32:30 +0000 Subject: [PATCH] Code tidy to remove compile errors. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@874 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/include/PrismMTBDDGlob.h | 8 ++++---- prism/src/mtbdd/PrismMTBDD.cc | 8 ++++---- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/prism/include/PrismMTBDDGlob.h b/prism/include/PrismMTBDDGlob.h index fc647a73..8b4abcd2 100644 --- a/prism/include/PrismMTBDDGlob.h +++ b/prism/include/PrismMTBDDGlob.h @@ -78,11 +78,11 @@ extern JNIEnv *export_env; // function prototypes -void PM_PrintToMainLog(JNIEnv *env, char *str, ...); -void PM_PrintToTechLog(JNIEnv *env, char *str, ...); -void PM_SetErrorMessage(char *str, ...); +void PM_PrintToMainLog(JNIEnv *env, const char *str, ...); +void PM_PrintToTechLog(JNIEnv *env, const char *str, ...); +void PM_SetErrorMessage(const char *str, ...); char *PM_GetErrorMessage(); int store_export_info(int type, jstring fn, JNIEnv *env); -void export_string(char *str, ...); +void export_string(const char *str, ...); //------------------------------------------------------------------------------ diff --git a/prism/src/mtbdd/PrismMTBDD.cc b/prism/src/mtbdd/PrismMTBDD.cc index b09915e3..200e5818 100644 --- a/prism/src/mtbdd/PrismMTBDD.cc +++ b/prism/src/mtbdd/PrismMTBDD.cc @@ -123,7 +123,7 @@ JNIEXPORT void JNICALL Java_mtbdd_PrismMTBDD_PM_1SetTechLog(JNIEnv *env, jclass //------------------------------------------------------------------------------ -void PM_PrintToMainLog(JNIEnv *env, char *str, ...) +void PM_PrintToMainLog(JNIEnv *env, const char *str, ...) { va_list argptr; char full_string[MAX_LOG_STRING_LEN]; @@ -140,7 +140,7 @@ void PM_PrintToMainLog(JNIEnv *env, char *str, ...) //------------------------------------------------------------------------------ -void PM_PrintToTechLog(JNIEnv *env, char *str, ...) +void PM_PrintToTechLog(JNIEnv *env, const char *str, ...) { va_list argptr; char full_string[MAX_LOG_STRING_LEN]; @@ -221,7 +221,7 @@ int store_export_info(int type, jstring fn, JNIEnv *env) // export string (either to file or main log) -void export_string(char *str, ...) +void export_string(const char *str, ...) { va_list argptr; char full_string[MAX_LOG_STRING_LEN]; @@ -250,7 +250,7 @@ JNIEXPORT void JNICALL Java_mtbdd_PrismMTBDD_PM_1SetDoSSDetect(JNIEnv *env, jcla // error message handling //------------------------------------------------------------------------------ -void PM_SetErrorMessage(char *str, ...) +void PM_SetErrorMessage(const char *str, ...) { va_list argptr;