comparison scripts/java/javamem.m @ 15826:93516992ee34

javamem.m: adapt to 'boxing' Java doubles
author Philip Nienhuis <prnienhuis@users.sf.net>
date Fri, 21 Dec 2012 22:12:29 +0100
parents 921912c92102
children 801297f14e4b
comparison
equal deleted inserted replaced
15825:9854666df787 15826:93516992ee34
68 function jmem = javamem () 68 function jmem = javamem ()
69 69
70 rt = javaMethod ("getRuntime", "java.lang.Runtime"); 70 rt = javaMethod ("getRuntime", "java.lang.Runtime");
71 rt.gc; 71 rt.gc;
72 jvmem = cell (3, 1); 72 jvmem = cell (3, 1);
73 jvmem{1} = rt.maxMemory ().doubleValue (); 73 jvmem{1} = rt.maxMemory ();
74 jvmem{2} = rt.totalMemory ().doubleValue (); 74 jvmem{2} = rt.totalMemory ();
75 jvmem{3} = rt.freeMemory ().doubleValue (); 75 jvmem{3} = rt.freeMemory ();
76 76
77 if (nargout == 0) 77 if (nargout == 0)
78 printf ("\nJava virtual machine (JVM) memory info:\n"); 78 printf ("\nJava virtual machine (JVM) memory info:\n");
79 printf ("Maximum available memory: %5d MiB;\n", 79 printf ("Maximum available memory: %5d MiB;\n",
80 jvmem{1} / 1024 / 1024); 80 jvmem{1} / 1024 / 1024);