public class JVMOptionsProvider extends PropertyProvider
| Constructor and Description |
|---|
JVMOptionsProvider() |
| Modifier and Type | Method and Description |
|---|---|
int |
getPriority()
Priority of this provider.
|
String |
getProperty(String key)
Searches for given property key.
|
String |
toString() |
compareTopublic int getPriority()
PropertyProvidergetPriority in class PropertyProviderpublic String getProperty(String key)
PropertyProvidergetProperty in class PropertyProviderCopyright © 2012 AMIS research group, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. All Rights Reserved.