mergeProperties: Creates the union of two named character vectors, converting to a
Java-like property table
Description
Utility function to merge the two named objects, with elements single
character strings, and convert the result to a vector of Java property
settings.
Usage
mergeProperties(props, default, convert=TRUE)
Arguments
props
named character vector of properties.
default
named character vector of properties with which the
elements in props are to be merged. The values in
props take
convert
a logical value which, if TRUE causes the the
resulting character vector to be converted to Java property
specifications for use in intializing the Java Virtual machine, each
of the form -Dname=value
Value
Augments the default with the named values that are in
props and not in default and also replaces those shared by
both vectors with those in props. If the argument convert
is TRUE, elements of the vector are converted to Java properties
suitable for initializing the JVM.