s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
Browse Source

corrected a problem with setting mainlog and techlog in native calls 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2576 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Vojtech Forejt 15 years ago
parent
5b1ab9a806
commit
6e3b126188
3 changed files with 12 additions and 0 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 4
      prism/src/hybrid/PrismHybrid.cc
  2. 4
      prism/src/mtbdd/PrismMTBDD.cc
  3. 4
      prism/src/sparse/PrismSparse.cc

4
prism/src/hybrid/PrismHybrid.cc
View File

@ -101,7 +101,9 @@ JNIEXPORT void JNICALL Java_hybrid_PrismHybrid_PH_1SetMainLog(JNIEnv *env, jclas
// if main log has been set previously, we need to delete existing global refs first // if main log has been set previously, we need to delete existing global refs first
if (main_log_obj != NULL) { if (main_log_obj != NULL) {
env->DeleteGlobalRef(main_log_cls); env->DeleteGlobalRef(main_log_cls);
main_log_cls = NULL;
env->DeleteGlobalRef(main_log_obj); env->DeleteGlobalRef(main_log_obj);
main_log_obj = NULL;
} }
// make a global reference to the log object // make a global reference to the log object
@ -119,7 +121,9 @@ JNIEXPORT void JNICALL Java_hybrid_PrismHybrid_PH_1SetTechLog(JNIEnv *env, jclas
// if tech log has been set previously, we need to delete existing global refs first // if tech log has been set previously, we need to delete existing global refs first
if (tech_log_obj != NULL) { if (tech_log_obj != NULL) {
env->DeleteGlobalRef(tech_log_cls); env->DeleteGlobalRef(tech_log_cls);
tech_log_cls = NULL;
env->DeleteGlobalRef(tech_log_obj); env->DeleteGlobalRef(tech_log_obj);
tech_log_obj = NULL;
} }
// make a global reference to the log object // make a global reference to the log object

4
prism/src/mtbdd/PrismMTBDD.cc
View File

@ -92,7 +92,9 @@ JNIEXPORT void JNICALL Java_mtbdd_PrismMTBDD_PM_1SetMainLog(JNIEnv *env, jclass
// if main log has been set previously, we need to delete existing global refs first // if main log has been set previously, we need to delete existing global refs first
if (main_log_obj != NULL) { if (main_log_obj != NULL) {
env->DeleteGlobalRef(main_log_cls); env->DeleteGlobalRef(main_log_cls);
main_log_cls = NULL;
env->DeleteGlobalRef(main_log_obj); env->DeleteGlobalRef(main_log_obj);
main_log_obj = NULL;
} }
// make a global reference to the log object // make a global reference to the log object
@ -110,7 +112,9 @@ JNIEXPORT void JNICALL Java_mtbdd_PrismMTBDD_PM_1SetTechLog(JNIEnv *env, jclass
// if tech log has been set previously, we need to delete existing global refs first // if tech log has been set previously, we need to delete existing global refs first
if (tech_log_obj != NULL) { if (tech_log_obj != NULL) {
env->DeleteGlobalRef(tech_log_cls); env->DeleteGlobalRef(tech_log_cls);
tech_log_cls = NULL;
env->DeleteGlobalRef(tech_log_obj); env->DeleteGlobalRef(tech_log_obj);
tech_log_obj = NULL;
} }
// make a global reference to the log object // make a global reference to the log object

4
prism/src/sparse/PrismSparse.cc
View File

@ -94,7 +94,9 @@ JNIEXPORT void JNICALL Java_sparse_PrismSparse_PS_1SetMainLog(JNIEnv *env, jclas
// if main log has been set previously, we need to delete existing global refs first // if main log has been set previously, we need to delete existing global refs first
if (main_log_obj != NULL) { if (main_log_obj != NULL) {
env->DeleteGlobalRef(main_log_cls); env->DeleteGlobalRef(main_log_cls);
main_log_cls = NULL;
env->DeleteGlobalRef(main_log_obj); env->DeleteGlobalRef(main_log_obj);
main_log_obj = NULL;
} }
// make a global reference to the log object // make a global reference to the log object
@ -112,7 +114,9 @@ JNIEXPORT void JNICALL Java_sparse_PrismSparse_PS_1SetTechLog(JNIEnv *env, jclas
// if tech log has been set previously, we need to delete existing global refs first // if tech log has been set previously, we need to delete existing global refs first
if (tech_log_obj != NULL) { if (tech_log_obj != NULL) {
env->DeleteGlobalRef(tech_log_cls); env->DeleteGlobalRef(tech_log_cls);
tech_log_cls = NULL;
env->DeleteGlobalRef(tech_log_obj); env->DeleteGlobalRef(tech_log_obj);
tech_log_obj = NULL;
} }
// make a global reference to the log object // make a global reference to the log object

Write Preview
Loading…
Cancel
Save