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() |
compareTo
public int getPriority()
PropertyProvider
getPriority
in class PropertyProvider
public String getProperty(String key)
PropertyProvider
getProperty
in class PropertyProvider
Copyright © 2012 AMIS research group, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. All Rights Reserved.