
public class ModuleSpacePropertyOracle extends Object implements PropertyOracle
PropertyOracle in terms of a module space, which makes
it possible to execute property providers.| Constructor and Description |
|---|
ModuleSpacePropertyOracle(Properties props,
Set<String> activeLinkerNames,
ModuleSpace space)
Create a property oracle that computes its properties from a module.
|
| Modifier and Type | Method and Description |
|---|---|
ConfigurationProperty |
getConfigurationProperty(String propertyName)
Attempts to get a named configuration property.
|
SelectionProperty |
getSelectionProperty(TreeLogger logger,
String propertyName)
Attempts to get a named deferred binding property.
|
public ModuleSpacePropertyOracle(Properties props, Set<String> activeLinkerNames, ModuleSpace space)
public ConfigurationProperty getConfigurationProperty(String propertyName) throws BadPropertyValueException
PropertyOracleBadPropertyValueException if the property is undefined. The
result of invoking this method with the same propertyName must
be stable.getConfigurationProperty in interface PropertyOracleBadPropertyValueException - if the property is unknown or not a
configuration propertypublic SelectionProperty getSelectionProperty(TreeLogger logger, String propertyName) throws BadPropertyValueException
PropertyOracleBadPropertyValueException if the property is either undefined
or has a value that is unsupported. The result of invoking this method with
the same propertyName must be stable.getSelectionProperty in interface PropertyOracleBadPropertyValueException - if the property is unknown or not a
selection propertyCopyright © 2018. All rights reserved.