public class SubsetFilteringPropertyOracle extends java.lang.Object implements PropertyOracle
| Constructor and Description |
|---|
SubsetFilteringPropertyOracle(java.util.Set<java.lang.String> accessiblePropertyNames,
PropertyOracle wrappedPropertyOracle,
java.lang.String accessViolationMessage) |
| Modifier and Type | Method and Description |
|---|---|
ConfigurationProperty |
getConfigurationProperty(java.lang.String propertyName)
Attempts to get a named configuration property.
|
SelectionProperty |
getSelectionProperty(TreeLogger logger,
java.lang.String propertyName)
Attempts to get a named deferred binding property.
|
public SubsetFilteringPropertyOracle(java.util.Set<java.lang.String> accessiblePropertyNames,
PropertyOracle wrappedPropertyOracle,
java.lang.String accessViolationMessage)
public ConfigurationProperty getConfigurationProperty(java.lang.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, java.lang.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 property