public class Params
extends Object
Modifier and Type | Field and Description |
---|---|
static boolean |
RW_DECOMPRESS_GZIPPED_EDIF_TO_DISK
Flag to have RapidWright decompress gzipped EDIF files to disk prior to
parsing.
|
static String |
RW_DECOMPRESS_GZIPPED_EDIF_TO_DISK_NAME |
static boolean |
RW_WRITE_DCP_2024_1
Flag to have RapidWright write out DCPs such that they will only be readable
in Vivado 2024.1 and later.
|
static String |
RW_WRITE_DCP_2024_1_NAME |
static int |
RW_ZSTD_COMPRESSION_LEVEL
ZStandard compression effort level to use when compressing files.
|
static String |
RW_ZSTD_COMPRESSION_LEVEL_NAME |
static int |
RW_ZSTD_DEFAULT_COMPRESSION_LEVEL |
Constructor and Description |
---|
Params() |
Modifier and Type | Method and Description |
---|---|
static Integer |
getParamIntValue(String key)
Gets the integer value of the provided parameter name.
|
static int |
getParamOrDefaultIntSetting(String key,
int defaultValue)
Checks the parameter value of the provided key.
|
static String |
getParamValue(String key)
Gets the string value of the provided parameter name.
|
static boolean |
isParamSet(String key)
Checks if the named RapidWright parameter is set via an environment variable
or by a JVM parameter of the same name.
|
static boolean |
isSet(String value)
Checks if a parameter is set by examining the provided value.
|
public static String RW_DECOMPRESS_GZIPPED_EDIF_TO_DISK_NAME
public static String RW_ZSTD_COMPRESSION_LEVEL_NAME
public static int RW_ZSTD_DEFAULT_COMPRESSION_LEVEL
public static String RW_WRITE_DCP_2024_1_NAME
public static boolean RW_DECOMPRESS_GZIPPED_EDIF_TO_DISK
public static int RW_ZSTD_COMPRESSION_LEVEL
public static boolean RW_WRITE_DCP_2024_1
public static boolean isParamSet(String key)
key
- Name of the global RapidWright parameterParams.isSet(String)
),
false otherwisepublic static boolean isSet(String value)
value
- An environment variable or JVM parameter valuepublic static Integer getParamIntValue(String key)
key
- Name of the system parameter to get.public static String getParamValue(String key)
key
- Name of the system parameter to get.public static int getParamOrDefaultIntSetting(String key, int defaultValue)
key
- Name of the system parameter to check.defaultValue
- The default value to return if the paramter is not set.