From a646235cfbaf078ebc0c2de91cebd11ab394ed09 Mon Sep 17 00:00:00 2001 From: Linus Wagner Date: Mon, 4 Mar 2024 23:38:25 +0100 Subject: [PATCH] Add units to ram benchmark --- src/org/rascalmpl/library/util/Benchmark.rsc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/org/rascalmpl/library/util/Benchmark.rsc b/src/org/rascalmpl/library/util/Benchmark.rsc index 6e89b030c76..eb6405b0dac 100644 --- a/src/org/rascalmpl/library/util/Benchmark.rsc +++ b/src/org/rascalmpl/library/util/Benchmark.rsc @@ -44,13 +44,16 @@ The number can change over time but it's never higher than ((getMaxMemory))` java int getTotalMemory(); @synopsis{Returns the maximum amount of memory that is available to the current JVM} +@description{Amount returned in bytes.} @javaClass{org.rascalmpl.library.util.Benchmark} java int getMaxMemory(); @synopsis{Returns the amount of memory that is currently in use by the programs running on this JVM} +@description{Amount returned in bytes.} int getUsedMemory() = getTotalMemory() - getFreeMemory(); @synopsis{Returns the amount of memory that is yet available, in principle, on the current JVM} +@description{Amount returned in bytes.} int getMaxFreeMemory() = getMaxMemory() - getUsedMemory(); @synopsis{CPU time in nanoseconds (10^-9^ sec)}