[Javabdd-checkins] JavaBDD buddy_jni.c,1.26,1.27

[John W. <joe...@us...>]

Update of /cvsroot/javabdd/JavaBDD
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv18698

Modified Files:
	buddy_jni.c 
Log Message:
Scale time by clocks_per_sec

Index: buddy_jni.c
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/buddy_jni.c,v
retrieving revision 1.26
retrieving revision 1.27
diff -C2 -d -r1.26 -r1.27
*** buddy_jni.c	31 Jan 2005 10:09:15 -0000	1.26
--- buddy_jni.c	31 Jan 2005 12:15:16 -0000	1.27
***************
*** 3,6 ****
--- 3,7 ----
  #include <fdd.h>
  #include <stdlib.h>
+ #include <time.h>
  #include "buddy_jni.h"
  
***************
*** 149,157 ****
    fid = (*jnienv)->GetFieldID(jnienv, gc_cls, "time", "J");
    if (fid) {
!     (*jnienv)->SetLongField(jnienv, gc_obj, fid, s->time);
    }
    fid = (*jnienv)->GetFieldID(jnienv, gc_cls, "sumtime", "J");
    if (fid) {
!     (*jnienv)->SetLongField(jnienv, gc_obj, fid, s->sumtime);
    }
    fid = (*jnienv)->GetFieldID(jnienv, gc_cls, "num", "I");
--- 150,158 ----
    fid = (*jnienv)->GetFieldID(jnienv, gc_cls, "time", "J");
    if (fid) {
!     (*jnienv)->SetLongField(jnienv, gc_obj, fid, s->time / (CLOCKS_PER_SEC/1000));
    }
    fid = (*jnienv)->GetFieldID(jnienv, gc_cls, "sumtime", "J");
    if (fid) {
!     (*jnienv)->SetLongField(jnienv, gc_obj, fid, s->sumtime / (CLOCKS_PER_SEC/1000));
    }
    fid = (*jnienv)->GetFieldID(jnienv, gc_cls, "num", "I");