Module JavaSystem

clear_property name removes the system property named name, returning its previous value if any; see clearProperty(...).
Raises

• Java_exception if name is null
• Java_exception if name is empty
• Java_exception if security manager doesn't allow property modification

get_property name returns the value of the system property named name if defined, null otherwise; see getProperty(...).
Raises

• Java_exception if name is null
• Java_exception if name is empty
• Java_exception if security manager doesn't allow property lookup

get_property_default name default returns the value of the system property named name if defined, default otherwise; see getProperty(...).
Raises

• Java_exception if name is null
• Java_exception if name is empty
• Java_exception if security manager doesn't allow property lookup

set_property name value change the system property named name to value, returning its previous value if any; see setProperty(...).
Raises

• Java_exception if name is null
• Java_exception if name is empty
• Java_exception if security manager doesn't allow property modification

Returns the number of milliseconds since January 1, 1970 UTC at midnight; see currentTimeMillis(...).

Returns the value of the high-resolution time source in nanoseconds. Should be used to measure elapsed time; see nanoTime(...).

Runs the garbage collector; see gc(...).

Runs the finalization methods of objects pending finalization; see runFinalization(...).

get_env name returns the value of the environment variable named name if defined, null otherwise; see getenv(...).
Raises

• Java_exception if name is null
• Java_exception if security manager doesn't allow environment variable lookup