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 properties,
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 properties, Set<String> activeLinkerNames, ModuleSpace space)
public ConfigurationProperty getConfigurationProperty(String propertyName) throws BadPropertyValueException
PropertyOracle
BadPropertyValueException
if the property is undefined. The
result of invoking this method with the same propertyName
must
be stable.getConfigurationProperty
in interface PropertyOracle
BadPropertyValueException
- if the property is unknown or not a
configuration propertypublic SelectionProperty getSelectionProperty(TreeLogger logger, String propertyName) throws BadPropertyValueException
PropertyOracle
BadPropertyValueException
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 PropertyOracle
BadPropertyValueException
- if the property is unknown or not a
selection propertyCopyright © 2018. All rights reserved.